# 7 classes
class infoflow
class infoflow2
class infoflow3
class infoflow4
class infoflow5
class infoflow6
class infoflow7

# 11 SIDs
sid sid_one
sid sid_two
sid sid_three
sid sid_four
sid sid_five
sid sid_six
sid sid_seven
sid sid_eight
sid sid_nine
sid sid_ten
sid sid_eleven

# 3 commons
common low_c
{
	low_w
	low_r
    low_none
}

common med_c
{
	med_w
	med_r
    med_none
    med_both
    med_fifth
}

common hi_c
{
	hi_w
	hi_r
    hi_third
    hi_fourth
    hi_fifth
    hi_sixth
    hi_seventh
}

# 7 classes
# 29 permissions (common perms are only counted once)
class infoflow
inherits low_c

class infoflow2
inherits med_c
{
	super_w
	super_r
}

class infoflow3
{
	null
}

class infoflow4
inherits hi_c
{
    super_both
}

class infoflow5
inherits hi_c

class infoflow6
{
	ioctl
	dac_override
	dac_read_search
	fowner
	fsetid
	kill
	setgid
	setuid
	setpcap
	linux_immutable
}

class infoflow7
inherits hi_c

# 13 sensitivities/levels
sensitivity s0 alias sens_alias0;
sensitivity s1 alias sens_alias1;
sensitivity s2 alias sens_alias2;
sensitivity s3;
sensitivity s4;
sensitivity s5;
sensitivity s6;
sensitivity s7;
sensitivity s8;
sensitivity s9;
sensitivity s10;
sensitivity s11;
sensitivity s12;

dominance { s0 s1 s2 s3 s4 s5 s6 s7 s8 s9 s10 s11 s12 }

# 17 categories
category c0 alias cat_alias0;
category c1 alias cat_alias1;
category c2 alias cat_alias2;
category c3;
category c4;
category c5;
category c6;
category c7;
category c8;
category c9;
category c10;
category c11;
category c12;
category c13;
category c14;
category c15;
category c16;

# 13 levels
level s0:c0.c1;
level s1:c0.c3;
level s2:c0.c5;
level s3:c0.c7;
level s4:c0.c10;
level s5:c0.c7;
level s6:c0.c5;
level s7:c0.c5;
level s8:c0.c5;
level s9:c0.c5;
level s10:c0.c5;
level s11:c0.c5;
level s12:c0.c16;

# 23 MLS constraints
mlsconstrain infoflow low_w ((l1 dom l2) or (t1 == attr1));
mlsconstrain infoflow low_r ((l1 domby l2) or (t1 == attr1));
mlsconstrain infoflow low_none ((l1 incomp l2) or (t1 == attr1));
mlsconstrain infoflow2 med_r ((l1 eq l2) or (t1 == attr1));
mlsconstrain infoflow2 med_w ((h1 dom l2) or (t1 == attr1));
mlsconstrain infoflow2 med_none ((h1 incomp l2) or (t1 == attr1));
mlsconstrain infoflow2 med_both ((h1 domby l2) or (t1 == attr1));
mlsconstrain infoflow2 med_fifth ((h1 eq l2) or (t1 == attr1));
mlsconstrain infoflow2 super_r ((l1 incomp h2) or (t1 == attr1));
mlsconstrain infoflow2 super_w ((l1 eq h2) or (t1 == attr1));
mlsconstrain infoflow4 hi_w ((h1 dom l2) or (t1 == attr1));
mlsconstrain infoflow4 hi_r ((h1 domby l2) or (t1 == attr1));
mlsconstrain infoflow4 hi_third ((h1 eq l2) or (t1 == attr1));
mlsconstrain infoflow4 hi_fourth ((h1 incomp l2) or (t1 == attr1));
mlsconstrain infoflow4 hi_fifth ((l1 dom l2) or (t1 == attr1));
mlsconstrain infoflow4 hi_sixth ((l1 domby l2) or (t1 == attr1));
mlsconstrain infoflow4 hi_seventh ((l1 incomp l2) or (t1 == attr1));
mlsconstrain infoflow4 super_both ((l1 eq l2) or (t1 == attr1));
mlsconstrain infoflow5 hi_w ((l1 dom l2) or (t1 == attr1));
mlsconstrain infoflow5 hi_r ((l1 domby l2) or (t1 == attr1));
mlsconstrain infoflow5 hi_third ((l1 incomp l2) or (t1 == attr1));
mlsconstrain infoflow5 hi_fifth ((l1 dom h2) or (t1 == attr1));
mlsconstrain infoflow5 hi_sixth ((l1 domby h2) or (t1 == attr1));

# 3 mlsvalidatetrans
mlsvalidatetrans { infoflow infoflow2 infoflow3 } ((l1 dom l2) or (t3 == attr1));

# 2 policycaps
policycap open_perms;
policycap network_peer_controls;

attribute attr0;
attribute attr1;
attribute attr2;
attribute attr3;
attribute attr4;
attribute attr5;
attribute attr6;
attribute attr7;
attribute attr8;
attribute attr9;
attribute attr10;
attribute attr11;
attribute attr12;
attribute attr13;
attribute attr14;
attribute attr15;
attribute attr16;
attribute attr17;
attribute attr18;
attribute attr19;
attribute attr20;
attribute attr21;
attribute attr22;
attribute attr23;
attribute attr24;
attribute attr25;
attribute attr26;
attribute attr27;
attribute attr28;
attribute attr29;
attribute attr30;
attribute attr31;
attribute attr32;
attribute attr33;
attribute attr34;
attribute attr35;
attribute attr36;
attribute attr37;
attribute attr38;
attribute attr39;
attribute attr40;
attribute attr41;
attribute attr42;
attribute attr43;
attribute attr44;
attribute attr45;
attribute attr46;
attribute attr47;
attribute attr48;
attribute attr49;
attribute attr50;
attribute attr51;
attribute attr52;
attribute attr53;
attribute attr54;
attribute attr55;
attribute attr56;
attribute attr57;
attribute attr58;
attribute attr59;
attribute attr60;
attribute attr61;
attribute attr62;
attribute attr63;
attribute attr64;
attribute attr65;
attribute attr66;
attribute attr67;
attribute attr68;
attribute attr69;
attribute attr70;
attribute attr71;
attribute attr72;
attribute attr73;
attribute attr74;
attribute attr75;
attribute attr76;
attribute attr77;
attribute attr78;
attribute attr79;
attribute attr80;
attribute attr81;
attribute attr82;
attribute attr83;
attribute attr84;
attribute attr85;
attribute attr86;
attribute attr87;
attribute attr88;
attribute attr89;
attribute attr90;
attribute attr91;
attribute attr92;
attribute attr93;
attribute attr94;
attribute attr95;
attribute attr96;
attribute attr97;
attribute attr98;
attribute attr99;
attribute attr100;
attribute attr101;
attribute attr102;
attribute attr103;
attribute attr104;
attribute attr105;
attribute attr106;
attribute attr107;
attribute attr108;
attribute attr109;
attribute attr110;
attribute attr111;
attribute attr112;
attribute attr113;
attribute attr114;
attribute attr115;
attribute attr116;
attribute attr117;
attribute attr118;
attribute attr119;
attribute attr120;
attribute attr121;
attribute attr122;
attribute attr123;
attribute attr124;
attribute attr125;
attribute attr126;
attribute attr127;
attribute attr128;
attribute attr129;
attribute attr130;
attribute attr131;
attribute attr132;
attribute attr133;
attribute attr134;
attribute attr135;
attribute attr136;
attribute attr137;
attribute attr138;
attribute attr139;
attribute attr140;
attribute attr141;
attribute attr142;
attribute attr143;
attribute attr144;
attribute attr145;
attribute attr146;
attribute attr147;
attribute attr148;
attribute attr149;
attribute attr150;
attribute attr151;
attribute attr152;
attribute attr153;
attribute attr154;
attribute attr155;
attribute attr156;


################################################################################
# Type enforcement declarations and rules

# 127 booleans
bool bool0 true;
bool bool1 true;
bool bool2 true;
bool bool3 true;
bool bool4 true;
bool bool5 true;
bool bool6 true;
bool bool7 true;
bool bool8 true;
bool bool9 true;
bool bool10 true;
bool bool11 true;
bool bool12 true;
bool bool13 true;
bool bool14 true;
bool bool15 true;
bool bool16 true;
bool bool17 true;
bool bool18 true;
bool bool19 true;
bool bool20 true;
bool bool21 true;
bool bool22 true;
bool bool23 true;
bool bool24 true;
bool bool25 true;
bool bool26 true;
bool bool27 true;
bool bool28 true;
bool bool29 true;
bool bool30 true;
bool bool31 true;
bool bool32 true;
bool bool33 true;
bool bool34 true;
bool bool35 true;
bool bool36 true;
bool bool37 true;
bool bool38 true;
bool bool39 true;
bool bool40 true;
bool bool41 true;
bool bool42 true;
bool bool43 true;
bool bool44 true;
bool bool45 true;
bool bool46 true;
bool bool47 true;
bool bool48 true;
bool bool49 true;
bool bool50 true;
bool bool51 true;
bool bool52 true;
bool bool53 true;
bool bool54 true;
bool bool55 true;
bool bool56 true;
bool bool57 true;
bool bool58 true;
bool bool59 true;
bool bool60 true;
bool bool61 true;
bool bool62 true;
bool bool63 true;
bool bool64 true;
bool bool65 true;
bool bool66 true;
bool bool67 true;
bool bool68 true;
bool bool69 true;
bool bool70 true;
bool bool71 true;
bool bool72 true;
bool bool73 true;
bool bool74 true;
bool bool75 true;
bool bool76 true;
bool bool77 true;
bool bool78 true;
bool bool79 true;
bool bool80 true;
bool bool81 true;
bool bool82 true;
bool bool83 true;
bool bool84 true;
bool bool85 true;
bool bool86 true;
bool bool87 true;
bool bool88 true;
bool bool89 true;
bool bool90 true;
bool bool91 true;
bool bool92 true;
bool bool93 true;
bool bool94 true;
bool bool95 true;
bool bool96 true;
bool bool97 true;
bool bool98 true;
bool bool99 true;
bool bool100 true;
bool bool101 true;
bool bool102 true;
bool bool103 true;
bool bool104 true;
bool bool105 true;
bool bool106 true;
bool bool107 true;
bool bool108 true;
bool bool109 true;
bool bool110 true;
bool bool111 true;
bool bool112 true;
bool bool113 true;
bool bool114 true;
bool bool115 true;
bool bool116 true;
bool bool117 true;
bool bool118 true;
bool bool119 true;
bool bool120 true;
bool bool121 true;
bool bool122 true;
bool bool123 true;
bool bool124 true;
bool bool125 true;
bool bool126 true;

# 131 roles
# one less is declared here
# because object_r is injected
# by the compiler.
role role0;
role role1;
role role2;
role role3;
role role4;
role role5;
role role6;
role role7;
role role8;
role role9;
role role10;
role role11;
role role12;
role role13;
role role14;
role role15;
role role16;
role role17;
role role18;
role role19;
role role20;
role role21;
role role22;
role role23;
role role24;
role role25;
role role26;
role role27;
role role28;
role role29;
role role30;
role role31;
role role32;
role role33;
role role34;
role role35;
role role36;
role role37;
role role38;
role role39;
role role40;
role role41;
role role42;
role role43;
role role44;
role role45;
role role46;
role role47;
role role48;
role role49;
role role50;
role role51;
role role52;
role role53;
role role54;
role role55;
role role56;
role role57;
role role58;
role role59;
role role60;
role role61;
role role62;
role role63;
role role64;
role role65;
role role66;
role role67;
role role68;
role role69;
role role70;
role role71;
role role72;
role role73;
role role74;
role role75;
role role76;
role role77;
role role78;
role role79;
role role80;
role role81;
role role82;
role role83;
role role84;
role role85;
role role86;
role role87;
role role88;
role role89;
role role90;
role role91;
role role92;
role role93;
role role94;
role role95;
role role96;
role role97;
role role98;
role role99;
role role100;
role role101;
role role102;
role role103;
role role104;
role role105;
role role106;
role role107;
role role108;
role role109;
role role110;
role role111;
role role112;
role role113;
role role114;
role role115;
role role116;
role role117;
role role118;
role role119;
role role120;
role role121;
role role122;
role role123;
role role124;
role role125;
role role126;
role role127;
role role128;
role role129;
role role0 types type0;
role role1 types type0;
role role2 types type0;
role role3 types type0;
role role4 types type0;
role role5 types type0;
role role6 types type0;
role role7 types type0;
role role8 types type0;
role role9 types type0;
role role10 types type0;
role role11 types type0;
role role12 types type0;
role role13 types type0;
role role14 types type0;
role role15 types type0;
role role16 types type0;
role role17 types type0;
role role18 types type0;
role role19 types type0;
role role20 types type0;
role role21 types type0;
role role22 types type0;
role role23 types type0;
role role24 types type0;
role role25 types type0;
role role26 types type0;
role role27 types type0;
role role28 types type0;
role role29 types type0;
role role30 types type0;
role role31 types type0;
role role32 types type0;
role role33 types type0;
role role34 types type0;
role role35 types type0;
role role36 types type0;
role role37 types type0;
role role38 types type0;
role role39 types type0;
role role40 types type0;
role role41 types type0;
role role42 types type0;
role role43 types type0;
role role44 types type0;
role role45 types type0;
role role46 types type0;
role role47 types type0;
role role48 types type0;
role role49 types type0;
role role50 types type0;
role role51 types type0;
role role52 types type0;
role role53 types type0;
role role54 types type0;
role role55 types type0;
role role56 types type0;
role role57 types type0;
role role58 types type0;
role role59 types type0;
role role60 types type0;
role role61 types type0;
role role62 types type0;
role role63 types type0;
role role64 types type0;
role role65 types type0;
role role66 types type0;
role role67 types type0;
role role68 types type0;
role role69 types type0;
role role70 types type0;
role role71 types type0;
role role72 types type0;
role role73 types type0;
role role74 types type0;
role role75 types type0;
role role76 types type0;
role role77 types type0;
role role78 types type0;
role role79 types type0;
role role80 types type0;
role role81 types type0;
role role82 types type0;
role role83 types type0;
role role84 types type0;
role role85 types type0;
role role86 types type0;
role role87 types type0;
role role88 types type0;
role role89 types type0;
role role90 types type0;
role role91 types type0;
role role92 types type0;
role role93 types type0;
role role94 types type0;
role role95 types type0;
role role96 types type0;
role role97 types type0;
role role98 types type0;
role role99 types type0;
role role100 types type0;
role role101 types type0;
role role102 types type0;
role role103 types type0;
role role104 types type0;
role role105 types type0;
role role106 types type0;
role role107 types type0;
role role108 types type0;
role role109 types type0;
role role110 types type0;
role role111 types type0;
role role112 types type0;
role role113 types type0;
role role114 types type0;
role role115 types type0;
role role116 types type0;
role role117 types type0;
role role118 types type0;
role role119 types type0;
role role120 types type0;
role role121 types type0;
role role122 types type0;
role role123 types type0;
role role124 types type0;
role role125 types type0;
role role126 types type0;
role role127 types type0;
role role128 types type0;
role role129 types type0;

# 137 types
type type0 alias type_alias0;
type type1 alias type_alias1;
type type2 alias type_alias2;
type type3;
type type4;
type type5;
type type6;
type type7;
type type8;
type type9;
type type10;
type type11;
type type12;
type type13;
type type14;
type type15;
type type16;
type type17;
type type18;
type type19;
type type20;
type type21;
type type22;
type type23;
type type24;
type type25;
type type26;
type type27;
type type28;
type type29;
type type30;
type type31;
type type32;
type type33;
type type34;
type type35;
type type36;
type type37;
type type38;
type type39;
type type40;
type type41;
type type42;
type type43;
type type44;
type type45;
type type46;
type type47;
type type48;
type type49;
type type50;
type type51;
type type52;
type type53;
type type54;
type type55;
type type56;
type type57;
type type58;
type type59;
type type60;
type type61;
type type62;
type type63;
type type64;
type type65;
type type66;
type type67;
type type68;
type type69;
type type70;
type type71;
type type72;
type type73;
type type74;
type type75;
type type76;
type type77;
type type78;
type type79;
type type80;
type type81;
type type82;
type type83;
type type84;
type type85;
type type86;
type type87;
type type88;
type type89;
type type90;
type type91;
type type92;
type type93;
type type94;
type type95;
type type96;
type type97;
type type98;
type type99;
type type100;
type type101;
type type102;
type type103;
type type104;
type type105;
type type106;
type type107;
type type108;
type type109;
type type110;
type type111;
type type112;
type type113;
type type114;
type type115;
type type116;
type type117;
type type118;
type type119;
type type120;
type type121;
type type122;
type type123;
type type124;
type type125;
type type126;
type type127;
type type128;
type type129;
type type130;
type type131;
type type132;
type type133;
type type134;
type type135;
type type136;

# 73 permissive types
permissive type0;
permissive type1;
permissive type2;
permissive type3;
permissive type4;
permissive type5;
permissive type6;
permissive type7;
permissive type8;
permissive type9;
permissive type10;
permissive type11;
permissive type12;
permissive type13;
permissive type14;
permissive type15;
permissive type16;
permissive type17;
permissive type18;
permissive type19;
permissive type20;
permissive type21;
permissive type22;
permissive type23;
permissive type24;
permissive type25;
permissive type26;
permissive type27;
permissive type28;
permissive type29;
permissive type30;
permissive type31;
permissive type32;
permissive type33;
permissive type34;
permissive type35;
permissive type36;
permissive type37;
permissive type38;
permissive type39;
permissive type40;
permissive type41;
permissive type42;
permissive type43;
permissive type44;
permissive type45;
permissive type46;
permissive type47;
permissive type48;
permissive type49;
permissive type50;
permissive type51;
permissive type52;
permissive type53;
permissive type54;
permissive type55;
permissive type56;
permissive type57;
permissive type58;
permissive type59;
permissive type60;
permissive type61;
permissive type62;
permissive type63;
permissive type64;
permissive type65;
permissive type66;
permissive type67;
permissive type68;
permissive type69;
permissive type70;
permissive type71;
permissive type72;

# 83 role allows
allow role1 role0;
allow role2 role1;
allow role3 role2;
allow role4 role3;
allow role5 role4;
allow role6 role5;
allow role7 role6;
allow role8 role7;
allow role9 role8;
allow role10 role9;
allow role11 role10;
allow role12 role11;
allow role13 role12;
allow role14 role13;
allow role15 role14;
allow role16 role15;
allow role17 role16;
allow role18 role17;
allow role19 role18;
allow role20 role19;
allow role21 role20;
allow role22 role21;
allow role23 role22;
allow role24 role23;
allow role25 role24;
allow role26 role25;
allow role27 role26;
allow role28 role27;
allow role29 role28;
allow role30 role29;
allow role31 role30;
allow role32 role31;
allow role33 role32;
allow role34 role33;
allow role35 role34;
allow role36 role35;
allow role37 role36;
allow role38 role37;
allow role39 role38;
allow role40 role39;
allow role41 role40;
allow role42 role41;
allow role43 role42;
allow role44 role43;
allow role45 role44;
allow role46 role45;
allow role47 role46;
allow role48 role47;
allow role49 role48;
allow role50 role49;
allow role51 role50;
allow role52 role51;
allow role53 role52;
allow role54 role53;
allow role55 role54;
allow role56 role55;
allow role57 role56;
allow role58 role57;
allow role59 role58;
allow role60 role59;
allow role61 role60;
allow role62 role61;
allow role63 role62;
allow role64 role63;
allow role65 role64;
allow role66 role65;
allow role67 role66;
allow role68 role67;
allow role69 role68;
allow role70 role69;
allow role71 role70;
allow role72 role71;
allow role73 role72;
allow role74 role73;
allow role75 role74;
allow role76 role75;
allow role77 role76;
allow role78 role77;
allow role79 role78;
allow role80 role79;
allow role81 role80;
allow role82 role81;
allow role83 role82;

# 79 role transitions
role_transition role1 type0:infoflow role0;
role_transition role2 type0:infoflow role1;
role_transition role3 type0:infoflow role2;
role_transition role4 type0:infoflow role3;
role_transition role5 type0:infoflow role4;
role_transition role6 type0:infoflow role5;
role_transition role7 type0:infoflow role6;
role_transition role8 type0:infoflow role7;
role_transition role9 type0:infoflow role8;
role_transition role10 type0:infoflow role9;
role_transition role11 type0:infoflow role10;
role_transition role12 type0:infoflow role11;
role_transition role13 type0:infoflow role12;
role_transition role14 type0:infoflow role13;
role_transition role15 type0:infoflow role14;
role_transition role16 type0:infoflow role15;
role_transition role17 type0:infoflow role16;
role_transition role18 type0:infoflow role17;
role_transition role19 type0:infoflow role18;
role_transition role20 type0:infoflow role19;
role_transition role21 type0:infoflow role20;
role_transition role22 type0:infoflow role21;
role_transition role23 type0:infoflow role22;
role_transition role24 type0:infoflow role23;
role_transition role25 type0:infoflow role24;
role_transition role26 type0:infoflow role25;
role_transition role27 type0:infoflow role26;
role_transition role28 type0:infoflow role27;
role_transition role29 type0:infoflow role28;
role_transition role30 type0:infoflow role29;
role_transition role31 type0:infoflow role30;
role_transition role32 type0:infoflow role31;
role_transition role33 type0:infoflow role32;
role_transition role34 type0:infoflow role33;
role_transition role35 type0:infoflow role34;
role_transition role36 type0:infoflow role35;
role_transition role37 type0:infoflow role36;
role_transition role38 type0:infoflow role37;
role_transition role39 type0:infoflow role38;
role_transition role40 type0:infoflow role39;
role_transition role41 type0:infoflow role40;
role_transition role42 type0:infoflow role41;
role_transition role43 type0:infoflow role42;
role_transition role44 type0:infoflow role43;
role_transition role45 type0:infoflow role44;
role_transition role46 type0:infoflow role45;
role_transition role47 type0:infoflow role46;
role_transition role48 type0:infoflow role47;
role_transition role49 type0:infoflow role48;
role_transition role50 type0:infoflow role49;
role_transition role51 type0:infoflow role50;
role_transition role52 type0:infoflow role51;
role_transition role53 type0:infoflow role52;
role_transition role54 type0:infoflow role53;
role_transition role55 type0:infoflow role54;
role_transition role56 type0:infoflow role55;
role_transition role57 type0:infoflow role56;
role_transition role58 type0:infoflow role57;
role_transition role59 type0:infoflow role58;
role_transition role60 type0:infoflow role59;
role_transition role61 type0:infoflow role60;
role_transition role62 type0:infoflow role61;
role_transition role63 type0:infoflow role62;
role_transition role64 type0:infoflow role63;
role_transition role65 type0:infoflow role64;
role_transition role66 type0:infoflow role65;
role_transition role67 type0:infoflow role66;
role_transition role68 type0:infoflow role67;
role_transition role69 type0:infoflow role68;
role_transition role70 type0:infoflow role69;
role_transition role71 type0:infoflow role70;
role_transition role72 type0:infoflow role71;
role_transition role73 type0:infoflow role72;
role_transition role74 type0:infoflow role73;
role_transition role75 type0:infoflow role74;
role_transition role76 type0:infoflow role75;
role_transition role77 type0:infoflow role76;
role_transition role78 type0:infoflow role77;
role_transition role79 type0:infoflow role78;


# 113 allow rules
if ( bool0 ) { allow type0 type0:infoflow low_none; }
if ( bool1 ) { allow type1 type1:infoflow low_none; }
if ( bool2 ) { allow type2 type2:infoflow low_none; }
if ( bool3 ) { allow type3 type3:infoflow low_none; }
if ( bool4 ) { allow type4 type4:infoflow low_none; }
if ( bool5 ) { allow type5 type5:infoflow low_none; }
if ( bool6 ) { allow type6 type6:infoflow low_none; }
if ( bool7 ) { allow type7 type7:infoflow low_none; }
if ( bool8 ) { allow type8 type8:infoflow low_none; }
if ( bool9 ) { allow type9 type9:infoflow low_none; }
if ( bool10 ) { allow type10 type10:infoflow low_none; }
if ( bool11 ) { allow type11 type11:infoflow low_none; }
if ( bool12 ) { allow type12 type12:infoflow low_none; }
if ( bool13 ) { allow type13 type13:infoflow low_none; }
if ( bool14 ) { allow type14 type14:infoflow low_none; }
if ( bool15 ) { allow type15 type15:infoflow low_none; }
if ( bool16 ) { allow type16 type16:infoflow low_none; }
if ( bool17 ) { allow type17 type17:infoflow low_none; }
if ( bool18 ) { allow type18 type18:infoflow low_none; }
if ( bool19 ) { allow type19 type19:infoflow low_none; }
if ( bool20 ) { allow type20 type20:infoflow low_none; }
if ( bool21 ) { allow type21 type21:infoflow low_none; }
if ( bool22 ) { allow type22 type22:infoflow low_none; }
if ( bool23 ) { allow type23 type23:infoflow low_none; }
if ( bool24 ) { allow type24 type24:infoflow low_none; }
if ( bool25 ) { allow type25 type25:infoflow low_none; }
if ( bool26 ) { allow type26 type26:infoflow low_none; }
if ( bool27 ) { allow type27 type27:infoflow low_none; }
if ( bool28 ) { allow type28 type28:infoflow low_none; }
if ( bool29 ) { allow type29 type29:infoflow low_none; }
if ( bool30 ) { allow type30 type30:infoflow low_none; }
if ( bool31 ) { allow type31 type31:infoflow low_none; }
if ( bool32 ) { allow type32 type32:infoflow low_none; }
if ( bool33 ) { allow type33 type33:infoflow low_none; }
if ( bool34 ) { allow type34 type34:infoflow low_none; }
if ( bool35 ) { allow type35 type35:infoflow low_none; }
if ( bool36 ) { allow type36 type36:infoflow low_none; }
if ( bool37 ) { allow type37 type37:infoflow low_none; }
if ( bool38 ) { allow type38 type38:infoflow low_none; }
if ( bool39 ) { allow type39 type39:infoflow low_none; }
if ( bool40 ) { allow type40 type40:infoflow low_none; }
if ( bool41 ) { allow type41 type41:infoflow low_none; }
if ( bool42 ) { allow type42 type42:infoflow low_none; }
if ( bool43 ) { allow type43 type43:infoflow low_none; }
if ( bool44 ) { allow type44 type44:infoflow low_none; }
if ( bool45 ) { allow type45 type45:infoflow low_none; }
if ( bool46 ) { allow type46 type46:infoflow low_none; }
if ( bool47 ) { allow type47 type47:infoflow low_none; }
if ( bool48 ) { allow type48 type48:infoflow low_none; }
if ( bool49 ) { allow type49 type49:infoflow low_none; }
if ( bool50 ) { allow type50 type50:infoflow low_none; }
if ( bool51 ) { allow type51 type51:infoflow low_none; }
if ( bool52 ) { allow type52 type52:infoflow low_none; }
if ( bool53 ) { allow type53 type53:infoflow low_none; }
if ( bool54 ) { allow type54 type54:infoflow low_none; }
if ( bool55 ) { allow type55 type55:infoflow low_none; }
if ( bool56 ) { allow type56 type56:infoflow low_none; }
if ( bool57 ) { allow type57 type57:infoflow low_none; }
if ( bool58 ) { allow type58 type58:infoflow low_none; }
if ( bool59 ) { allow type59 type59:infoflow low_none; }
if ( bool60 ) { allow type60 type60:infoflow low_none; }
if ( bool61 ) { allow type61 type61:infoflow low_none; }
if ( bool62 ) { allow type62 type62:infoflow low_none; }
if ( bool63 ) { allow type63 type63:infoflow low_none; }
if ( bool64 ) { allow type64 type64:infoflow low_none; }
if ( bool65 ) { allow type65 type65:infoflow low_none; }
if ( bool66 ) { allow type66 type66:infoflow low_none; }
allow type67 type67:infoflow low_none;
allow type68 type68:infoflow low_none;
allow type69 type69:infoflow low_none;
allow type70 type70:infoflow low_none;
allow type71 type71:infoflow low_none;
allow type72 type72:infoflow low_none;
allow type73 type73:infoflow low_none;
allow type74 type74:infoflow low_none;
allow type75 type75:infoflow low_none;
allow type76 type76:infoflow low_none;
allow type77 type77:infoflow low_none;
allow type78 type78:infoflow low_none;
allow type79 type79:infoflow low_none;
allow type80 type80:infoflow low_none;
allow type81 type81:infoflow low_none;
allow type82 type82:infoflow low_none;
allow type83 type83:infoflow low_none;
allow type84 type84:infoflow low_none;
allow type85 type85:infoflow low_none;
allow type86 type86:infoflow low_none;
allow type87 type87:infoflow low_none;
allow type88 type88:infoflow low_none;
allow type89 type89:infoflow low_none;
allow type90 type90:infoflow low_none;
allow type91 type91:infoflow low_none;
allow type92 type92:infoflow low_none;
allow type93 type93:infoflow low_none;
allow type94 type94:infoflow low_none;
allow type95 type95:infoflow low_none;
allow type96 type96:infoflow low_none;
allow type97 type97:infoflow low_none;
allow type98 type98:infoflow low_none;
allow type99 type99:infoflow low_none;
allow type100 type100:infoflow low_none;
allow type101 type101:infoflow low_none;
allow type102 type102:infoflow low_none;
allow type103 type103:infoflow low_none;
allow type104 type104:infoflow low_none;
allow type105 type105:infoflow low_none;
allow type106 type106:infoflow low_none;
allow type107 type107:infoflow low_none;
allow type108 type108:infoflow low_none;
allow type109 type109:infoflow low_none;
allow type110 type110:infoflow low_none;
allow type111 type111:infoflow low_none;
allow type112 type112:infoflow low_none;

# 109 auditallow rules
auditallow type0 type0:infoflow low_w;
auditallow type1 type1:infoflow low_w;
auditallow type2 type2:infoflow low_w;
auditallow type3 type3:infoflow low_w;
auditallow type4 type4:infoflow low_w;
auditallow type5 type5:infoflow low_w;
auditallow type6 type6:infoflow low_w;
auditallow type7 type7:infoflow low_w;
auditallow type8 type8:infoflow low_w;
auditallow type9 type9:infoflow low_w;
auditallow type10 type10:infoflow low_w;
auditallow type11 type11:infoflow low_w;
auditallow type12 type12:infoflow low_w;
auditallow type13 type13:infoflow low_w;
auditallow type14 type14:infoflow low_w;
auditallow type15 type15:infoflow low_w;
auditallow type16 type16:infoflow low_w;
auditallow type17 type17:infoflow low_w;
auditallow type18 type18:infoflow low_w;
auditallow type19 type19:infoflow low_w;
auditallow type20 type20:infoflow low_w;
auditallow type21 type21:infoflow low_w;
auditallow type22 type22:infoflow low_w;
auditallow type23 type23:infoflow low_w;
auditallow type24 type24:infoflow low_w;
auditallow type25 type25:infoflow low_w;
auditallow type26 type26:infoflow low_w;
auditallow type27 type27:infoflow low_w;
auditallow type28 type28:infoflow low_w;
auditallow type29 type29:infoflow low_w;
auditallow type30 type30:infoflow low_w;
auditallow type31 type31:infoflow low_w;
auditallow type32 type32:infoflow low_w;
auditallow type33 type33:infoflow low_w;
auditallow type34 type34:infoflow low_w;
auditallow type35 type35:infoflow low_w;
auditallow type36 type36:infoflow low_w;
auditallow type37 type37:infoflow low_w;
auditallow type38 type38:infoflow low_w;
auditallow type39 type39:infoflow low_w;
auditallow type40 type40:infoflow low_w;
auditallow type41 type41:infoflow low_w;
auditallow type42 type42:infoflow low_w;
auditallow type43 type43:infoflow low_w;
auditallow type44 type44:infoflow low_w;
auditallow type45 type45:infoflow low_w;
auditallow type46 type46:infoflow low_w;
auditallow type47 type47:infoflow low_w;
auditallow type48 type48:infoflow low_w;
auditallow type49 type49:infoflow low_w;
auditallow type50 type50:infoflow low_w;
auditallow type51 type51:infoflow low_w;
auditallow type52 type52:infoflow low_w;
auditallow type53 type53:infoflow low_w;
auditallow type54 type54:infoflow low_w;
auditallow type55 type55:infoflow low_w;
auditallow type56 type56:infoflow low_w;
auditallow type57 type57:infoflow low_w;
auditallow type58 type58:infoflow low_w;
auditallow type59 type59:infoflow low_w;
auditallow type60 type60:infoflow low_w;
auditallow type61 type61:infoflow low_w;
auditallow type62 type62:infoflow low_w;
auditallow type63 type63:infoflow low_w;
auditallow type64 type64:infoflow low_w;
auditallow type65 type65:infoflow low_w;
auditallow type66 type66:infoflow low_w;
auditallow type67 type67:infoflow low_w;
auditallow type68 type68:infoflow low_w;
auditallow type69 type69:infoflow low_w;
auditallow type70 type70:infoflow low_w;
auditallow type71 type71:infoflow low_w;
auditallow type72 type72:infoflow low_w;
auditallow type73 type73:infoflow low_w;
auditallow type74 type74:infoflow low_w;
auditallow type75 type75:infoflow low_w;
auditallow type76 type76:infoflow low_w;
auditallow type77 type77:infoflow low_w;
auditallow type78 type78:infoflow low_w;
auditallow type79 type79:infoflow low_w;
auditallow type80 type80:infoflow low_w;
auditallow type81 type81:infoflow low_w;
auditallow type82 type82:infoflow low_w;
auditallow type83 type83:infoflow low_w;
auditallow type84 type84:infoflow low_w;
auditallow type85 type85:infoflow low_w;
auditallow type86 type86:infoflow low_w;
auditallow type87 type87:infoflow low_w;
auditallow type88 type88:infoflow low_w;
auditallow type89 type89:infoflow low_w;
auditallow type90 type90:infoflow low_w;
auditallow type91 type91:infoflow low_w;
auditallow type92 type92:infoflow low_w;
auditallow type93 type93:infoflow low_w;
auditallow type94 type94:infoflow low_w;
auditallow type95 type95:infoflow low_w;
auditallow type96 type96:infoflow low_w;
auditallow type97 type97:infoflow low_w;
auditallow type98 type98:infoflow low_w;
auditallow type99 type99:infoflow low_w;
auditallow type100 type100:infoflow low_w;
auditallow type101 type101:infoflow low_w;
auditallow type102 type102:infoflow low_w;
auditallow type103 type103:infoflow low_w;
auditallow type104 type104:infoflow low_w;
auditallow type105 type105:infoflow low_w;
auditallow type106 type106:infoflow low_w;
auditallow type107 type107:infoflow low_w;
auditallow type108 type108:infoflow low_w;

# 107 dontaudit rules
dontaudit type0 type0:infoflow low_r;
dontaudit type1 type1:infoflow low_r;
dontaudit type2 type2:infoflow low_r;
dontaudit type3 type3:infoflow low_r;
dontaudit type4 type4:infoflow low_r;
dontaudit type5 type5:infoflow low_r;
dontaudit type6 type6:infoflow low_r;
dontaudit type7 type7:infoflow low_r;
dontaudit type8 type8:infoflow low_r;
dontaudit type9 type9:infoflow low_r;
dontaudit type10 type10:infoflow low_r;
dontaudit type11 type11:infoflow low_r;
dontaudit type12 type12:infoflow low_r;
dontaudit type13 type13:infoflow low_r;
dontaudit type14 type14:infoflow low_r;
dontaudit type15 type15:infoflow low_r;
dontaudit type16 type16:infoflow low_r;
dontaudit type17 type17:infoflow low_r;
dontaudit type18 type18:infoflow low_r;
dontaudit type19 type19:infoflow low_r;
dontaudit type20 type20:infoflow low_r;
dontaudit type21 type21:infoflow low_r;
dontaudit type22 type22:infoflow low_r;
dontaudit type23 type23:infoflow low_r;
dontaudit type24 type24:infoflow low_r;
dontaudit type25 type25:infoflow low_r;
dontaudit type26 type26:infoflow low_r;
dontaudit type27 type27:infoflow low_r;
dontaudit type28 type28:infoflow low_r;
dontaudit type29 type29:infoflow low_r;
dontaudit type30 type30:infoflow low_r;
dontaudit type31 type31:infoflow low_r;
dontaudit type32 type32:infoflow low_r;
dontaudit type33 type33:infoflow low_r;
dontaudit type34 type34:infoflow low_r;
dontaudit type35 type35:infoflow low_r;
dontaudit type36 type36:infoflow low_r;
dontaudit type37 type37:infoflow low_r;
dontaudit type38 type38:infoflow low_r;
dontaudit type39 type39:infoflow low_r;
dontaudit type40 type40:infoflow low_r;
dontaudit type41 type41:infoflow low_r;
dontaudit type42 type42:infoflow low_r;
dontaudit type43 type43:infoflow low_r;
dontaudit type44 type44:infoflow low_r;
dontaudit type45 type45:infoflow low_r;
dontaudit type46 type46:infoflow low_r;
dontaudit type47 type47:infoflow low_r;
dontaudit type48 type48:infoflow low_r;
dontaudit type49 type49:infoflow low_r;
dontaudit type50 type50:infoflow low_r;
dontaudit type51 type51:infoflow low_r;
dontaudit type52 type52:infoflow low_r;
dontaudit type53 type53:infoflow low_r;
dontaudit type54 type54:infoflow low_r;
dontaudit type55 type55:infoflow low_r;
dontaudit type56 type56:infoflow low_r;
dontaudit type57 type57:infoflow low_r;
dontaudit type58 type58:infoflow low_r;
dontaudit type59 type59:infoflow low_r;
dontaudit type60 type60:infoflow low_r;
dontaudit type61 type61:infoflow low_r;
dontaudit type62 type62:infoflow low_r;
dontaudit type63 type63:infoflow low_r;
dontaudit type64 type64:infoflow low_r;
dontaudit type65 type65:infoflow low_r;
dontaudit type66 type66:infoflow low_r;
dontaudit type67 type67:infoflow low_r;
dontaudit type68 type68:infoflow low_r;
dontaudit type69 type69:infoflow low_r;
dontaudit type70 type70:infoflow low_r;
dontaudit type71 type71:infoflow low_r;
dontaudit type72 type72:infoflow low_r;
dontaudit type73 type73:infoflow low_r;
dontaudit type74 type74:infoflow low_r;
dontaudit type75 type75:infoflow low_r;
dontaudit type76 type76:infoflow low_r;
dontaudit type77 type77:infoflow low_r;
dontaudit type78 type78:infoflow low_r;
dontaudit type79 type79:infoflow low_r;
dontaudit type80 type80:infoflow low_r;
dontaudit type81 type81:infoflow low_r;
dontaudit type82 type82:infoflow low_r;
dontaudit type83 type83:infoflow low_r;
dontaudit type84 type84:infoflow low_r;
dontaudit type85 type85:infoflow low_r;
dontaudit type86 type86:infoflow low_r;
dontaudit type87 type87:infoflow low_r;
dontaudit type88 type88:infoflow low_r;
dontaudit type89 type89:infoflow low_r;
dontaudit type90 type90:infoflow low_r;
dontaudit type91 type91:infoflow low_r;
dontaudit type92 type92:infoflow low_r;
dontaudit type93 type93:infoflow low_r;
dontaudit type94 type94:infoflow low_r;
dontaudit type95 type95:infoflow low_r;
dontaudit type96 type96:infoflow low_r;
dontaudit type97 type97:infoflow low_r;
dontaudit type98 type98:infoflow low_r;
dontaudit type99 type99:infoflow low_r;
dontaudit type100 type100:infoflow low_r;
dontaudit type101 type101:infoflow low_r;
dontaudit type102 type102:infoflow low_r;
dontaudit type103 type103:infoflow low_r;
dontaudit type104 type104:infoflow low_r;
dontaudit type105 type105:infoflow low_r;
dontaudit type106 type106:infoflow low_r;

# 103 neverallow
neverallow type0 type0:infoflow2 super_w;
neverallow type1 type1:infoflow2 super_w;
neverallow type2 type2:infoflow2 super_w;
neverallow type3 type3:infoflow2 super_w;
neverallow type4 type4:infoflow2 super_w;
neverallow type5 type5:infoflow2 super_w;
neverallow type6 type6:infoflow2 super_w;
neverallow type7 type7:infoflow2 super_w;
neverallow type8 type8:infoflow2 super_w;
neverallow type9 type9:infoflow2 super_w;
neverallow type10 type10:infoflow2 super_w;
neverallow type11 type11:infoflow2 super_w;
neverallow type12 type12:infoflow2 super_w;
neverallow type13 type13:infoflow2 super_w;
neverallow type14 type14:infoflow2 super_w;
neverallow type15 type15:infoflow2 super_w;
neverallow type16 type16:infoflow2 super_w;
neverallow type17 type17:infoflow2 super_w;
neverallow type18 type18:infoflow2 super_w;
neverallow type19 type19:infoflow2 super_w;
neverallow type20 type20:infoflow2 super_w;
neverallow type21 type21:infoflow2 super_w;
neverallow type22 type22:infoflow2 super_w;
neverallow type23 type23:infoflow2 super_w;
neverallow type24 type24:infoflow2 super_w;
neverallow type25 type25:infoflow2 super_w;
neverallow type26 type26:infoflow2 super_w;
neverallow type27 type27:infoflow2 super_w;
neverallow type28 type28:infoflow2 super_w;
neverallow type29 type29:infoflow2 super_w;
neverallow type30 type30:infoflow2 super_w;
neverallow type31 type31:infoflow2 super_w;
neverallow type32 type32:infoflow2 super_w;
neverallow type33 type33:infoflow2 super_w;
neverallow type34 type34:infoflow2 super_w;
neverallow type35 type35:infoflow2 super_w;
neverallow type36 type36:infoflow2 super_w;
neverallow type37 type37:infoflow2 super_w;
neverallow type38 type38:infoflow2 super_w;
neverallow type39 type39:infoflow2 super_w;
neverallow type40 type40:infoflow2 super_w;
neverallow type41 type41:infoflow2 super_w;
neverallow type42 type42:infoflow2 super_w;
neverallow type43 type43:infoflow2 super_w;
neverallow type44 type44:infoflow2 super_w;
neverallow type45 type45:infoflow2 super_w;
neverallow type46 type46:infoflow2 super_w;
neverallow type47 type47:infoflow2 super_w;
neverallow type48 type48:infoflow2 super_w;
neverallow type49 type49:infoflow2 super_w;
neverallow type50 type50:infoflow2 super_w;
neverallow type51 type51:infoflow2 super_w;
neverallow type52 type52:infoflow2 super_w;
neverallow type53 type53:infoflow2 super_w;
neverallow type54 type54:infoflow2 super_w;
neverallow type55 type55:infoflow2 super_w;
neverallow type56 type56:infoflow2 super_w;
neverallow type57 type57:infoflow2 super_w;
neverallow type58 type58:infoflow2 super_w;
neverallow type59 type59:infoflow2 super_w;
neverallow type60 type60:infoflow2 super_w;
neverallow type61 type61:infoflow2 super_w;
neverallow type62 type62:infoflow2 super_w;
neverallow type63 type63:infoflow2 super_w;
neverallow type64 type64:infoflow2 super_w;
neverallow type65 type65:infoflow2 super_w;
neverallow type66 type66:infoflow2 super_w;
neverallow type67 type67:infoflow2 super_w;
neverallow type68 type68:infoflow2 super_w;
neverallow type69 type69:infoflow2 super_w;
neverallow type70 type70:infoflow2 super_w;
neverallow type71 type71:infoflow2 super_w;
neverallow type72 type72:infoflow2 super_w;
neverallow type73 type73:infoflow2 super_w;
neverallow type74 type74:infoflow2 super_w;
neverallow type75 type75:infoflow2 super_w;
neverallow type76 type76:infoflow2 super_w;
neverallow type77 type77:infoflow2 super_w;
neverallow type78 type78:infoflow2 super_w;
neverallow type79 type79:infoflow2 super_w;
neverallow type80 type80:infoflow2 super_w;
neverallow type81 type81:infoflow2 super_w;
neverallow type82 type82:infoflow2 super_w;
neverallow type83 type83:infoflow2 super_w;
neverallow type84 type84:infoflow2 super_w;
neverallow type85 type85:infoflow2 super_w;
neverallow type86 type86:infoflow2 super_w;
neverallow type87 type87:infoflow2 super_w;
neverallow type88 type88:infoflow2 super_w;
neverallow type89 type89:infoflow2 super_w;
neverallow type90 type90:infoflow2 super_w;
neverallow type91 type91:infoflow2 super_w;
neverallow type92 type92:infoflow2 super_w;
neverallow type93 type93:infoflow2 super_w;
neverallow type94 type94:infoflow2 super_w;
neverallow type95 type95:infoflow2 super_w;
neverallow type96 type96:infoflow2 super_w;
neverallow type97 type97:infoflow2 super_w;
neverallow type98 type98:infoflow2 super_w;
neverallow type99 type99:infoflow2 super_w;
neverallow type100 type100:infoflow2 super_w;
neverallow type101 type101:infoflow2 super_w;
neverallow type102 type102:infoflow2 super_w;

# 97 type_transition rules
type_transition type1 type0:infoflow type1;
type_transition type2 type1:infoflow type2;
type_transition type3 type2:infoflow type3;
type_transition type4 type3:infoflow type4;
type_transition type5 type4:infoflow type5;
type_transition type6 type5:infoflow type6;
type_transition type7 type6:infoflow type7;
type_transition type8 type7:infoflow type8;
type_transition type9 type8:infoflow type9;
type_transition type10 type9:infoflow type10;
type_transition type11 type10:infoflow type11;
type_transition type12 type11:infoflow type12;
type_transition type13 type12:infoflow type13;
type_transition type14 type13:infoflow type14;
type_transition type15 type14:infoflow type15;
type_transition type16 type15:infoflow type16;
type_transition type17 type16:infoflow type17;
type_transition type18 type17:infoflow type18;
type_transition type19 type18:infoflow type19;
type_transition type20 type19:infoflow type20;
type_transition type21 type20:infoflow type21;
type_transition type22 type21:infoflow type22;
type_transition type23 type22:infoflow type23;
type_transition type24 type23:infoflow type24;
type_transition type25 type24:infoflow type25;
type_transition type26 type25:infoflow type26;
type_transition type27 type26:infoflow type27;
type_transition type28 type27:infoflow type28;
type_transition type29 type28:infoflow type29;
type_transition type30 type29:infoflow type30;
type_transition type31 type30:infoflow type31;
type_transition type32 type31:infoflow type32;
type_transition type33 type32:infoflow type33;
type_transition type34 type33:infoflow type34;
type_transition type35 type34:infoflow type35;
type_transition type36 type35:infoflow type36;
type_transition type37 type36:infoflow type37;
type_transition type38 type37:infoflow type38;
type_transition type39 type38:infoflow type39;
type_transition type40 type39:infoflow type40;
type_transition type41 type40:infoflow type41;
type_transition type42 type41:infoflow type42;
type_transition type43 type42:infoflow type43;
type_transition type44 type43:infoflow type44;
type_transition type45 type44:infoflow type45;
type_transition type46 type45:infoflow type46;
type_transition type47 type46:infoflow type47;
type_transition type48 type47:infoflow type48;
type_transition type49 type48:infoflow type49;
type_transition type50 type49:infoflow type50 "name50";
type_transition type51 type50:infoflow type51 "name51";
type_transition type52 type51:infoflow type52 "name52";
type_transition type53 type52:infoflow type53 "name53";
type_transition type54 type53:infoflow type54 "name54";
type_transition type55 type54:infoflow type55 "name55";
type_transition type56 type55:infoflow type56 "name56";
type_transition type57 type56:infoflow type57 "name57";
type_transition type58 type57:infoflow type58 "name58";
type_transition type59 type58:infoflow type59 "name59";
type_transition type60 type59:infoflow type60 "name60";
type_transition type61 type60:infoflow type61 "name61";
type_transition type62 type61:infoflow type62 "name62";
type_transition type63 type62:infoflow type63 "name63";
type_transition type64 type63:infoflow type64 "name64";
type_transition type65 type64:infoflow type65 "name65";
type_transition type66 type65:infoflow type66 "name66";
type_transition type67 type66:infoflow type67 "name67";
type_transition type68 type67:infoflow type68 "name68";
type_transition type69 type68:infoflow type69 "name69";
type_transition type70 type69:infoflow type70 "name70";
type_transition type71 type70:infoflow type71 "name71";
type_transition type72 type71:infoflow type72 "name72";
type_transition type73 type72:infoflow type73 "name73";
type_transition type74 type73:infoflow type74 "name74";
type_transition type75 type74:infoflow type75 "name75";
type_transition type76 type75:infoflow type76 "name76";
type_transition type77 type76:infoflow type77 "name77";
type_transition type78 type77:infoflow type78 "name78";
type_transition type79 type78:infoflow type79 "name79";
type_transition type80 type79:infoflow type80 "name80";
type_transition type81 type80:infoflow type81 "name81";
type_transition type82 type81:infoflow type82 "name82";
type_transition type83 type82:infoflow type83 "name83";
type_transition type84 type83:infoflow type84 "name84";
type_transition type85 type84:infoflow type85 "name85";
type_transition type86 type85:infoflow type86 "name86";
type_transition type87 type86:infoflow type87 "name87";
type_transition type88 type87:infoflow type88 "name88";
type_transition type89 type88:infoflow type89 "name89";
type_transition type90 type89:infoflow type90 "name90";
type_transition type91 type90:infoflow type91 "name91";
type_transition type92 type91:infoflow type92 "name92";
type_transition type93 type92:infoflow type93 "name93";
type_transition type94 type93:infoflow type94 "name94";

type_transition type2 type93:infoflow type4 "name94";
type_transition type3 type93:infoflow type4 "name94";
type_transition type4 type93:infoflow type94 "name94";

# 89 type_change
type_change type1 type0:infoflow type1;
type_change type2 type1:infoflow type2;
type_change type3 type2:infoflow type3;
type_change type4 type3:infoflow type4;
type_change type5 type4:infoflow type5;
type_change type6 type5:infoflow type6;
type_change type7 type6:infoflow type7;
type_change type8 type7:infoflow type8;
type_change type9 type8:infoflow type9;
type_change type10 type9:infoflow type10;
type_change type11 type10:infoflow type11;
type_change type12 type11:infoflow type12;
type_change type13 type12:infoflow type13;
type_change type14 type13:infoflow type14;
type_change type15 type14:infoflow type15;
type_change type16 type15:infoflow type16;
type_change type17 type16:infoflow type17;
type_change type18 type17:infoflow type18;
type_change type19 type18:infoflow type19;
type_change type20 type19:infoflow type20;
type_change type21 type20:infoflow type21;
type_change type22 type21:infoflow type22;
type_change type23 type22:infoflow type23;
type_change type24 type23:infoflow type24;
type_change type25 type24:infoflow type25;
type_change type26 type25:infoflow type26;
type_change type27 type26:infoflow type27;
type_change type28 type27:infoflow type28;
type_change type29 type28:infoflow type29;
type_change type30 type29:infoflow type30;
type_change type31 type30:infoflow type31;
type_change type32 type31:infoflow type32;
type_change type33 type32:infoflow type33;
type_change type34 type33:infoflow type34;
type_change type35 type34:infoflow type35;
type_change type36 type35:infoflow type36;
type_change type37 type36:infoflow type37;
type_change type38 type37:infoflow type38;
type_change type39 type38:infoflow type39;
type_change type40 type39:infoflow type40;
type_change type41 type40:infoflow type41;
type_change type42 type41:infoflow type42;
type_change type43 type42:infoflow type43;
type_change type44 type43:infoflow type44;
type_change type45 type44:infoflow type45;
type_change type46 type45:infoflow type46;
type_change type47 type46:infoflow type47;
type_change type48 type47:infoflow type48;
type_change type49 type48:infoflow type49;
type_change type50 type49:infoflow type50;
type_change type51 type50:infoflow type51;
type_change type52 type51:infoflow type52;
type_change type53 type52:infoflow type53;
type_change type54 type53:infoflow type54;
type_change type55 type54:infoflow type55;
type_change type56 type55:infoflow type56;
type_change type57 type56:infoflow type57;
type_change type58 type57:infoflow type58;
type_change type59 type58:infoflow type59;
type_change type60 type59:infoflow type60;
type_change type61 type60:infoflow type61;
type_change type62 type61:infoflow type62;
type_change type63 type62:infoflow type63;
type_change type64 type63:infoflow type64;
type_change type65 type64:infoflow type65;
type_change type66 type65:infoflow type66;
type_change type67 type66:infoflow type67;
type_change type68 type67:infoflow type68;
type_change type69 type68:infoflow type69;
type_change type70 type69:infoflow type70;
type_change type71 type70:infoflow type71;
type_change type72 type71:infoflow type72;
type_change type73 type72:infoflow type73;
type_change type74 type73:infoflow type74;
type_change type75 type74:infoflow type75;
type_change type76 type75:infoflow type76;
type_change type77 type76:infoflow type77;
type_change type78 type77:infoflow type78;
type_change type79 type78:infoflow type79;
type_change type80 type79:infoflow type80;
type_change type81 type80:infoflow type81;
type_change type82 type81:infoflow type82;
type_change type83 type82:infoflow type83;
type_change type84 type83:infoflow type84;
type_change type85 type84:infoflow type85;
type_change type86 type85:infoflow type86;
type_change type87 type86:infoflow type87;
type_change type88 type87:infoflow type88;
type_change type89 type88:infoflow type89;

# 61 type_member
type_member type1 type0:infoflow type1;
type_member type2 type1:infoflow type2;
type_member type3 type2:infoflow type3;
type_member type4 type3:infoflow type4;
type_member type5 type4:infoflow type5;
type_member type6 type5:infoflow type6;
type_member type7 type6:infoflow type7;
type_member type8 type7:infoflow type8;
type_member type9 type8:infoflow type9;
type_member type10 type9:infoflow type10;
type_member type11 type10:infoflow type11;
type_member type12 type11:infoflow type12;
type_member type13 type12:infoflow type13;
type_member type14 type13:infoflow type14;
type_member type15 type14:infoflow type15;
type_member type16 type15:infoflow type16;
type_member type17 type16:infoflow type17;
type_member type18 type17:infoflow type18;
type_member type19 type18:infoflow type19;
type_member type20 type19:infoflow type20;
type_member type21 type20:infoflow type21;
type_member type22 type21:infoflow type22;
type_member type23 type22:infoflow type23;
type_member type24 type23:infoflow type24;
type_member type25 type24:infoflow type25;
type_member type26 type25:infoflow type26;
type_member type27 type26:infoflow type27;
type_member type28 type27:infoflow type28;
type_member type29 type28:infoflow type29;
type_member type30 type29:infoflow type30;
type_member type31 type30:infoflow type31;
type_member type32 type31:infoflow type32;
type_member type33 type32:infoflow type33;
type_member type34 type33:infoflow type34;
type_member type35 type34:infoflow type35;
type_member type36 type35:infoflow type36;
type_member type37 type36:infoflow type37;
type_member type38 type37:infoflow type38;
type_member type39 type38:infoflow type39;
type_member type40 type39:infoflow type40;
type_member type41 type40:infoflow type41;
type_member type42 type41:infoflow type42;
type_member type43 type42:infoflow type43;
type_member type44 type43:infoflow type44;
type_member type45 type44:infoflow type45;
type_member type46 type45:infoflow type46;
type_member type47 type46:infoflow type47;
type_member type48 type47:infoflow type48;
type_member type49 type48:infoflow type49;
type_member type50 type49:infoflow type50;
type_member type51 type50:infoflow type51;
type_member type52 type51:infoflow type52;
type_member type53 type52:infoflow type53;
type_member type54 type53:infoflow type54;
type_member type55 type54:infoflow type55;
type_member type56 type55:infoflow type56;
type_member type57 type56:infoflow type57;
type_member type58 type57:infoflow type58;
type_member type59 type58:infoflow type59;
type_member type60 type59:infoflow type60;
type_member type61 type60:infoflow type61;

# 71 range transitions
range_transition type0 type0:infoflow s3;
range_transition type1 type1:infoflow s3;
range_transition type2 type2:infoflow s3;
range_transition type3 type3:infoflow s3;
range_transition type4 type4:infoflow s3;
range_transition type5 type5:infoflow s3;
range_transition type6 type6:infoflow s3;
range_transition type7 type7:infoflow s3;
range_transition type8 type8:infoflow s3;
range_transition type9 type9:infoflow s3;
range_transition type10 type10:infoflow s3;
range_transition type11 type11:infoflow s3;
range_transition type12 type12:infoflow s3;
range_transition type13 type13:infoflow s3;
range_transition type14 type14:infoflow s3;
range_transition type15 type15:infoflow s3;
range_transition type16 type16:infoflow s3;
range_transition type17 type17:infoflow s3;
range_transition type18 type18:infoflow s3;
range_transition type19 type19:infoflow s3;
range_transition type20 type20:infoflow s3;
range_transition type21 type21:infoflow s3;
range_transition type22 type22:infoflow s3;
range_transition type23 type23:infoflow s3;
range_transition type24 type24:infoflow s3;
range_transition type25 type25:infoflow s3;
range_transition type26 type26:infoflow s3;
range_transition type27 type27:infoflow s3;
range_transition type28 type28:infoflow s3;
range_transition type29 type29:infoflow s3;
range_transition type30 type30:infoflow s3;
range_transition type31 type31:infoflow s3;
range_transition type32 type32:infoflow s3;
range_transition type33 type33:infoflow s3;
range_transition type34 type34:infoflow s3;
range_transition type35 type35:infoflow s3;
range_transition type36 type36:infoflow s3;
range_transition type37 type37:infoflow s3;
range_transition type38 type38:infoflow s3;
range_transition type39 type39:infoflow s3;
range_transition type40 type40:infoflow s3;
range_transition type41 type41:infoflow s3;
range_transition type42 type42:infoflow s3;
range_transition type43 type43:infoflow s3;
range_transition type44 type44:infoflow s3;
range_transition type45 type45:infoflow s3;
range_transition type46 type46:infoflow s3;
range_transition type47 type47:infoflow s3;
range_transition type48 type48:infoflow s3;
range_transition type49 type49:infoflow s3;
range_transition type50 type50:infoflow s3;
range_transition type51 type51:infoflow s3;
range_transition type52 type52:infoflow s3;
range_transition type53 type53:infoflow s3;
range_transition type54 type54:infoflow s3;
range_transition type55 type55:infoflow s3;
range_transition type56 type56:infoflow s3;
range_transition type57 type57:infoflow s3;
range_transition type58 type58:infoflow s3;
range_transition type59 type59:infoflow s3;
range_transition type60 type60:infoflow s3;
range_transition type61 type61:infoflow s3;
range_transition type62 type62:infoflow s3;
range_transition type63 type63:infoflow s3;
range_transition type64 type64:infoflow s3;
range_transition type65 type65:infoflow s3;
range_transition type66 type66:infoflow s3;
range_transition type67 type67:infoflow s3;
range_transition type68 type68:infoflow s3;
range_transition type69 type69:infoflow s3;
range_transition type70 type70:infoflow s3;

# 179 allowxperm rules
allowxperm type0 type1:infoflow6 ioctl 0x1234;
allowxperm type1 type2:infoflow6 ioctl 0x1234;
allowxperm type2 type3:infoflow6 ioctl 0x1234;
allowxperm type3 type4:infoflow6 ioctl 0x1234;
allowxperm type4 type5:infoflow6 ioctl 0x1234;
allowxperm type5 type6:infoflow6 ioctl 0x1234;
allowxperm type6 type7:infoflow6 ioctl 0x1234;
allowxperm type7 type8:infoflow6 ioctl 0x1234;
allowxperm type8 type9:infoflow6 ioctl 0x1234;
allowxperm type9 type10:infoflow6 ioctl 0x1234;
allowxperm type10 type11:infoflow6 ioctl 0x1234;
allowxperm type11 type12:infoflow6 ioctl 0x1234;
allowxperm type12 type13:infoflow6 ioctl 0x1234;
allowxperm type13 type14:infoflow6 ioctl 0x1234;
allowxperm type14 type15:infoflow6 ioctl 0x1234;
allowxperm type15 type16:infoflow6 ioctl 0x1234;
allowxperm type16 type17:infoflow6 ioctl 0x1234;
allowxperm type17 type18:infoflow6 ioctl 0x1234;
allowxperm type18 type19:infoflow6 ioctl 0x1234;
allowxperm type19 type20:infoflow6 ioctl 0x1234;
allowxperm type20 type21:infoflow6 ioctl 0x1234;
allowxperm type21 type22:infoflow6 ioctl 0x1234;
allowxperm type22 type23:infoflow6 ioctl 0x1234;
allowxperm type23 type24:infoflow6 ioctl 0x1234;
allowxperm type24 type25:infoflow6 ioctl 0x1234;
allowxperm type25 type26:infoflow6 ioctl 0x1234;
allowxperm type26 type27:infoflow6 ioctl 0x1234;
allowxperm type27 type28:infoflow6 ioctl 0x1234;
allowxperm type28 type29:infoflow6 ioctl 0x1234;
allowxperm type29 type30:infoflow6 ioctl 0x1234;
allowxperm type30 type31:infoflow6 ioctl 0x1234;
allowxperm type31 type32:infoflow6 ioctl 0x1234;
allowxperm type32 type33:infoflow6 ioctl 0x1234;
allowxperm type33 type34:infoflow6 ioctl 0x1234;
allowxperm type34 type35:infoflow6 ioctl 0x1234;
allowxperm type35 type36:infoflow6 ioctl 0x1234;
allowxperm type36 type37:infoflow6 ioctl 0x1234;
allowxperm type37 type38:infoflow6 ioctl 0x1234;
allowxperm type38 type39:infoflow6 ioctl 0x1234;
allowxperm type39 type40:infoflow6 ioctl 0x1234;
allowxperm type40 type41:infoflow6 ioctl 0x1234;
allowxperm type41 type42:infoflow6 ioctl 0x1234;
allowxperm type42 type43:infoflow6 ioctl 0x1234;
allowxperm type43 type44:infoflow6 ioctl 0x1234;
allowxperm type44 type45:infoflow6 ioctl 0x1234;
allowxperm type45 type46:infoflow6 ioctl 0x1234;
allowxperm type46 type47:infoflow6 ioctl 0x1234;
allowxperm type47 type48:infoflow6 ioctl 0x1234;
allowxperm type48 type49:infoflow6 ioctl 0x1234;
allowxperm type49 type50:infoflow6 ioctl 0x1234;
allowxperm type50 type51:infoflow6 ioctl 0x1234;
allowxperm type51 type52:infoflow6 ioctl 0x1234;
allowxperm type52 type53:infoflow6 ioctl 0x1234;
allowxperm type53 type54:infoflow6 ioctl 0x1234;
allowxperm type54 type55:infoflow6 ioctl 0x1234;
allowxperm type55 type56:infoflow6 ioctl 0x1234;
allowxperm type56 type57:infoflow6 ioctl 0x1234;
allowxperm type57 type58:infoflow6 ioctl 0x1234;
allowxperm type58 type59:infoflow6 ioctl 0x1234;
allowxperm type59 type60:infoflow6 ioctl 0x1234;
allowxperm type60 type61:infoflow6 ioctl 0x1234;
allowxperm type61 type62:infoflow6 ioctl 0x1234;
allowxperm type62 type63:infoflow6 ioctl 0x1234;
allowxperm type63 type64:infoflow6 ioctl 0x1234;
allowxperm type64 type65:infoflow6 ioctl 0x1234;
allowxperm type65 type66:infoflow6 ioctl 0x1234;
allowxperm type66 type67:infoflow6 ioctl 0x1234;
allowxperm type67 type68:infoflow6 ioctl 0x1234;
allowxperm type68 type69:infoflow6 ioctl 0x1234;
allowxperm type69 type70:infoflow6 ioctl 0x1234;
allowxperm type70 type71:infoflow6 ioctl 0x1234;
allowxperm type71 type72:infoflow6 ioctl 0x1234;
allowxperm type72 type73:infoflow6 ioctl 0x1234;
allowxperm type73 type74:infoflow6 ioctl 0x1234;
allowxperm type74 type75:infoflow6 ioctl 0x1234;
allowxperm type75 type76:infoflow6 ioctl 0x1234;
allowxperm type76 type77:infoflow6 ioctl 0x1234;
allowxperm type77 type78:infoflow6 ioctl 0x1234;
allowxperm type78 type79:infoflow6 ioctl 0x1234;
allowxperm type79 type80:infoflow6 ioctl 0x1234;
allowxperm type80 type81:infoflow6 ioctl 0x1234;
allowxperm type81 type82:infoflow6 ioctl 0x1234;
allowxperm type82 type83:infoflow6 ioctl 0x1234;
allowxperm type83 type84:infoflow6 ioctl 0x1234;
allowxperm type84 type85:infoflow6 ioctl 0x1234;
allowxperm type85 type86:infoflow6 ioctl 0x1234;
allowxperm type86 type87:infoflow6 ioctl 0x1234;
allowxperm type87 type88:infoflow6 ioctl 0x1234;
allowxperm type88 type89:infoflow6 ioctl 0x1234;
allowxperm type89 type90:infoflow6 ioctl 0x1234;
allowxperm type90 type91:infoflow6 ioctl 0x1234;
allowxperm type91 type92:infoflow6 ioctl 0x1234;
allowxperm type92 type93:infoflow6 ioctl 0x1234;
allowxperm type93 type94:infoflow6 ioctl 0x1234;
allowxperm type94 type95:infoflow6 ioctl 0x1234;
allowxperm type95 type96:infoflow6 ioctl 0x1234;
allowxperm type96 type97:infoflow6 ioctl 0x1234;
allowxperm type97 type98:infoflow6 ioctl 0x1234;
allowxperm type98 type99:infoflow6 ioctl 0x1234;
allowxperm type99 type100:infoflow6 ioctl 0x1234;
allowxperm type100 type101:infoflow6 ioctl 0x1234;
allowxperm type101 type102:infoflow6 ioctl 0x1234;
allowxperm type102 type103:infoflow6 ioctl 0x1234;
allowxperm type103 type104:infoflow6 ioctl 0x1234;
allowxperm type104 type105:infoflow6 ioctl 0x1234;
allowxperm type105 type106:infoflow6 ioctl 0x1234;
allowxperm type106 type107:infoflow6 ioctl 0x1234;
allowxperm type107 type108:infoflow6 ioctl 0x1234;
allowxperm type108 type109:infoflow6 ioctl 0x1234;
allowxperm type109 type110:infoflow6 ioctl 0x1234;
allowxperm type110 type111:infoflow6 ioctl 0x1234;
allowxperm type111 type112:infoflow6 ioctl 0x1234;
allowxperm type112 type113:infoflow6 ioctl 0x1234;
allowxperm type113 type114:infoflow6 ioctl 0x1234;
allowxperm type114 type115:infoflow6 ioctl 0x1234;
allowxperm type115 type116:infoflow6 ioctl 0x1234;
allowxperm type116 type117:infoflow6 ioctl 0x1234;
allowxperm type117 type118:infoflow6 ioctl 0x1234;
allowxperm type118 type119:infoflow6 ioctl 0x1234;
allowxperm type119 type120:infoflow6 ioctl 0x1234;
allowxperm type120 type121:infoflow6 ioctl 0x1234;
allowxperm type121 type122:infoflow6 ioctl 0x1234;
allowxperm type122 type123:infoflow6 ioctl 0x1234;
allowxperm type123 type124:infoflow6 ioctl 0x1234;
allowxperm type124 type125:infoflow6 ioctl 0x1234;
allowxperm type125 type126:infoflow6 ioctl 0x1234;
allowxperm type126 type127:infoflow6 ioctl 0x1234;
allowxperm type127 type128:infoflow6 ioctl 0x1234;
allowxperm type128 type129:infoflow6 ioctl 0x1234;
allowxperm type129 type130:infoflow6 ioctl 0x1234;
allowxperm type130 type131:infoflow6 ioctl 0x1234;
allowxperm type131 type132:infoflow6 ioctl 0x1234;
allowxperm type132 type133:infoflow6 ioctl 0x1234;
allowxperm type133 type134:infoflow6 ioctl 0x1234;
allowxperm type134 type135:infoflow6 ioctl 0x1234;
allowxperm type135 type136:infoflow6 ioctl 0x1234;
allowxperm type136 type0:infoflow6 ioctl 0x1234;
allowxperm type0 type2:infoflow6 ioctl 0x1234;
allowxperm type1 type3:infoflow6 ioctl 0x1234;
allowxperm type2 type4:infoflow6 ioctl 0x1234;
allowxperm type3 type5:infoflow6 ioctl 0x1234;
allowxperm type4 type6:infoflow6 ioctl 0x1234;
allowxperm type5 type7:infoflow6 ioctl 0x1234;
allowxperm type6 type8:infoflow6 ioctl 0x1234;
allowxperm type7 type9:infoflow6 ioctl 0x1234;
allowxperm type8 type10:infoflow6 ioctl 0x1234;
allowxperm type9 type11:infoflow6 ioctl 0x1234;
allowxperm type10 type12:infoflow6 ioctl 0x1234;
allowxperm type11 type13:infoflow6 ioctl 0x1234;
allowxperm type12 type14:infoflow6 ioctl 0x1234;
allowxperm type13 type15:infoflow6 ioctl 0x1234;
allowxperm type14 type16:infoflow6 ioctl 0x1234;
allowxperm type15 type17:infoflow6 ioctl 0x1234;
allowxperm type16 type18:infoflow6 ioctl 0x1234;
allowxperm type17 type19:infoflow6 ioctl 0x1234;
allowxperm type18 type20:infoflow6 ioctl 0x1234;
allowxperm type19 type21:infoflow6 ioctl 0x1234;
allowxperm type20 type22:infoflow6 ioctl 0x1234;
allowxperm type21 type23:infoflow6 ioctl 0x1234;
allowxperm type22 type24:infoflow6 ioctl 0x1234;
allowxperm type23 type25:infoflow6 ioctl 0x1234;
allowxperm type24 type26:infoflow6 ioctl 0x1234;
allowxperm type25 type27:infoflow6 ioctl 0x1234;
allowxperm type26 type28:infoflow6 ioctl 0x1234;
allowxperm type27 type29:infoflow6 ioctl 0x1234;
allowxperm type28 type30:infoflow6 ioctl 0x1234;
allowxperm type29 type31:infoflow6 ioctl 0x1234;
allowxperm type30 type32:infoflow6 ioctl 0x1234;
allowxperm type31 type33:infoflow6 ioctl 0x1234;
allowxperm type32 type34:infoflow6 ioctl 0x1234;
allowxperm type33 type35:infoflow6 ioctl 0x1234;
allowxperm type34 type36:infoflow6 ioctl 0x1234;
allowxperm type35 type37:infoflow6 ioctl 0x1234;
allowxperm type36 type38:infoflow6 ioctl 0x1234;
allowxperm type37 type39:infoflow6 ioctl 0x1234;
allowxperm type38 type40:infoflow6 ioctl 0x1234;
allowxperm type39 type41:infoflow6 ioctl 0x1234;
allowxperm type40 type42:infoflow6 ioctl 0x1234;
allowxperm type41 type43:infoflow6 ioctl 0x1234;

# 181 auditallowxperm rules
auditallowxperm type0 type2:infoflow6 ioctl 0x1234;
auditallowxperm type1 type3:infoflow6 ioctl 0x1234;
auditallowxperm type2 type4:infoflow6 ioctl 0x1234;
auditallowxperm type3 type5:infoflow6 ioctl 0x1234;
auditallowxperm type4 type6:infoflow6 ioctl 0x1234;
auditallowxperm type5 type7:infoflow6 ioctl 0x1234;
auditallowxperm type6 type8:infoflow6 ioctl 0x1234;
auditallowxperm type7 type9:infoflow6 ioctl 0x1234;
auditallowxperm type8 type10:infoflow6 ioctl 0x1234;
auditallowxperm type9 type11:infoflow6 ioctl 0x1234;
auditallowxperm type10 type12:infoflow6 ioctl 0x1234;
auditallowxperm type11 type13:infoflow6 ioctl 0x1234;
auditallowxperm type12 type14:infoflow6 ioctl 0x1234;
auditallowxperm type13 type15:infoflow6 ioctl 0x1234;
auditallowxperm type14 type16:infoflow6 ioctl 0x1234;
auditallowxperm type15 type17:infoflow6 ioctl 0x1234;
auditallowxperm type16 type18:infoflow6 ioctl 0x1234;
auditallowxperm type17 type19:infoflow6 ioctl 0x1234;
auditallowxperm type18 type20:infoflow6 ioctl 0x1234;
auditallowxperm type19 type21:infoflow6 ioctl 0x1234;
auditallowxperm type20 type22:infoflow6 ioctl 0x1234;
auditallowxperm type21 type23:infoflow6 ioctl 0x1234;
auditallowxperm type22 type24:infoflow6 ioctl 0x1234;
auditallowxperm type23 type25:infoflow6 ioctl 0x1234;
auditallowxperm type24 type26:infoflow6 ioctl 0x1234;
auditallowxperm type25 type27:infoflow6 ioctl 0x1234;
auditallowxperm type26 type28:infoflow6 ioctl 0x1234;
auditallowxperm type27 type29:infoflow6 ioctl 0x1234;
auditallowxperm type28 type30:infoflow6 ioctl 0x1234;
auditallowxperm type29 type31:infoflow6 ioctl 0x1234;
auditallowxperm type30 type32:infoflow6 ioctl 0x1234;
auditallowxperm type31 type33:infoflow6 ioctl 0x1234;
auditallowxperm type32 type34:infoflow6 ioctl 0x1234;
auditallowxperm type33 type35:infoflow6 ioctl 0x1234;
auditallowxperm type34 type36:infoflow6 ioctl 0x1234;
auditallowxperm type35 type37:infoflow6 ioctl 0x1234;
auditallowxperm type36 type38:infoflow6 ioctl 0x1234;
auditallowxperm type37 type39:infoflow6 ioctl 0x1234;
auditallowxperm type38 type40:infoflow6 ioctl 0x1234;
auditallowxperm type39 type41:infoflow6 ioctl 0x1234;
auditallowxperm type40 type42:infoflow6 ioctl 0x1234;
auditallowxperm type41 type43:infoflow6 ioctl 0x1234;
auditallowxperm type42 type44:infoflow6 ioctl 0x1234;
auditallowxperm type43 type45:infoflow6 ioctl 0x1234;
auditallowxperm type44 type46:infoflow6 ioctl 0x1234;
auditallowxperm type45 type47:infoflow6 ioctl 0x1234;
auditallowxperm type46 type48:infoflow6 ioctl 0x1234;
auditallowxperm type47 type49:infoflow6 ioctl 0x1234;
auditallowxperm type48 type50:infoflow6 ioctl 0x1234;
auditallowxperm type49 type51:infoflow6 ioctl 0x1234;
auditallowxperm type50 type52:infoflow6 ioctl 0x1234;
auditallowxperm type51 type53:infoflow6 ioctl 0x1234;
auditallowxperm type52 type54:infoflow6 ioctl 0x1234;
auditallowxperm type53 type55:infoflow6 ioctl 0x1234;
auditallowxperm type54 type56:infoflow6 ioctl 0x1234;
auditallowxperm type55 type57:infoflow6 ioctl 0x1234;
auditallowxperm type56 type58:infoflow6 ioctl 0x1234;
auditallowxperm type57 type59:infoflow6 ioctl 0x1234;
auditallowxperm type58 type60:infoflow6 ioctl 0x1234;
auditallowxperm type59 type61:infoflow6 ioctl 0x1234;
auditallowxperm type60 type62:infoflow6 ioctl 0x1234;
auditallowxperm type61 type63:infoflow6 ioctl 0x1234;
auditallowxperm type62 type64:infoflow6 ioctl 0x1234;
auditallowxperm type63 type65:infoflow6 ioctl 0x1234;
auditallowxperm type64 type66:infoflow6 ioctl 0x1234;
auditallowxperm type65 type67:infoflow6 ioctl 0x1234;
auditallowxperm type66 type68:infoflow6 ioctl 0x1234;
auditallowxperm type67 type69:infoflow6 ioctl 0x1234;
auditallowxperm type68 type70:infoflow6 ioctl 0x1234;
auditallowxperm type69 type71:infoflow6 ioctl 0x1234;
auditallowxperm type70 type72:infoflow6 ioctl 0x1234;
auditallowxperm type71 type73:infoflow6 ioctl 0x1234;
auditallowxperm type72 type74:infoflow6 ioctl 0x1234;
auditallowxperm type73 type75:infoflow6 ioctl 0x1234;
auditallowxperm type74 type76:infoflow6 ioctl 0x1234;
auditallowxperm type75 type77:infoflow6 ioctl 0x1234;
auditallowxperm type76 type78:infoflow6 ioctl 0x1234;
auditallowxperm type77 type79:infoflow6 ioctl 0x1234;
auditallowxperm type78 type80:infoflow6 ioctl 0x1234;
auditallowxperm type79 type81:infoflow6 ioctl 0x1234;
auditallowxperm type80 type82:infoflow6 ioctl 0x1234;
auditallowxperm type81 type83:infoflow6 ioctl 0x1234;
auditallowxperm type82 type84:infoflow6 ioctl 0x1234;
auditallowxperm type83 type85:infoflow6 ioctl 0x1234;
auditallowxperm type84 type86:infoflow6 ioctl 0x1234;
auditallowxperm type85 type87:infoflow6 ioctl 0x1234;
auditallowxperm type86 type88:infoflow6 ioctl 0x1234;
auditallowxperm type87 type89:infoflow6 ioctl 0x1234;
auditallowxperm type88 type90:infoflow6 ioctl 0x1234;
auditallowxperm type89 type91:infoflow6 ioctl 0x1234;
auditallowxperm type90 type92:infoflow6 ioctl 0x1234;
auditallowxperm type91 type93:infoflow6 ioctl 0x1234;
auditallowxperm type92 type94:infoflow6 ioctl 0x1234;
auditallowxperm type93 type95:infoflow6 ioctl 0x1234;
auditallowxperm type94 type96:infoflow6 ioctl 0x1234;
auditallowxperm type95 type97:infoflow6 ioctl 0x1234;
auditallowxperm type96 type98:infoflow6 ioctl 0x1234;
auditallowxperm type97 type99:infoflow6 ioctl 0x1234;
auditallowxperm type98 type100:infoflow6 ioctl 0x1234;
auditallowxperm type99 type101:infoflow6 ioctl 0x1234;
auditallowxperm type100 type102:infoflow6 ioctl 0x1234;
auditallowxperm type101 type103:infoflow6 ioctl 0x1234;
auditallowxperm type102 type104:infoflow6 ioctl 0x1234;
auditallowxperm type103 type105:infoflow6 ioctl 0x1234;
auditallowxperm type104 type106:infoflow6 ioctl 0x1234;
auditallowxperm type105 type107:infoflow6 ioctl 0x1234;
auditallowxperm type106 type108:infoflow6 ioctl 0x1234;
auditallowxperm type107 type109:infoflow6 ioctl 0x1234;
auditallowxperm type108 type110:infoflow6 ioctl 0x1234;
auditallowxperm type109 type111:infoflow6 ioctl 0x1234;
auditallowxperm type110 type112:infoflow6 ioctl 0x1234;
auditallowxperm type111 type113:infoflow6 ioctl 0x1234;
auditallowxperm type112 type114:infoflow6 ioctl 0x1234;
auditallowxperm type113 type115:infoflow6 ioctl 0x1234;
auditallowxperm type114 type116:infoflow6 ioctl 0x1234;
auditallowxperm type115 type117:infoflow6 ioctl 0x1234;
auditallowxperm type116 type118:infoflow6 ioctl 0x1234;
auditallowxperm type117 type119:infoflow6 ioctl 0x1234;
auditallowxperm type118 type120:infoflow6 ioctl 0x1234;
auditallowxperm type119 type121:infoflow6 ioctl 0x1234;
auditallowxperm type120 type122:infoflow6 ioctl 0x1234;
auditallowxperm type121 type123:infoflow6 ioctl 0x1234;
auditallowxperm type122 type124:infoflow6 ioctl 0x1234;
auditallowxperm type123 type125:infoflow6 ioctl 0x1234;
auditallowxperm type124 type126:infoflow6 ioctl 0x1234;
auditallowxperm type125 type127:infoflow6 ioctl 0x1234;
auditallowxperm type126 type128:infoflow6 ioctl 0x1234;
auditallowxperm type127 type129:infoflow6 ioctl 0x1234;
auditallowxperm type128 type130:infoflow6 ioctl 0x1234;
auditallowxperm type129 type131:infoflow6 ioctl 0x1234;
auditallowxperm type130 type132:infoflow6 ioctl 0x1234;
auditallowxperm type131 type133:infoflow6 ioctl 0x1234;
auditallowxperm type132 type134:infoflow6 ioctl 0x1234;
auditallowxperm type133 type135:infoflow6 ioctl 0x1234;
auditallowxperm type134 type136:infoflow6 ioctl 0x1234;
auditallowxperm type135 type0:infoflow6 ioctl 0x1234;
auditallowxperm type136 type1:infoflow6 ioctl 0x1234;
auditallowxperm type0 type3:infoflow6 ioctl 0x1234;
auditallowxperm type1 type4:infoflow6 ioctl 0x1234;
auditallowxperm type2 type5:infoflow6 ioctl 0x1234;
auditallowxperm type3 type6:infoflow6 ioctl 0x1234;
auditallowxperm type4 type7:infoflow6 ioctl 0x1234;
auditallowxperm type5 type8:infoflow6 ioctl 0x1234;
auditallowxperm type6 type9:infoflow6 ioctl 0x1234;
auditallowxperm type7 type10:infoflow6 ioctl 0x1234;
auditallowxperm type8 type11:infoflow6 ioctl 0x1234;
auditallowxperm type9 type12:infoflow6 ioctl 0x1234;
auditallowxperm type10 type13:infoflow6 ioctl 0x1234;
auditallowxperm type11 type14:infoflow6 ioctl 0x1234;
auditallowxperm type12 type15:infoflow6 ioctl 0x1234;
auditallowxperm type13 type16:infoflow6 ioctl 0x1234;
auditallowxperm type14 type17:infoflow6 ioctl 0x1234;
auditallowxperm type15 type18:infoflow6 ioctl 0x1234;
auditallowxperm type16 type19:infoflow6 ioctl 0x1234;
auditallowxperm type17 type20:infoflow6 ioctl 0x1234;
auditallowxperm type18 type21:infoflow6 ioctl 0x1234;
auditallowxperm type19 type22:infoflow6 ioctl 0x1234;
auditallowxperm type20 type23:infoflow6 ioctl 0x1234;
auditallowxperm type21 type24:infoflow6 ioctl 0x1234;
auditallowxperm type22 type25:infoflow6 ioctl 0x1234;
auditallowxperm type23 type26:infoflow6 ioctl 0x1234;
auditallowxperm type24 type27:infoflow6 ioctl 0x1234;
auditallowxperm type25 type28:infoflow6 ioctl 0x1234;
auditallowxperm type26 type29:infoflow6 ioctl 0x1234;
auditallowxperm type27 type30:infoflow6 ioctl 0x1234;
auditallowxperm type28 type31:infoflow6 ioctl 0x1234;
auditallowxperm type29 type32:infoflow6 ioctl 0x1234;
auditallowxperm type30 type33:infoflow6 ioctl 0x1234;
auditallowxperm type31 type34:infoflow6 ioctl 0x1234;
auditallowxperm type32 type35:infoflow6 ioctl 0x1234;
auditallowxperm type33 type36:infoflow6 ioctl 0x1234;
auditallowxperm type34 type37:infoflow6 ioctl 0x1234;
auditallowxperm type35 type38:infoflow6 ioctl 0x1234;
auditallowxperm type36 type39:infoflow6 ioctl 0x1234;
auditallowxperm type37 type40:infoflow6 ioctl 0x1234;
auditallowxperm type38 type41:infoflow6 ioctl 0x1234;
auditallowxperm type39 type42:infoflow6 ioctl 0x1234;
auditallowxperm type40 type43:infoflow6 ioctl 0x1234;
auditallowxperm type41 type44:infoflow6 ioctl 0x1234;
auditallowxperm type42 type45:infoflow6 ioctl 0x1234;
auditallowxperm type43 type46:infoflow6 ioctl 0x1234;

# 191 neverallowxperm rules
neverallowxperm type0 type4:infoflow6 ioctl 0x1234;
neverallowxperm type1 type5:infoflow6 ioctl 0x1234;
neverallowxperm type2 type6:infoflow6 ioctl 0x1234;
neverallowxperm type3 type7:infoflow6 ioctl 0x1234;
neverallowxperm type4 type8:infoflow6 ioctl 0x1234;
neverallowxperm type5 type9:infoflow6 ioctl 0x1234;
neverallowxperm type6 type10:infoflow6 ioctl 0x1234;
neverallowxperm type7 type11:infoflow6 ioctl 0x1234;
neverallowxperm type8 type12:infoflow6 ioctl 0x1234;
neverallowxperm type9 type13:infoflow6 ioctl 0x1234;
neverallowxperm type10 type14:infoflow6 ioctl 0x1234;
neverallowxperm type11 type15:infoflow6 ioctl 0x1234;
neverallowxperm type12 type16:infoflow6 ioctl 0x1234;
neverallowxperm type13 type17:infoflow6 ioctl 0x1234;
neverallowxperm type14 type18:infoflow6 ioctl 0x1234;
neverallowxperm type15 type19:infoflow6 ioctl 0x1234;
neverallowxperm type16 type20:infoflow6 ioctl 0x1234;
neverallowxperm type17 type21:infoflow6 ioctl 0x1234;
neverallowxperm type18 type22:infoflow6 ioctl 0x1234;
neverallowxperm type19 type23:infoflow6 ioctl 0x1234;
neverallowxperm type20 type24:infoflow6 ioctl 0x1234;
neverallowxperm type21 type25:infoflow6 ioctl 0x1234;
neverallowxperm type22 type26:infoflow6 ioctl 0x1234;
neverallowxperm type23 type27:infoflow6 ioctl 0x1234;
neverallowxperm type24 type28:infoflow6 ioctl 0x1234;
neverallowxperm type25 type29:infoflow6 ioctl 0x1234;
neverallowxperm type26 type30:infoflow6 ioctl 0x1234;
neverallowxperm type27 type31:infoflow6 ioctl 0x1234;
neverallowxperm type28 type32:infoflow6 ioctl 0x1234;
neverallowxperm type29 type33:infoflow6 ioctl 0x1234;
neverallowxperm type30 type34:infoflow6 ioctl 0x1234;
neverallowxperm type31 type35:infoflow6 ioctl 0x1234;
neverallowxperm type32 type36:infoflow6 ioctl 0x1234;
neverallowxperm type33 type37:infoflow6 ioctl 0x1234;
neverallowxperm type34 type38:infoflow6 ioctl 0x1234;
neverallowxperm type35 type39:infoflow6 ioctl 0x1234;
neverallowxperm type36 type40:infoflow6 ioctl 0x1234;
neverallowxperm type37 type41:infoflow6 ioctl 0x1234;
neverallowxperm type38 type42:infoflow6 ioctl 0x1234;
neverallowxperm type39 type43:infoflow6 ioctl 0x1234;
neverallowxperm type40 type44:infoflow6 ioctl 0x1234;
neverallowxperm type41 type45:infoflow6 ioctl 0x1234;
neverallowxperm type42 type46:infoflow6 ioctl 0x1234;
neverallowxperm type43 type47:infoflow6 ioctl 0x1234;
neverallowxperm type44 type48:infoflow6 ioctl 0x1234;
neverallowxperm type45 type49:infoflow6 ioctl 0x1234;
neverallowxperm type46 type50:infoflow6 ioctl 0x1234;
neverallowxperm type47 type51:infoflow6 ioctl 0x1234;
neverallowxperm type48 type52:infoflow6 ioctl 0x1234;
neverallowxperm type49 type53:infoflow6 ioctl 0x1234;
neverallowxperm type50 type54:infoflow6 ioctl 0x1234;
neverallowxperm type51 type55:infoflow6 ioctl 0x1234;
neverallowxperm type52 type56:infoflow6 ioctl 0x1234;
neverallowxperm type53 type57:infoflow6 ioctl 0x1234;
neverallowxperm type54 type58:infoflow6 ioctl 0x1234;
neverallowxperm type55 type59:infoflow6 ioctl 0x1234;
neverallowxperm type56 type60:infoflow6 ioctl 0x1234;
neverallowxperm type57 type61:infoflow6 ioctl 0x1234;
neverallowxperm type58 type62:infoflow6 ioctl 0x1234;
neverallowxperm type59 type63:infoflow6 ioctl 0x1234;
neverallowxperm type60 type64:infoflow6 ioctl 0x1234;
neverallowxperm type61 type65:infoflow6 ioctl 0x1234;
neverallowxperm type62 type66:infoflow6 ioctl 0x1234;
neverallowxperm type63 type67:infoflow6 ioctl 0x1234;
neverallowxperm type64 type68:infoflow6 ioctl 0x1234;
neverallowxperm type65 type69:infoflow6 ioctl 0x1234;
neverallowxperm type66 type70:infoflow6 ioctl 0x1234;
neverallowxperm type67 type71:infoflow6 ioctl 0x1234;
neverallowxperm type68 type72:infoflow6 ioctl 0x1234;
neverallowxperm type69 type73:infoflow6 ioctl 0x1234;
neverallowxperm type70 type74:infoflow6 ioctl 0x1234;
neverallowxperm type71 type75:infoflow6 ioctl 0x1234;
neverallowxperm type72 type76:infoflow6 ioctl 0x1234;
neverallowxperm type73 type77:infoflow6 ioctl 0x1234;
neverallowxperm type74 type78:infoflow6 ioctl 0x1234;
neverallowxperm type75 type79:infoflow6 ioctl 0x1234;
neverallowxperm type76 type80:infoflow6 ioctl 0x1234;
neverallowxperm type77 type81:infoflow6 ioctl 0x1234;
neverallowxperm type78 type82:infoflow6 ioctl 0x1234;
neverallowxperm type79 type83:infoflow6 ioctl 0x1234;
neverallowxperm type80 type84:infoflow6 ioctl 0x1234;
neverallowxperm type81 type85:infoflow6 ioctl 0x1234;
neverallowxperm type82 type86:infoflow6 ioctl 0x1234;
neverallowxperm type83 type87:infoflow6 ioctl 0x1234;
neverallowxperm type84 type88:infoflow6 ioctl 0x1234;
neverallowxperm type85 type89:infoflow6 ioctl 0x1234;
neverallowxperm type86 type90:infoflow6 ioctl 0x1234;
neverallowxperm type87 type91:infoflow6 ioctl 0x1234;
neverallowxperm type88 type92:infoflow6 ioctl 0x1234;
neverallowxperm type89 type93:infoflow6 ioctl 0x1234;
neverallowxperm type90 type94:infoflow6 ioctl 0x1234;
neverallowxperm type91 type95:infoflow6 ioctl 0x1234;
neverallowxperm type92 type96:infoflow6 ioctl 0x1234;
neverallowxperm type93 type97:infoflow6 ioctl 0x1234;
neverallowxperm type94 type98:infoflow6 ioctl 0x1234;
neverallowxperm type95 type99:infoflow6 ioctl 0x1234;
neverallowxperm type96 type100:infoflow6 ioctl 0x1234;
neverallowxperm type97 type101:infoflow6 ioctl 0x1234;
neverallowxperm type98 type102:infoflow6 ioctl 0x1234;
neverallowxperm type99 type103:infoflow6 ioctl 0x1234;
neverallowxperm type100 type104:infoflow6 ioctl 0x1234;
neverallowxperm type101 type105:infoflow6 ioctl 0x1234;
neverallowxperm type102 type106:infoflow6 ioctl 0x1234;
neverallowxperm type103 type107:infoflow6 ioctl 0x1234;
neverallowxperm type104 type108:infoflow6 ioctl 0x1234;
neverallowxperm type105 type109:infoflow6 ioctl 0x1234;
neverallowxperm type106 type110:infoflow6 ioctl 0x1234;
neverallowxperm type107 type111:infoflow6 ioctl 0x1234;
neverallowxperm type108 type112:infoflow6 ioctl 0x1234;
neverallowxperm type109 type113:infoflow6 ioctl 0x1234;
neverallowxperm type110 type114:infoflow6 ioctl 0x1234;
neverallowxperm type111 type115:infoflow6 ioctl 0x1234;
neverallowxperm type112 type116:infoflow6 ioctl 0x1234;
neverallowxperm type113 type117:infoflow6 ioctl 0x1234;
neverallowxperm type114 type118:infoflow6 ioctl 0x1234;
neverallowxperm type115 type119:infoflow6 ioctl 0x1234;
neverallowxperm type116 type120:infoflow6 ioctl 0x1234;
neverallowxperm type117 type121:infoflow6 ioctl 0x1234;
neverallowxperm type118 type122:infoflow6 ioctl 0x1234;
neverallowxperm type119 type123:infoflow6 ioctl 0x1234;
neverallowxperm type120 type124:infoflow6 ioctl 0x1234;
neverallowxperm type121 type125:infoflow6 ioctl 0x1234;
neverallowxperm type122 type126:infoflow6 ioctl 0x1234;
neverallowxperm type123 type127:infoflow6 ioctl 0x1234;
neverallowxperm type124 type128:infoflow6 ioctl 0x1234;
neverallowxperm type125 type129:infoflow6 ioctl 0x1234;
neverallowxperm type126 type130:infoflow6 ioctl 0x1234;
neverallowxperm type127 type131:infoflow6 ioctl 0x1234;
neverallowxperm type128 type132:infoflow6 ioctl 0x1234;
neverallowxperm type129 type133:infoflow6 ioctl 0x1234;
neverallowxperm type130 type134:infoflow6 ioctl 0x1234;
neverallowxperm type131 type135:infoflow6 ioctl 0x1234;
neverallowxperm type132 type136:infoflow6 ioctl 0x1234;
neverallowxperm type133 type0:infoflow6 ioctl 0x1234;
neverallowxperm type134 type1:infoflow6 ioctl 0x1234;
neverallowxperm type135 type2:infoflow6 ioctl 0x1234;
neverallowxperm type136 type3:infoflow6 ioctl 0x1234;
neverallowxperm type0 type5:infoflow6 ioctl 0x1234;
neverallowxperm type1 type6:infoflow6 ioctl 0x1234;
neverallowxperm type2 type7:infoflow6 ioctl 0x1234;
neverallowxperm type3 type8:infoflow6 ioctl 0x1234;
neverallowxperm type4 type9:infoflow6 ioctl 0x1234;
neverallowxperm type5 type10:infoflow6 ioctl 0x1234;
neverallowxperm type6 type11:infoflow6 ioctl 0x1234;
neverallowxperm type7 type12:infoflow6 ioctl 0x1234;
neverallowxperm type8 type13:infoflow6 ioctl 0x1234;
neverallowxperm type9 type14:infoflow6 ioctl 0x1234;
neverallowxperm type10 type15:infoflow6 ioctl 0x1234;
neverallowxperm type11 type16:infoflow6 ioctl 0x1234;
neverallowxperm type12 type17:infoflow6 ioctl 0x1234;
neverallowxperm type13 type18:infoflow6 ioctl 0x1234;
neverallowxperm type14 type19:infoflow6 ioctl 0x1234;
neverallowxperm type15 type20:infoflow6 ioctl 0x1234;
neverallowxperm type16 type21:infoflow6 ioctl 0x1234;
neverallowxperm type17 type22:infoflow6 ioctl 0x1234;
neverallowxperm type18 type23:infoflow6 ioctl 0x1234;
neverallowxperm type19 type24:infoflow6 ioctl 0x1234;
neverallowxperm type20 type25:infoflow6 ioctl 0x1234;
neverallowxperm type21 type26:infoflow6 ioctl 0x1234;
neverallowxperm type22 type27:infoflow6 ioctl 0x1234;
neverallowxperm type23 type28:infoflow6 ioctl 0x1234;
neverallowxperm type24 type29:infoflow6 ioctl 0x1234;
neverallowxperm type25 type30:infoflow6 ioctl 0x1234;
neverallowxperm type26 type31:infoflow6 ioctl 0x1234;
neverallowxperm type27 type32:infoflow6 ioctl 0x1234;
neverallowxperm type28 type33:infoflow6 ioctl 0x1234;
neverallowxperm type29 type34:infoflow6 ioctl 0x1234;
neverallowxperm type30 type35:infoflow6 ioctl 0x1234;
neverallowxperm type31 type36:infoflow6 ioctl 0x1234;
neverallowxperm type32 type37:infoflow6 ioctl 0x1234;
neverallowxperm type33 type38:infoflow6 ioctl 0x1234;
neverallowxperm type34 type39:infoflow6 ioctl 0x1234;
neverallowxperm type35 type40:infoflow6 ioctl 0x1234;
neverallowxperm type36 type41:infoflow6 ioctl 0x1234;
neverallowxperm type37 type42:infoflow6 ioctl 0x1234;
neverallowxperm type38 type43:infoflow6 ioctl 0x1234;
neverallowxperm type39 type44:infoflow6 ioctl 0x1234;
neverallowxperm type40 type45:infoflow6 ioctl 0x1234;
neverallowxperm type41 type46:infoflow6 ioctl 0x1234;
neverallowxperm type42 type47:infoflow6 ioctl 0x1234;
neverallowxperm type43 type48:infoflow6 ioctl 0x1234;
neverallowxperm type44 type49:infoflow6 ioctl 0x1234;
neverallowxperm type45 type50:infoflow6 ioctl 0x1234;
neverallowxperm type46 type51:infoflow6 ioctl 0x1234;
neverallowxperm type47 type52:infoflow6 ioctl 0x1234;
neverallowxperm type48 type53:infoflow6 ioctl 0x1234;
neverallowxperm type49 type54:infoflow6 ioctl 0x1234;
neverallowxperm type50 type55:infoflow6 ioctl 0x1234;
neverallowxperm type51 type56:infoflow6 ioctl 0x1234;
neverallowxperm type52 type57:infoflow6 ioctl 0x1234;
neverallowxperm type53 type58:infoflow6 ioctl 0x1234;

# 193 dontauditxperm rules
dontauditxperm type0 type5:infoflow6 ioctl 0x1234;
dontauditxperm type1 type6:infoflow6 ioctl 0x1234;
dontauditxperm type2 type7:infoflow6 ioctl 0x1234;
dontauditxperm type3 type8:infoflow6 ioctl 0x1234;
dontauditxperm type4 type9:infoflow6 ioctl 0x1234;
dontauditxperm type5 type10:infoflow6 ioctl 0x1234;
dontauditxperm type6 type11:infoflow6 ioctl 0x1234;
dontauditxperm type7 type12:infoflow6 ioctl 0x1234;
dontauditxperm type8 type13:infoflow6 ioctl 0x1234;
dontauditxperm type9 type14:infoflow6 ioctl 0x1234;
dontauditxperm type10 type15:infoflow6 ioctl 0x1234;
dontauditxperm type11 type16:infoflow6 ioctl 0x1234;
dontauditxperm type12 type17:infoflow6 ioctl 0x1234;
dontauditxperm type13 type18:infoflow6 ioctl 0x1234;
dontauditxperm type14 type19:infoflow6 ioctl 0x1234;
dontauditxperm type15 type20:infoflow6 ioctl 0x1234;
dontauditxperm type16 type21:infoflow6 ioctl 0x1234;
dontauditxperm type17 type22:infoflow6 ioctl 0x1234;
dontauditxperm type18 type23:infoflow6 ioctl 0x1234;
dontauditxperm type19 type24:infoflow6 ioctl 0x1234;
dontauditxperm type20 type25:infoflow6 ioctl 0x1234;
dontauditxperm type21 type26:infoflow6 ioctl 0x1234;
dontauditxperm type22 type27:infoflow6 ioctl 0x1234;
dontauditxperm type23 type28:infoflow6 ioctl 0x1234;
dontauditxperm type24 type29:infoflow6 ioctl 0x1234;
dontauditxperm type25 type30:infoflow6 ioctl 0x1234;
dontauditxperm type26 type31:infoflow6 ioctl 0x1234;
dontauditxperm type27 type32:infoflow6 ioctl 0x1234;
dontauditxperm type28 type33:infoflow6 ioctl 0x1234;
dontauditxperm type29 type34:infoflow6 ioctl 0x1234;
dontauditxperm type30 type35:infoflow6 ioctl 0x1234;
dontauditxperm type31 type36:infoflow6 ioctl 0x1234;
dontauditxperm type32 type37:infoflow6 ioctl 0x1234;
dontauditxperm type33 type38:infoflow6 ioctl 0x1234;
dontauditxperm type34 type39:infoflow6 ioctl 0x1234;
dontauditxperm type35 type40:infoflow6 ioctl 0x1234;
dontauditxperm type36 type41:infoflow6 ioctl 0x1234;
dontauditxperm type37 type42:infoflow6 ioctl 0x1234;
dontauditxperm type38 type43:infoflow6 ioctl 0x1234;
dontauditxperm type39 type44:infoflow6 ioctl 0x1234;
dontauditxperm type40 type45:infoflow6 ioctl 0x1234;
dontauditxperm type41 type46:infoflow6 ioctl 0x1234;
dontauditxperm type42 type47:infoflow6 ioctl 0x1234;
dontauditxperm type43 type48:infoflow6 ioctl 0x1234;
dontauditxperm type44 type49:infoflow6 ioctl 0x1234;
dontauditxperm type45 type50:infoflow6 ioctl 0x1234;
dontauditxperm type46 type51:infoflow6 ioctl 0x1234;
dontauditxperm type47 type52:infoflow6 ioctl 0x1234;
dontauditxperm type48 type53:infoflow6 ioctl 0x1234;
dontauditxperm type49 type54:infoflow6 ioctl 0x1234;
dontauditxperm type50 type55:infoflow6 ioctl 0x1234;
dontauditxperm type51 type56:infoflow6 ioctl 0x1234;
dontauditxperm type52 type57:infoflow6 ioctl 0x1234;
dontauditxperm type53 type58:infoflow6 ioctl 0x1234;
dontauditxperm type54 type59:infoflow6 ioctl 0x1234;
dontauditxperm type55 type60:infoflow6 ioctl 0x1234;
dontauditxperm type56 type61:infoflow6 ioctl 0x1234;
dontauditxperm type57 type62:infoflow6 ioctl 0x1234;
dontauditxperm type58 type63:infoflow6 ioctl 0x1234;
dontauditxperm type59 type64:infoflow6 ioctl 0x1234;
dontauditxperm type60 type65:infoflow6 ioctl 0x1234;
dontauditxperm type61 type66:infoflow6 ioctl 0x1234;
dontauditxperm type62 type67:infoflow6 ioctl 0x1234;
dontauditxperm type63 type68:infoflow6 ioctl 0x1234;
dontauditxperm type64 type69:infoflow6 ioctl 0x1234;
dontauditxperm type65 type70:infoflow6 ioctl 0x1234;
dontauditxperm type66 type71:infoflow6 ioctl 0x1234;
dontauditxperm type67 type72:infoflow6 ioctl 0x1234;
dontauditxperm type68 type73:infoflow6 ioctl 0x1234;
dontauditxperm type69 type74:infoflow6 ioctl 0x1234;
dontauditxperm type70 type75:infoflow6 ioctl 0x1234;
dontauditxperm type71 type76:infoflow6 ioctl 0x1234;
dontauditxperm type72 type77:infoflow6 ioctl 0x1234;
dontauditxperm type73 type78:infoflow6 ioctl 0x1234;
dontauditxperm type74 type79:infoflow6 ioctl 0x1234;
dontauditxperm type75 type80:infoflow6 ioctl 0x1234;
dontauditxperm type76 type81:infoflow6 ioctl 0x1234;
dontauditxperm type77 type82:infoflow6 ioctl 0x1234;
dontauditxperm type78 type83:infoflow6 ioctl 0x1234;
dontauditxperm type79 type84:infoflow6 ioctl 0x1234;
dontauditxperm type80 type85:infoflow6 ioctl 0x1234;
dontauditxperm type81 type86:infoflow6 ioctl 0x1234;
dontauditxperm type82 type87:infoflow6 ioctl 0x1234;
dontauditxperm type83 type88:infoflow6 ioctl 0x1234;
dontauditxperm type84 type89:infoflow6 ioctl 0x1234;
dontauditxperm type85 type90:infoflow6 ioctl 0x1234;
dontauditxperm type86 type91:infoflow6 ioctl 0x1234;
dontauditxperm type87 type92:infoflow6 ioctl 0x1234;
dontauditxperm type88 type93:infoflow6 ioctl 0x1234;
dontauditxperm type89 type94:infoflow6 ioctl 0x1234;
dontauditxperm type90 type95:infoflow6 ioctl 0x1234;
dontauditxperm type91 type96:infoflow6 ioctl 0x1234;
dontauditxperm type92 type97:infoflow6 ioctl 0x1234;
dontauditxperm type93 type98:infoflow6 ioctl 0x1234;
dontauditxperm type94 type99:infoflow6 ioctl 0x1234;
dontauditxperm type95 type100:infoflow6 ioctl 0x1234;
dontauditxperm type96 type101:infoflow6 ioctl 0x1234;
dontauditxperm type97 type102:infoflow6 ioctl 0x1234;
dontauditxperm type98 type103:infoflow6 ioctl 0x1234;
dontauditxperm type99 type104:infoflow6 ioctl 0x1234;
dontauditxperm type100 type105:infoflow6 ioctl 0x1234;
dontauditxperm type101 type106:infoflow6 ioctl 0x1234;
dontauditxperm type102 type107:infoflow6 ioctl 0x1234;
dontauditxperm type103 type108:infoflow6 ioctl 0x1234;
dontauditxperm type104 type109:infoflow6 ioctl 0x1234;
dontauditxperm type105 type110:infoflow6 ioctl 0x1234;
dontauditxperm type106 type111:infoflow6 ioctl 0x1234;
dontauditxperm type107 type112:infoflow6 ioctl 0x1234;
dontauditxperm type108 type113:infoflow6 ioctl 0x1234;
dontauditxperm type109 type114:infoflow6 ioctl 0x1234;
dontauditxperm type110 type115:infoflow6 ioctl 0x1234;
dontauditxperm type111 type116:infoflow6 ioctl 0x1234;
dontauditxperm type112 type117:infoflow6 ioctl 0x1234;
dontauditxperm type113 type118:infoflow6 ioctl 0x1234;
dontauditxperm type114 type119:infoflow6 ioctl 0x1234;
dontauditxperm type115 type120:infoflow6 ioctl 0x1234;
dontauditxperm type116 type121:infoflow6 ioctl 0x1234;
dontauditxperm type117 type122:infoflow6 ioctl 0x1234;
dontauditxperm type118 type123:infoflow6 ioctl 0x1234;
dontauditxperm type119 type124:infoflow6 ioctl 0x1234;
dontauditxperm type120 type125:infoflow6 ioctl 0x1234;
dontauditxperm type121 type126:infoflow6 ioctl 0x1234;
dontauditxperm type122 type127:infoflow6 ioctl 0x1234;
dontauditxperm type123 type128:infoflow6 ioctl 0x1234;
dontauditxperm type124 type129:infoflow6 ioctl 0x1234;
dontauditxperm type125 type130:infoflow6 ioctl 0x1234;
dontauditxperm type126 type131:infoflow6 ioctl 0x1234;
dontauditxperm type127 type132:infoflow6 ioctl 0x1234;
dontauditxperm type128 type133:infoflow6 ioctl 0x1234;
dontauditxperm type129 type134:infoflow6 ioctl 0x1234;
dontauditxperm type130 type135:infoflow6 ioctl 0x1234;
dontauditxperm type131 type136:infoflow6 ioctl 0x1234;
dontauditxperm type132 type0:infoflow6 ioctl 0x1234;
dontauditxperm type133 type1:infoflow6 ioctl 0x1234;
dontauditxperm type134 type2:infoflow6 ioctl 0x1234;
dontauditxperm type135 type3:infoflow6 ioctl 0x1234;
dontauditxperm type136 type4:infoflow6 ioctl 0x1234;
dontauditxperm type0 type6:infoflow6 ioctl 0x1234;
dontauditxperm type1 type7:infoflow6 ioctl 0x1234;
dontauditxperm type2 type8:infoflow6 ioctl 0x1234;
dontauditxperm type3 type9:infoflow6 ioctl 0x1234;
dontauditxperm type4 type10:infoflow6 ioctl 0x1234;
dontauditxperm type5 type11:infoflow6 ioctl 0x1234;
dontauditxperm type6 type12:infoflow6 ioctl 0x1234;
dontauditxperm type7 type13:infoflow6 ioctl 0x1234;
dontauditxperm type8 type14:infoflow6 ioctl 0x1234;
dontauditxperm type9 type15:infoflow6 ioctl 0x1234;
dontauditxperm type10 type16:infoflow6 ioctl 0x1234;
dontauditxperm type11 type17:infoflow6 ioctl 0x1234;
dontauditxperm type12 type18:infoflow6 ioctl 0x1234;
dontauditxperm type13 type19:infoflow6 ioctl 0x1234;
dontauditxperm type14 type20:infoflow6 ioctl 0x1234;
dontauditxperm type15 type21:infoflow6 ioctl 0x1234;
dontauditxperm type16 type22:infoflow6 ioctl 0x1234;
dontauditxperm type17 type23:infoflow6 ioctl 0x1234;
dontauditxperm type18 type24:infoflow6 ioctl 0x1234;
dontauditxperm type19 type25:infoflow6 ioctl 0x1234;
dontauditxperm type20 type26:infoflow6 ioctl 0x1234;
dontauditxperm type21 type27:infoflow6 ioctl 0x1234;
dontauditxperm type22 type28:infoflow6 ioctl 0x1234;
dontauditxperm type23 type29:infoflow6 ioctl 0x1234;
dontauditxperm type24 type30:infoflow6 ioctl 0x1234;
dontauditxperm type25 type31:infoflow6 ioctl 0x1234;
dontauditxperm type26 type32:infoflow6 ioctl 0x1234;
dontauditxperm type27 type33:infoflow6 ioctl 0x1234;
dontauditxperm type28 type34:infoflow6 ioctl 0x1234;
dontauditxperm type29 type35:infoflow6 ioctl 0x1234;
dontauditxperm type30 type36:infoflow6 ioctl 0x1234;
dontauditxperm type31 type37:infoflow6 ioctl 0x1234;
dontauditxperm type32 type38:infoflow6 ioctl 0x1234;
dontauditxperm type33 type39:infoflow6 ioctl 0x1234;
dontauditxperm type34 type40:infoflow6 ioctl 0x1234;
dontauditxperm type35 type41:infoflow6 ioctl 0x1234;
dontauditxperm type36 type42:infoflow6 ioctl 0x1234;
dontauditxperm type37 type43:infoflow6 ioctl 0x1234;
dontauditxperm type38 type44:infoflow6 ioctl 0x1234;
dontauditxperm type39 type45:infoflow6 ioctl 0x1234;
dontauditxperm type40 type46:infoflow6 ioctl 0x1234;
dontauditxperm type41 type47:infoflow6 ioctl 0x1234;
dontauditxperm type42 type48:infoflow6 ioctl 0x1234;
dontauditxperm type43 type49:infoflow6 ioctl 0x1234;
dontauditxperm type44 type50:infoflow6 ioctl 0x1234;
dontauditxperm type45 type51:infoflow6 ioctl 0x1234;
dontauditxperm type46 type52:infoflow6 ioctl 0x1234;
dontauditxperm type47 type53:infoflow6 ioctl 0x1234;
dontauditxperm type48 type54:infoflow6 ioctl 0x1234;
dontauditxperm type49 type55:infoflow6 ioctl 0x1234;
dontauditxperm type50 type56:infoflow6 ioctl 0x1234;
dontauditxperm type51 type57:infoflow6 ioctl 0x1234;
dontauditxperm type52 type58:infoflow6 ioctl 0x1234;
dontauditxperm type53 type59:infoflow6 ioctl 0x1234;
dontauditxperm type54 type60:infoflow6 ioctl 0x1234;
dontauditxperm type55 type61:infoflow6 ioctl 0x1234;

################################################################################

# 101 users
user user0 roles role0 level s4:c5 range s4:c5;
user user1 roles role0 level s4:c5 range s4:c5;
user user2 roles role0 level s4:c5 range s4:c5;
user user3 roles role0 level s4:c5 range s4:c5;
user user4 roles role0 level s4:c5 range s4:c5;
user user5 roles role0 level s4:c5 range s4:c5;
user user6 roles role0 level s4:c5 range s4:c5;
user user7 roles role0 level s4:c5 range s4:c5;
user user8 roles role0 level s4:c5 range s4:c5;
user user9 roles role0 level s4:c5 range s4:c5;
user user10 roles role0 level s4:c5 range s4:c5;
user user11 roles role0 level s4:c5 range s4:c5;
user user12 roles role0 level s4:c5 range s4:c5;
user user13 roles role0 level s4:c5 range s4:c5;
user user14 roles role0 level s4:c5 range s4:c5;
user user15 roles role0 level s4:c5 range s4:c5;
user user16 roles role0 level s4:c5 range s4:c5;
user user17 roles role0 level s4:c5 range s4:c5;
user user18 roles role0 level s4:c5 range s4:c5;
user user19 roles role0 level s4:c5 range s4:c5;
user user20 roles role0 level s4:c5 range s4:c5;
user user21 roles role0 level s4:c5 range s4:c5;
user user22 roles role0 level s4:c5 range s4:c5;
user user23 roles role0 level s4:c5 range s4:c5;
user user24 roles role0 level s4:c5 range s4:c5;
user user25 roles role0 level s4:c5 range s4:c5;
user user26 roles role0 level s4:c5 range s4:c5;
user user27 roles role0 level s4:c5 range s4:c5;
user user28 roles role0 level s4:c5 range s4:c5;
user user29 roles role0 level s4:c5 range s4:c5;
user user30 roles role0 level s4:c5 range s4:c5;
user user31 roles role0 level s4:c5 range s4:c5;
user user32 roles role0 level s4:c5 range s4:c5;
user user33 roles role0 level s4:c5 range s4:c5;
user user34 roles role0 level s4:c5 range s4:c5;
user user35 roles role0 level s4:c5 range s4:c5;
user user36 roles role0 level s4:c5 range s4:c5;
user user37 roles role0 level s4:c5 range s4:c5;
user user38 roles role0 level s4:c5 range s4:c5;
user user39 roles role0 level s4:c5 range s4:c5;
user user40 roles role0 level s4:c5 range s4:c5;
user user41 roles role0 level s4:c5 range s4:c5;
user user42 roles role0 level s4:c5 range s4:c5;
user user43 roles role0 level s4:c5 range s4:c5;
user user44 roles role0 level s4:c5 range s4:c5;
user user45 roles role0 level s4:c5 range s4:c5;
user user46 roles role0 level s4:c5 range s4:c5;
user user47 roles role0 level s4:c5 range s4:c5;
user user48 roles role0 level s4:c5 range s4:c5;
user user49 roles role0 level s4:c5 range s4:c5;
user user50 roles role0 level s4:c5 range s4:c5;
user user51 roles role0 level s4:c5 range s4:c5;
user user52 roles role0 level s4:c5 range s4:c5;
user user53 roles role0 level s4:c5 range s4:c5;
user user54 roles role0 level s4:c5 range s4:c5;
user user55 roles role0 level s4:c5 range s4:c5;
user user56 roles role0 level s4:c5 range s4:c5;
user user57 roles role0 level s4:c5 range s4:c5;
user user58 roles role0 level s4:c5 range s4:c5;
user user59 roles role0 level s4:c5 range s4:c5;
user user60 roles role0 level s4:c5 range s4:c5;
user user61 roles role0 level s4:c5 range s4:c5;
user user62 roles role0 level s4:c5 range s4:c5;
user user63 roles role0 level s4:c5 range s4:c5;
user user64 roles role0 level s4:c5 range s4:c5;
user user65 roles role0 level s4:c5 range s4:c5;
user user66 roles role0 level s4:c5 range s4:c5;
user user67 roles role0 level s4:c5 range s4:c5;
user user68 roles role0 level s4:c5 range s4:c5;
user user69 roles role0 level s4:c5 range s4:c5;
user user70 roles role0 level s4:c5 range s4:c5;
user user71 roles role0 level s4:c5 range s4:c5;
user user72 roles role0 level s4:c5 range s4:c5;
user user73 roles role0 level s4:c5 range s4:c5;
user user74 roles role0 level s4:c5 range s4:c5;
user user75 roles role0 level s4:c5 range s4:c5;
user user76 roles role0 level s4:c5 range s4:c5;
user user77 roles role0 level s4:c5 range s4:c5;
user user78 roles role0 level s4:c5 range s4:c5;
user user79 roles role0 level s4:c5 range s4:c5;
user user80 roles role0 level s4:c5 range s4:c5;
user user81 roles role0 level s4:c5 range s4:c5;
user user82 roles role0 level s4:c5 range s4:c5;
user user83 roles role0 level s4:c5 range s4:c5;
user user84 roles role0 level s4:c5 range s4:c5;
user user85 roles role0 level s4:c5 range s4:c5;
user user86 roles role0 level s4:c5 range s4:c5;
user user87 roles role0 level s4:c5 range s4:c5;
user user88 roles role0 level s4:c5 range s4:c5;
user user89 roles role0 level s4:c5 range s4:c5;
user user90 roles role0 level s4:c5 range s4:c5;
user user91 roles role0 level s4:c5 range s4:c5;
user user92 roles role0 level s4:c5 range s4:c5;
user user93 roles role0 level s4:c5 range s4:c5;
user user94 roles role0 level s4:c5 range s4:c5;
user user95 roles role0 level s4:c5 range s4:c5;
user user96 roles role0 level s4:c5 range s4:c5;
user user97 roles role0 level s4:c5 range s4:c5;
user user98 roles role0 level s4:c5 range s4:c5;
user user99 roles role0 level s4:c5 range s4:c5;
user user100 roles role0 level s4:c5 range s4:c5;

# 19 normal constraints
constrain infoflow low_w ((u1 eq u2) or (t1 == attr1));
constrain infoflow low_r ((u1 eq u2) or (t1 == attr2));
constrain infoflow low_none ((u1 eq u2) or (t1 == attr3));
constrain infoflow2 med_r ((u1 eq u2) or (t1 == attr4));
constrain infoflow2 med_w ((u1 eq u2) or (t1 == attr5));
constrain infoflow2 med_none ((u1 eq u2) or (t1 == attr6));
constrain infoflow2 med_both ((u1 eq u2) or (t1 == attr7));
constrain infoflow2 med_fifth ((u1 eq u2) or (t1 == attr8));
constrain infoflow2 super_r ((u1 eq u2) or (t1 == attr9));
constrain infoflow2 super_w ((u1 eq u2) or (t1 == attr10));
constrain infoflow4 hi_w ((u1 eq u2) or (t1 == attr11));
constrain infoflow4 hi_r ((u1 eq u2) or (t1 == attr12));
constrain infoflow4 hi_third ((u1 eq u2) or (t1 == attr13));
constrain infoflow4 hi_fourth ((u1 eq u2) or (t1 == attr14));
constrain infoflow4 hi_fifth ((u1 eq u2) or (t1 == attr15));
constrain infoflow4 hi_sixth ((u1 eq u2) or (t1 == attr16));
constrain infoflow4 hi_seventh ((u1 eq u2) or (t1 == attr17));
constrain infoflow4 super_both ((u1 eq u2) or (t1 == attr18));
constrain infoflow5 hi_w ((u1 eq u2) or (t1 == attr19));

# 5 validatetrans
validatetrans { infoflow infoflow2 infoflow3 infoflow4 infoflow5 } (u1 == u2);

# 11 initial SIDs
sid sid_one user0:role0:type0:s4:c5
sid sid_two user0:role0:type0:s4:c5
sid sid_three user0:role0:type0:s4:c5
sid sid_four user0:role0:type0:s4:c5
sid sid_five user0:role0:type0:s4:c5
sid sid_six user0:role0:type0:s4:c5
sid sid_seven user0:role0:type0:s4:c5
sid sid_eight user0:role0:type0:s4:c5
sid sid_nine user0:role0:type0:s4:c5
sid sid_ten user0:role0:type0:s4:c5
sid sid_eleven user0:role0:type0:s4:c5

# 149 fs_use
fs_use_trans fs0 user0:object_r:type0:s4:c5;
fs_use_xattr fs1 user0:object_r:type0:s4:c5;
fs_use_task fs2 user0:object_r:type0:s4:c5;
fs_use_trans fs3 user0:object_r:type0:s4:c5;
fs_use_xattr fs4 user0:object_r:type0:s4:c5;
fs_use_task fs5 user0:object_r:type0:s4:c5;
fs_use_trans fs6 user0:object_r:type0:s4:c5;
fs_use_xattr fs7 user0:object_r:type0:s4:c5;
fs_use_task fs8 user0:object_r:type0:s4:c5;
fs_use_trans fs9 user0:object_r:type0:s4:c5;
fs_use_xattr fs10 user0:object_r:type0:s4:c5;
fs_use_task fs11 user0:object_r:type0:s4:c5;
fs_use_trans fs12 user0:object_r:type0:s4:c5;
fs_use_xattr fs13 user0:object_r:type0:s4:c5;
fs_use_task fs14 user0:object_r:type0:s4:c5;
fs_use_trans fs15 user0:object_r:type0:s4:c5;
fs_use_xattr fs16 user0:object_r:type0:s4:c5;
fs_use_task fs17 user0:object_r:type0:s4:c5;
fs_use_trans fs18 user0:object_r:type0:s4:c5;
fs_use_xattr fs19 user0:object_r:type0:s4:c5;
fs_use_task fs20 user0:object_r:type0:s4:c5;
fs_use_trans fs21 user0:object_r:type0:s4:c5;
fs_use_xattr fs22 user0:object_r:type0:s4:c5;
fs_use_task fs23 user0:object_r:type0:s4:c5;
fs_use_trans fs24 user0:object_r:type0:s4:c5;
fs_use_xattr fs25 user0:object_r:type0:s4:c5;
fs_use_task fs26 user0:object_r:type0:s4:c5;
fs_use_trans fs27 user0:object_r:type0:s4:c5;
fs_use_xattr fs28 user0:object_r:type0:s4:c5;
fs_use_task fs29 user0:object_r:type0:s4:c5;
fs_use_trans fs30 user0:object_r:type0:s4:c5;
fs_use_xattr fs31 user0:object_r:type0:s4:c5;
fs_use_task fs32 user0:object_r:type0:s4:c5;
fs_use_trans fs33 user0:object_r:type0:s4:c5;
fs_use_xattr fs34 user0:object_r:type0:s4:c5;
fs_use_task fs35 user0:object_r:type0:s4:c5;
fs_use_trans fs36 user0:object_r:type0:s4:c5;
fs_use_xattr fs37 user0:object_r:type0:s4:c5;
fs_use_task fs38 user0:object_r:type0:s4:c5;
fs_use_trans fs39 user0:object_r:type0:s4:c5;
fs_use_xattr fs40 user0:object_r:type0:s4:c5;
fs_use_task fs41 user0:object_r:type0:s4:c5;
fs_use_trans fs42 user0:object_r:type0:s4:c5;
fs_use_xattr fs43 user0:object_r:type0:s4:c5;
fs_use_task fs44 user0:object_r:type0:s4:c5;
fs_use_trans fs45 user0:object_r:type0:s4:c5;
fs_use_xattr fs46 user0:object_r:type0:s4:c5;
fs_use_task fs47 user0:object_r:type0:s4:c5;
fs_use_trans fs48 user0:object_r:type0:s4:c5;
fs_use_xattr fs49 user0:object_r:type0:s4:c5;
fs_use_task fs50 user0:object_r:type0:s4:c5;
fs_use_trans fs51 user0:object_r:type0:s4:c5;
fs_use_xattr fs52 user0:object_r:type0:s4:c5;
fs_use_task fs53 user0:object_r:type0:s4:c5;
fs_use_trans fs54 user0:object_r:type0:s4:c5;
fs_use_xattr fs55 user0:object_r:type0:s4:c5;
fs_use_task fs56 user0:object_r:type0:s4:c5;
fs_use_trans fs57 user0:object_r:type0:s4:c5;
fs_use_xattr fs58 user0:object_r:type0:s4:c5;
fs_use_task fs59 user0:object_r:type0:s4:c5;
fs_use_trans fs60 user0:object_r:type0:s4:c5;
fs_use_xattr fs61 user0:object_r:type0:s4:c5;
fs_use_task fs62 user0:object_r:type0:s4:c5;
fs_use_trans fs63 user0:object_r:type0:s4:c5;
fs_use_xattr fs64 user0:object_r:type0:s4:c5;
fs_use_task fs65 user0:object_r:type0:s4:c5;
fs_use_trans fs66 user0:object_r:type0:s4:c5;
fs_use_xattr fs67 user0:object_r:type0:s4:c5;
fs_use_task fs68 user0:object_r:type0:s4:c5;
fs_use_trans fs69 user0:object_r:type0:s4:c5;
fs_use_xattr fs70 user0:object_r:type0:s4:c5;
fs_use_task fs71 user0:object_r:type0:s4:c5;
fs_use_trans fs72 user0:object_r:type0:s4:c5;
fs_use_xattr fs73 user0:object_r:type0:s4:c5;
fs_use_task fs74 user0:object_r:type0:s4:c5;
fs_use_trans fs75 user0:object_r:type0:s4:c5;
fs_use_xattr fs76 user0:object_r:type0:s4:c5;
fs_use_task fs77 user0:object_r:type0:s4:c5;
fs_use_trans fs78 user0:object_r:type0:s4:c5;
fs_use_xattr fs79 user0:object_r:type0:s4:c5;
fs_use_task fs80 user0:object_r:type0:s4:c5;
fs_use_trans fs81 user0:object_r:type0:s4:c5;
fs_use_xattr fs82 user0:object_r:type0:s4:c5;
fs_use_task fs83 user0:object_r:type0:s4:c5;
fs_use_trans fs84 user0:object_r:type0:s4:c5;
fs_use_xattr fs85 user0:object_r:type0:s4:c5;
fs_use_task fs86 user0:object_r:type0:s4:c5;
fs_use_trans fs87 user0:object_r:type0:s4:c5;
fs_use_xattr fs88 user0:object_r:type0:s4:c5;
fs_use_task fs89 user0:object_r:type0:s4:c5;
fs_use_trans fs90 user0:object_r:type0:s4:c5;
fs_use_xattr fs91 user0:object_r:type0:s4:c5;
fs_use_task fs92 user0:object_r:type0:s4:c5;
fs_use_trans fs93 user0:object_r:type0:s4:c5;
fs_use_xattr fs94 user0:object_r:type0:s4:c5;
fs_use_task fs95 user0:object_r:type0:s4:c5;
fs_use_trans fs96 user0:object_r:type0:s4:c5;
fs_use_xattr fs97 user0:object_r:type0:s4:c5;
fs_use_task fs98 user0:object_r:type0:s4:c5;
fs_use_trans fs99 user0:object_r:type0:s4:c5;
fs_use_xattr fs100 user0:object_r:type0:s4:c5;
fs_use_task fs101 user0:object_r:type0:s4:c5;
fs_use_trans fs102 user0:object_r:type0:s4:c5;
fs_use_xattr fs103 user0:object_r:type0:s4:c5;
fs_use_task fs104 user0:object_r:type0:s4:c5;
fs_use_trans fs105 user0:object_r:type0:s4:c5;
fs_use_xattr fs106 user0:object_r:type0:s4:c5;
fs_use_task fs107 user0:object_r:type0:s4:c5;
fs_use_trans fs108 user0:object_r:type0:s4:c5;
fs_use_xattr fs109 user0:object_r:type0:s4:c5;
fs_use_task fs110 user0:object_r:type0:s4:c5;
fs_use_trans fs111 user0:object_r:type0:s4:c5;
fs_use_xattr fs112 user0:object_r:type0:s4:c5;
fs_use_task fs113 user0:object_r:type0:s4:c5;
fs_use_trans fs114 user0:object_r:type0:s4:c5;
fs_use_xattr fs115 user0:object_r:type0:s4:c5;
fs_use_task fs116 user0:object_r:type0:s4:c5;
fs_use_trans fs117 user0:object_r:type0:s4:c5;
fs_use_xattr fs118 user0:object_r:type0:s4:c5;
fs_use_task fs119 user0:object_r:type0:s4:c5;
fs_use_trans fs120 user0:object_r:type0:s4:c5;
fs_use_xattr fs121 user0:object_r:type0:s4:c5;
fs_use_task fs122 user0:object_r:type0:s4:c5;
fs_use_trans fs123 user0:object_r:type0:s4:c5;
fs_use_xattr fs124 user0:object_r:type0:s4:c5;
fs_use_task fs125 user0:object_r:type0:s4:c5;
fs_use_trans fs126 user0:object_r:type0:s4:c5;
fs_use_xattr fs127 user0:object_r:type0:s4:c5;
fs_use_task fs128 user0:object_r:type0:s4:c5;
fs_use_trans fs129 user0:object_r:type0:s4:c5;
fs_use_xattr fs130 user0:object_r:type0:s4:c5;
fs_use_task fs131 user0:object_r:type0:s4:c5;
fs_use_trans fs132 user0:object_r:type0:s4:c5;
fs_use_xattr fs133 user0:object_r:type0:s4:c5;
fs_use_task fs134 user0:object_r:type0:s4:c5;
fs_use_trans fs135 user0:object_r:type0:s4:c5;
fs_use_xattr fs136 user0:object_r:type0:s4:c5;
fs_use_task fs137 user0:object_r:type0:s4:c5;
fs_use_trans fs138 user0:object_r:type0:s4:c5;
fs_use_xattr fs139 user0:object_r:type0:s4:c5;
fs_use_task fs140 user0:object_r:type0:s4:c5;
fs_use_trans fs141 user0:object_r:type0:s4:c5;
fs_use_xattr fs142 user0:object_r:type0:s4:c5;
fs_use_task fs143 user0:object_r:type0:s4:c5;
fs_use_trans fs144 user0:object_r:type0:s4:c5;
fs_use_xattr fs145 user0:object_r:type0:s4:c5;
fs_use_task fs146 user0:object_r:type0:s4:c5;
fs_use_trans fs147 user0:object_r:type0:s4:c5;
fs_use_xattr fs148 user0:object_r:type0:s4:c5;

# 151 genfscon
genfscon fs149 / user0:object_r:type0:s3
genfscon fs150 / user0:object_r:type0:s3
genfscon fs151 / user0:object_r:type0:s3
genfscon fs152 / user0:object_r:type0:s3
genfscon fs153 / user0:object_r:type0:s3
genfscon fs154 / user0:object_r:type0:s3
genfscon fs155 / user0:object_r:type0:s3
genfscon fs156 / user0:object_r:type0:s3
genfscon fs157 / user0:object_r:type0:s3
genfscon fs158 / user0:object_r:type0:s3
genfscon fs159 / user0:object_r:type0:s3
genfscon fs160 / user0:object_r:type0:s3
genfscon fs161 / user0:object_r:type0:s3
genfscon fs162 / user0:object_r:type0:s3
genfscon fs163 / user0:object_r:type0:s3
genfscon fs164 / user0:object_r:type0:s3
genfscon fs165 / user0:object_r:type0:s3
genfscon fs166 / user0:object_r:type0:s3
genfscon fs167 / user0:object_r:type0:s3
genfscon fs168 / user0:object_r:type0:s3
genfscon fs169 / user0:object_r:type0:s3
genfscon fs170 / user0:object_r:type0:s3
genfscon fs171 / user0:object_r:type0:s3
genfscon fs172 / user0:object_r:type0:s3
genfscon fs173 / user0:object_r:type0:s3
genfscon fs174 / user0:object_r:type0:s3
genfscon fs175 / user0:object_r:type0:s3
genfscon fs176 / user0:object_r:type0:s3
genfscon fs177 / user0:object_r:type0:s3
genfscon fs178 / user0:object_r:type0:s3
genfscon fs179 / user0:object_r:type0:s3
genfscon fs180 / user0:object_r:type0:s3
genfscon fs181 / user0:object_r:type0:s3
genfscon fs182 / user0:object_r:type0:s3
genfscon fs183 / user0:object_r:type0:s3
genfscon fs184 / user0:object_r:type0:s3
genfscon fs185 / user0:object_r:type0:s3
genfscon fs186 / user0:object_r:type0:s3
genfscon fs187 / user0:object_r:type0:s3
genfscon fs188 / user0:object_r:type0:s3
genfscon fs189 / user0:object_r:type0:s3
genfscon fs190 / user0:object_r:type0:s3
genfscon fs191 / user0:object_r:type0:s3
genfscon fs192 / user0:object_r:type0:s3
genfscon fs193 / user0:object_r:type0:s3
genfscon fs194 / user0:object_r:type0:s3
genfscon fs195 / user0:object_r:type0:s3
genfscon fs196 / user0:object_r:type0:s3
genfscon fs197 / user0:object_r:type0:s3
genfscon fs198 / user0:object_r:type0:s3
genfscon fs199 / user0:object_r:type0:s3
genfscon fs200 / user0:object_r:type0:s3
genfscon fs201 / user0:object_r:type0:s3
genfscon fs202 / user0:object_r:type0:s3
genfscon fs203 / user0:object_r:type0:s3
genfscon fs204 / user0:object_r:type0:s3
genfscon fs205 / user0:object_r:type0:s3
genfscon fs206 / user0:object_r:type0:s3
genfscon fs207 / user0:object_r:type0:s3
genfscon fs208 / user0:object_r:type0:s3
genfscon fs209 / user0:object_r:type0:s3
genfscon fs210 / user0:object_r:type0:s3
genfscon fs211 / user0:object_r:type0:s3
genfscon fs212 / user0:object_r:type0:s3
genfscon fs213 / user0:object_r:type0:s3
genfscon fs214 / user0:object_r:type0:s3
genfscon fs215 / user0:object_r:type0:s3
genfscon fs216 / user0:object_r:type0:s3
genfscon fs217 / user0:object_r:type0:s3
genfscon fs218 / user0:object_r:type0:s3
genfscon fs219 / user0:object_r:type0:s3
genfscon fs220 / user0:object_r:type0:s3
genfscon fs221 / user0:object_r:type0:s3
genfscon fs222 / user0:object_r:type0:s3
genfscon fs223 / user0:object_r:type0:s3
genfscon fs224 / user0:object_r:type0:s3
genfscon fs225 / user0:object_r:type0:s3
genfscon fs226 / user0:object_r:type0:s3
genfscon fs227 / user0:object_r:type0:s3
genfscon fs228 / user0:object_r:type0:s3
genfscon fs229 / user0:object_r:type0:s3
genfscon fs230 / user0:object_r:type0:s3
genfscon fs231 / user0:object_r:type0:s3
genfscon fs232 / user0:object_r:type0:s3
genfscon fs233 / user0:object_r:type0:s3
genfscon fs234 / user0:object_r:type0:s3
genfscon fs235 / user0:object_r:type0:s3
genfscon fs236 / user0:object_r:type0:s3
genfscon fs237 / user0:object_r:type0:s3
genfscon fs238 / user0:object_r:type0:s3
genfscon fs239 / user0:object_r:type0:s3
genfscon fs240 / user0:object_r:type0:s3
genfscon fs241 / user0:object_r:type0:s3
genfscon fs242 / user0:object_r:type0:s3
genfscon fs243 / user0:object_r:type0:s3
genfscon fs244 / user0:object_r:type0:s3
genfscon fs245 / user0:object_r:type0:s3
genfscon fs246 / user0:object_r:type0:s3
genfscon fs247 / user0:object_r:type0:s3
genfscon fs248 / user0:object_r:type0:s3
genfscon fs249 / user0:object_r:type0:s3
genfscon fs250 / user0:object_r:type0:s3
genfscon fs251 / user0:object_r:type0:s3
genfscon fs252 / user0:object_r:type0:s3
genfscon fs253 / user0:object_r:type0:s3
genfscon fs254 / user0:object_r:type0:s3
genfscon fs255 / user0:object_r:type0:s3
genfscon fs256 / user0:object_r:type0:s3
genfscon fs257 / user0:object_r:type0:s3
genfscon fs258 / user0:object_r:type0:s3
genfscon fs259 / user0:object_r:type0:s3
genfscon fs260 / user0:object_r:type0:s3
genfscon fs261 / user0:object_r:type0:s3
genfscon fs262 / user0:object_r:type0:s3
genfscon fs263 / user0:object_r:type0:s3
genfscon fs264 / user0:object_r:type0:s3
genfscon fs265 / user0:object_r:type0:s3
genfscon fs266 / user0:object_r:type0:s3
genfscon fs267 / user0:object_r:type0:s3
genfscon fs268 / user0:object_r:type0:s3
genfscon fs269 / user0:object_r:type0:s3
genfscon fs270 / user0:object_r:type0:s3
genfscon fs271 / user0:object_r:type0:s3
genfscon fs272 / user0:object_r:type0:s3
genfscon fs273 / user0:object_r:type0:s3
genfscon fs274 / user0:object_r:type0:s3
genfscon fs275 / user0:object_r:type0:s3
genfscon fs276 / user0:object_r:type0:s3
genfscon fs277 / user0:object_r:type0:s3
genfscon fs278 / user0:object_r:type0:s3
genfscon fs279 / user0:object_r:type0:s3
genfscon fs280 / user0:object_r:type0:s3
genfscon fs281 / user0:object_r:type0:s3
genfscon fs282 / user0:object_r:type0:s3
genfscon fs283 / user0:object_r:type0:s3
genfscon fs284 / user0:object_r:type0:s3
genfscon fs285 / user0:object_r:type0:s3
genfscon fs286 / user0:object_r:type0:s3
genfscon fs287 / user0:object_r:type0:s3
genfscon fs288 / user0:object_r:type0:s3
genfscon fs289 / user0:object_r:type0:s3
genfscon fs290 / user0:object_r:type0:s3
genfscon fs291 / user0:object_r:type0:s3
genfscon fs292 / user0:object_r:type0:s3
genfscon fs293 / user0:object_r:type0:s3
genfscon fs294 / user0:object_r:type0:s3
genfscon fs295 / user0:object_r:type0:s3
genfscon fs296 / user0:object_r:type0:s3
genfscon fs297 / user0:object_r:type0:s3
genfscon fs298 / user0:object_r:type0:s3
genfscon fs299 / user0:object_r:type0:s3

#163 portcons
portcon tcp 2 user0:object_r:type0:s4:c5
portcon tcp 4 user0:object_r:type0:s4:c5
portcon tcp 6 user0:object_r:type0:s4:c5
portcon tcp 8 user0:object_r:type0:s4:c5
portcon tcp 10 user0:object_r:type0:s4:c5
portcon tcp 12 user0:object_r:type0:s4:c5
portcon tcp 14 user0:object_r:type0:s4:c5
portcon tcp 16 user0:object_r:type0:s4:c5
portcon tcp 18 user0:object_r:type0:s4:c5
portcon tcp 20 user0:object_r:type0:s4:c5
portcon tcp 22 user0:object_r:type0:s4:c5
portcon tcp 24 user0:object_r:type0:s4:c5
portcon tcp 26 user0:object_r:type0:s4:c5
portcon tcp 28 user0:object_r:type0:s4:c5
portcon tcp 30 user0:object_r:type0:s4:c5
portcon tcp 32 user0:object_r:type0:s4:c5
portcon tcp 34 user0:object_r:type0:s4:c5
portcon tcp 36 user0:object_r:type0:s4:c5
portcon tcp 38 user0:object_r:type0:s4:c5
portcon tcp 40 user0:object_r:type0:s4:c5
portcon tcp 42 user0:object_r:type0:s4:c5
portcon tcp 44 user0:object_r:type0:s4:c5
portcon tcp 46 user0:object_r:type0:s4:c5
portcon tcp 48 user0:object_r:type0:s4:c5
portcon tcp 50 user0:object_r:type0:s4:c5
portcon tcp 52 user0:object_r:type0:s4:c5
portcon tcp 54 user0:object_r:type0:s4:c5
portcon tcp 56 user0:object_r:type0:s4:c5
portcon tcp 58 user0:object_r:type0:s4:c5
portcon tcp 60 user0:object_r:type0:s4:c5
portcon tcp 62 user0:object_r:type0:s4:c5
portcon tcp 64 user0:object_r:type0:s4:c5
portcon tcp 66 user0:object_r:type0:s4:c5
portcon tcp 68 user0:object_r:type0:s4:c5
portcon tcp 70 user0:object_r:type0:s4:c5
portcon tcp 72 user0:object_r:type0:s4:c5
portcon tcp 74 user0:object_r:type0:s4:c5
portcon tcp 76 user0:object_r:type0:s4:c5
portcon tcp 78 user0:object_r:type0:s4:c5
portcon tcp 80 user0:object_r:type0:s4:c5
portcon tcp 82 user0:object_r:type0:s4:c5
portcon tcp 84 user0:object_r:type0:s4:c5
portcon tcp 86 user0:object_r:type0:s4:c5
portcon tcp 88 user0:object_r:type0:s4:c5
portcon tcp 90 user0:object_r:type0:s4:c5
portcon tcp 92 user0:object_r:type0:s4:c5
portcon tcp 94 user0:object_r:type0:s4:c5
portcon tcp 96 user0:object_r:type0:s4:c5
portcon tcp 98 user0:object_r:type0:s4:c5
portcon tcp 100 user0:object_r:type0:s4:c5
portcon tcp 102 user0:object_r:type0:s4:c5
portcon tcp 104 user0:object_r:type0:s4:c5
portcon tcp 106 user0:object_r:type0:s4:c5
portcon tcp 108 user0:object_r:type0:s4:c5
portcon tcp 110 user0:object_r:type0:s4:c5
portcon tcp 112 user0:object_r:type0:s4:c5
portcon tcp 114 user0:object_r:type0:s4:c5
portcon tcp 116 user0:object_r:type0:s4:c5
portcon tcp 118 user0:object_r:type0:s4:c5
portcon tcp 120 user0:object_r:type0:s4:c5
portcon tcp 122 user0:object_r:type0:s4:c5
portcon tcp 124 user0:object_r:type0:s4:c5
portcon tcp 126 user0:object_r:type0:s4:c5
portcon tcp 128 user0:object_r:type0:s4:c5
portcon tcp 130 user0:object_r:type0:s4:c5
portcon tcp 132 user0:object_r:type0:s4:c5
portcon tcp 134 user0:object_r:type0:s4:c5
portcon tcp 136 user0:object_r:type0:s4:c5
portcon tcp 138 user0:object_r:type0:s4:c5
portcon tcp 140 user0:object_r:type0:s4:c5
portcon tcp 142 user0:object_r:type0:s4:c5
portcon tcp 144 user0:object_r:type0:s4:c5
portcon tcp 146 user0:object_r:type0:s4:c5
portcon tcp 148 user0:object_r:type0:s4:c5
portcon tcp 150 user0:object_r:type0:s4:c5
portcon tcp 152 user0:object_r:type0:s4:c5
portcon tcp 154 user0:object_r:type0:s4:c5
portcon tcp 156 user0:object_r:type0:s4:c5
portcon tcp 158 user0:object_r:type0:s4:c5
portcon tcp 160 user0:object_r:type0:s4:c5
portcon tcp 162 user0:object_r:type0:s4:c5
portcon tcp 164 user0:object_r:type0:s4:c5
portcon tcp 166 user0:object_r:type0:s4:c5
portcon tcp 168 user0:object_r:type0:s4:c5
portcon tcp 170 user0:object_r:type0:s4:c5
portcon tcp 172 user0:object_r:type0:s4:c5
portcon tcp 174 user0:object_r:type0:s4:c5
portcon tcp 176 user0:object_r:type0:s4:c5
portcon tcp 178 user0:object_r:type0:s4:c5
portcon tcp 180 user0:object_r:type0:s4:c5
portcon tcp 182 user0:object_r:type0:s4:c5
portcon tcp 184 user0:object_r:type0:s4:c5
portcon tcp 186 user0:object_r:type0:s4:c5
portcon tcp 188 user0:object_r:type0:s4:c5
portcon tcp 190 user0:object_r:type0:s4:c5
portcon tcp 192 user0:object_r:type0:s4:c5
portcon tcp 194 user0:object_r:type0:s4:c5
portcon tcp 196 user0:object_r:type0:s4:c5
portcon tcp 198 user0:object_r:type0:s4:c5
portcon tcp 200 user0:object_r:type0:s4:c5
portcon tcp 202 user0:object_r:type0:s4:c5
portcon tcp 204 user0:object_r:type0:s4:c5
portcon tcp 206 user0:object_r:type0:s4:c5
portcon tcp 208 user0:object_r:type0:s4:c5
portcon tcp 210 user0:object_r:type0:s4:c5
portcon tcp 212 user0:object_r:type0:s4:c5
portcon tcp 214 user0:object_r:type0:s4:c5
portcon tcp 216 user0:object_r:type0:s4:c5
portcon tcp 218 user0:object_r:type0:s4:c5
portcon tcp 220 user0:object_r:type0:s4:c5
portcon tcp 222 user0:object_r:type0:s4:c5
portcon tcp 224 user0:object_r:type0:s4:c5
portcon tcp 226 user0:object_r:type0:s4:c5
portcon tcp 228 user0:object_r:type0:s4:c5
portcon tcp 230 user0:object_r:type0:s4:c5
portcon tcp 232 user0:object_r:type0:s4:c5
portcon tcp 234 user0:object_r:type0:s4:c5
portcon tcp 236 user0:object_r:type0:s4:c5
portcon tcp 238 user0:object_r:type0:s4:c5
portcon tcp 240 user0:object_r:type0:s4:c5
portcon tcp 242 user0:object_r:type0:s4:c5
portcon tcp 244 user0:object_r:type0:s4:c5
portcon tcp 246 user0:object_r:type0:s4:c5
portcon tcp 248 user0:object_r:type0:s4:c5
portcon tcp 250 user0:object_r:type0:s4:c5
portcon tcp 252 user0:object_r:type0:s4:c5
portcon tcp 254 user0:object_r:type0:s4:c5
portcon tcp 256 user0:object_r:type0:s4:c5
portcon tcp 258 user0:object_r:type0:s4:c5
portcon tcp 260 user0:object_r:type0:s4:c5
portcon tcp 262 user0:object_r:type0:s4:c5
portcon tcp 264 user0:object_r:type0:s4:c5
portcon tcp 266 user0:object_r:type0:s4:c5
portcon tcp 268 user0:object_r:type0:s4:c5
portcon tcp 270 user0:object_r:type0:s4:c5
portcon tcp 272 user0:object_r:type0:s4:c5
portcon tcp 274 user0:object_r:type0:s4:c5
portcon tcp 276 user0:object_r:type0:s4:c5
portcon tcp 278 user0:object_r:type0:s4:c5
portcon tcp 280 user0:object_r:type0:s4:c5
portcon tcp 282 user0:object_r:type0:s4:c5
portcon tcp 284 user0:object_r:type0:s4:c5
portcon tcp 286 user0:object_r:type0:s4:c5
portcon tcp 288 user0:object_r:type0:s4:c5
portcon tcp 290 user0:object_r:type0:s4:c5
portcon tcp 292 user0:object_r:type0:s4:c5
portcon tcp 294 user0:object_r:type0:s4:c5
portcon tcp 296 user0:object_r:type0:s4:c5
portcon tcp 298 user0:object_r:type0:s4:c5
portcon tcp 300 user0:object_r:type0:s4:c5
portcon tcp 302 user0:object_r:type0:s4:c5
portcon tcp 304 user0:object_r:type0:s4:c5
portcon tcp 306 user0:object_r:type0:s4:c5
portcon tcp 308 user0:object_r:type0:s4:c5
portcon tcp 310 user0:object_r:type0:s4:c5
portcon tcp 312 user0:object_r:type0:s4:c5
portcon tcp 314 user0:object_r:type0:s4:c5
portcon tcp 316 user0:object_r:type0:s4:c5
portcon tcp 318 user0:object_r:type0:s4:c5
portcon tcp 320 user0:object_r:type0:s4:c5
portcon tcp 322 user0:object_r:type0:s4:c5
portcon tcp 324 user0:object_r:type0:s4:c5
portcon tcp 326 user0:object_r:type0:s4:c5

#167 netifcon
netifcon eth0 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth1 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth2 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth3 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth4 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth5 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth6 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth7 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth8 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth9 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth10 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth11 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth12 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth13 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth14 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth15 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth16 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth17 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth18 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth19 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth20 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth21 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth22 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth23 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth24 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth25 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth26 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth27 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth28 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth29 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth30 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth31 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth32 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth33 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth34 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth35 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth36 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth37 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth38 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth39 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth40 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth41 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth42 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth43 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth44 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth45 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth46 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth47 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth48 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth49 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth50 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth51 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth52 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth53 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth54 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth55 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth56 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth57 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth58 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth59 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth60 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth61 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth62 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth63 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth64 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth65 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth66 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth67 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth68 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth69 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth70 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth71 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth72 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth73 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth74 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth75 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth76 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth77 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth78 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth79 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth80 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth81 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth82 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth83 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth84 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth85 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth86 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth87 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth88 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth89 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth90 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth91 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth92 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth93 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth94 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth95 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth96 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth97 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth98 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth99 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth100 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth101 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth102 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth103 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth104 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth105 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth106 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth107 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth108 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth109 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth110 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth111 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth112 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth113 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth114 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth115 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth116 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth117 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth118 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth119 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth120 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth121 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth122 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth123 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth124 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth125 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth126 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth127 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth128 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth129 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth130 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth131 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth132 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth133 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth134 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth135 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth136 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth137 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth138 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth139 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth140 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth141 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth142 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth143 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth144 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth145 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth146 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth147 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth148 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth149 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth150 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth151 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth152 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth153 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth154 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth155 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth156 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth157 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth158 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth159 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth160 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth161 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth162 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth163 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth164 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth165 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5
netifcon eth166 user0:object_r:type0:s4:c5 user0:object_r:type0:s4:c5

# 173 nodecons
nodecon 127.0.0.0 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.1 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.2 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.3 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.4 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.5 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.6 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.7 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.8 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.9 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.10 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.11 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.12 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.13 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.14 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.15 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.16 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.17 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.18 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.19 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.20 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.21 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.22 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.23 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.24 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.25 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.26 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.27 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.28 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.29 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.30 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.31 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.32 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.33 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.34 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.35 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.36 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.37 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.38 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.39 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.40 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.41 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.42 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.43 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.44 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.45 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.46 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.47 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.48 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.49 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.50 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.51 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.52 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.53 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.54 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.55 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.56 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.57 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.58 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.59 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.60 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.61 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.62 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.63 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.64 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.65 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.66 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.67 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.68 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.69 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.70 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.71 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.72 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.73 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.74 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.75 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.76 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.77 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.78 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.79 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.80 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.81 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.82 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.83 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.84 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.85 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.86 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.87 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.88 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.89 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.90 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.91 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.92 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.93 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.94 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.95 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.96 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.97 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.98 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.99 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.100 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.101 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.102 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.103 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.104 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.105 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.106 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.107 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.108 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.109 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.110 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.111 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.112 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.113 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.114 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.115 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.116 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.117 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.118 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.119 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.120 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.121 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.122 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.123 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.124 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.125 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.126 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.127 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.128 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.129 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.130 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.131 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.132 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.133 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.134 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.135 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.136 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.137 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.138 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.139 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.140 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.141 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.142 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.143 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.144 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.145 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.146 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.147 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.148 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.149 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.150 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.151 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.152 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.153 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.154 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.155 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.156 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.157 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.158 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.159 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.160 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.161 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.162 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.163 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.164 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.165 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.166 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.167 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.168 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.169 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.170 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.171 255.255.255.255 user0:object_r:type0:s4:c5
nodecon 127.0.0.172 255.255.255.255 user0:object_r:type0:s4:c5
