Commit 90d94ba4 authored by Jonathan Shahen's avatar Jonathan Shahen

adding the other Mohawk files for conversion

parent 62c31a09
/* Generated On : 2015/02/07 20:24:02.639
* Generated With : Mohawk Reverse Converter: Mohawk
* Number of Roles : 3
* Number of Timeslots : 1
* Number of Rules : 8
*
* Roles : |Size=3| [role0, role1, role2]
* Timeslots : |Size=1| [t0]
*
*
* TESTCASE COMMENTS:
*
*/
Query: t0, [role1]
Expected: UNKNOWN
/*
* Number of Rules : 8
* Largest Precondition : 2
* Largest Role Schedule : 1
* Startable Rules : 2
* Truly Startable Rules : 2
*/
CanAssign {
/* 1 */ <TRUE, t0, role2 & role1, t0, role0>
/* 2 */ <TRUE, t0, NOT ~ role1, t0, role0>
/* 3 */ <TRUE, t0, role2 & NOT ~ role1, t0, role0>
/* 4 */ <TRUE, t0, role2 & role0, t0, role1>
/* 5 */ <TRUE, t0, role2 & NOT ~ role0, t0, role1>
/* 6 */ <TRUE, t0, NOT ~ role0, t0, role1>
/* 7 */ <TRUE, t0, role1 & role0, t0, role2>
/* 8 */ <TRUE, t0, NOT ~ role1 & role0, t0, role2>
}
CanRevoke { }
CanEnable { }
CanDisable { }
\ No newline at end of file
/* Generated On : 2015/02/07 20:24:02.650
* Generated With : Mohawk Reverse Converter: Mohawk
* Number of Roles : 5
* Number of Timeslots : 1
* Number of Rules : 21
*
* Roles : |Size=5| [role0, role1, role2, role3, role4]
* Timeslots : |Size=1| [t0]
*
*
* TESTCASE COMMENTS:
*
*/
Query: t0, [role1]
Expected: UNKNOWN
/*
* Number of Rules : 19
* Largest Precondition : 3
* Largest Role Schedule : 1
* Startable Rules : 2
* Truly Startable Rules : 2
*/
CanAssign {
/* 1 */ <TRUE, t0, TRUE, t0, role0>
/* 2 */ <TRUE, t0, role1 & role3, t0, role0>
/* 3 */ <TRUE, t0, role4 & NOT ~ role3, t0, role0>
/* 4 */ <TRUE, t0, role3, t0, role0>
/* 5 */ <TRUE, t0, role2 & role3 & role0, t0, role1>
/* 6 */ <TRUE, t0, NOT ~ role2 & role4 & role3, t0, role1>
/* 7 */ <TRUE, t0, role2 & role4, t0, role1>
/* 8 */ <TRUE, t0, NOT ~ role2 & role0, t0, role1>
/* 9 */ <TRUE, t0, role1, t0, role2>
/* 10 */ <TRUE, t0, NOT ~ role1 & role0, t0, role2>
/* 11 */ <TRUE, t0, role1 & role3, t0, role2>
/* 12 */ <TRUE, t0, role2 & role4, t0, role3>
/* 13 */ <TRUE, t0, NOT ~ role4 & role1, t0, role3>
/* 14 */ <TRUE, t0, role4 & role1, t0, role3>
/* 15 */ <TRUE, t0, TRUE, t0, role3>
/* 16 */ <TRUE, t0, role2, t0, role4>
/* 17 */ <TRUE, t0, NOT ~ role2 & role1, t0, role4>
/* 18 */ <TRUE, t0, role2 & role1 & role0, t0, role4>
/* 19 */ <TRUE, t0, NOT ~ role2 & role3 & role0, t0, role4>
}
/*
* Number of Rules : 2
* Largest Precondition : 0
* Largest Role Schedule : 1
* Startable Rules : 2
* Truly Startable Rules : 2
*/
CanRevoke {
/* 1 */ <TRUE, t0, TRUE, t0, role0>
/* 2 */ <TRUE, t0, TRUE, t0, role3>
}
CanEnable { }
CanDisable { }
\ No newline at end of file
/* Generated On : 2015/02/07 20:24:02.700
* Generated With : Mohawk Reverse Converter: Mohawk
* Number of Roles : 20
* Number of Timeslots : 1
* Number of Rules : 87
*
* Roles : |Size=20| [role0, role1, role2, role3, role4, role5, role6, role7, role8, role9, role10, role11, role12, role13, role14, role15, role16, role17, role18, role19]
* Timeslots : |Size=1| [t0]
*
*
* TESTCASE COMMENTS:
*
*/
Query: t0, [role10]
Expected: UNKNOWN
/*
* Number of Rules : 75
* Largest Precondition : 3
* Largest Role Schedule : 1
* Startable Rules : 14
* Truly Startable Rules : 14
*/
CanAssign {
/* 1 */ <TRUE, t0, TRUE, t0, role0>
/* 2 */ <TRUE, t0, role1, t0, role0>
/* 3 */ <TRUE, t0, role19 & NOT ~ role1 & role14, t0, role0>
/* 4 */ <TRUE, t0, role13 & role1 & role10, t0, role0>
/* 5 */ <TRUE, t0, role6 & role12, t0, role1>
/* 6 */ <TRUE, t0, NOT ~ role12, t0, role1>
/* 7 */ <TRUE, t0, role12 & role0, t0, role1>
/* 8 */ <TRUE, t0, role16 & NOT ~ role12, t0, role1>
/* 9 */ <TRUE, t0, role13 & role4 & role1, t0, role2>
/* 10 */ <TRUE, t0, NOT ~ role1 & role7, t0, role2>
/* 11 */ <TRUE, t0, role1 & role12, t0, role2>
/* 12 */ <TRUE, t0, NOT ~ role1, t0, role2>
/* 13 */ <TRUE, t0, role6, t0, role3>
/* 14 */ <TRUE, t0, TRUE, t0, role3>
/* 15 */ <TRUE, t0, NOT ~ role6 & role1, t0, role3>
/* 16 */ <TRUE, t0, role12, t0, role4>
/* 17 */ <TRUE, t0, role16 & NOT ~ role12, t0, role4>
/* 18 */ <TRUE, t0, role19 & role3 & role12, t0, role4>
/* 19 */ <TRUE, t0, role1 & role18 & NOT ~ role12, t0, role4>
/* 20 */ <TRUE, t0, role8 & role6 & role11, t0, role5>
/* 21 */ <TRUE, t0, role17 & role2 & NOT ~ role6, t0, role5>
/* 22 */ <TRUE, t0, role6, t0, role5>
/* 23 */ <TRUE, t0, NOT ~ role6 & role7, t0, role5>
/* 24 */ <TRUE, t0, role4 & role5, t0, role6>
/* 25 */ <TRUE, t0, NOT ~ role4, t0, role6>
/* 26 */ <TRUE, t0, role2 & role4 & role5, t0, role6>
/* 27 */ <TRUE, t0, role15 & NOT ~ role4 & role10, t0, role6>
/* 28 */ <TRUE, t0, role9 & role5, t0, role7>
/* 29 */ <TRUE, t0, role1 & NOT ~ role5, t0, role7>
/* 30 */ <TRUE, t0, role3 & role5, t0, role7>
/* 31 */ <TRUE, t0, role15 & role4 & NOT ~ role5, t0, role7>
/* 32 */ <TRUE, t0, role13, t0, role8>
/* 33 */ <TRUE, t0, role2 & NOT ~ role13 & role11, t0, role8>
/* 34 */ <TRUE, t0, role15 & role13, t0, role8>
/* 35 */ <TRUE, t0, NOT ~ role13 & role0, t0, role8>
/* 36 */ <TRUE, t0, role4 & role19 & role6, t0, role9>
/* 37 */ <TRUE, t0, NOT ~ role4 & role19, t0, role9>
/* 38 */ <TRUE, t0, role2 & role4, t0, role9>
/* 39 */ <TRUE, t0, NOT ~ role4, t0, role9>
/* 40 */ <TRUE, t0, role17 & role9 & role0, t0, role10>
/* 41 */ <TRUE, t0, NOT ~ role0, t0, role10>
/* 42 */ <TRUE, t0, role1 & role0, t0, role10>
/* 43 */ <TRUE, t0, role2 & role15 & role19, t0, role11>
/* 44 */ <TRUE, t0, NOT ~ role2 & role19 & role5, t0, role11>
/* 45 */ <TRUE, t0, role2, t0, role11>
/* 46 */ <TRUE, t0, NOT ~ role2, t0, role11>
/* 47 */ <TRUE, t0, TRUE, t0, role12>
/* 48 */ <TRUE, t0, role3 & role5, t0, role12>
/* 49 */ <TRUE, t0, role13 & NOT ~ role5, t0, role12>
/* 50 */ <TRUE, t0, role2, t0, role13>
/* 51 */ <TRUE, t0, NOT ~ role2 & role19 & role14, t0, role13>
/* 52 */ <TRUE, t0, NOT ~ role2 & role4, t0, role13>
/* 53 */ <TRUE, t0, TRUE, t0, role14>
/* 54 */ <TRUE, t0, role2 & role6 & role1, t0, role14>
/* 55 */ <TRUE, t0, NOT ~ role1, t0, role14>
/* 56 */ <TRUE, t0, role1, t0, role14>
/* 57 */ <TRUE, t0, role2, t0, role15>
/* 58 */ <TRUE, t0, NOT ~ role2 & role10, t0, role15>
/* 59 */ <TRUE, t0, NOT ~ role2 & role16 & role0, t0, role15>
/* 60 */ <TRUE, t0, role13 & role12 & role0, t0, role16>
/* 61 */ <TRUE, t0, role13 & NOT ~ role12, t0, role16>
/* 62 */ <TRUE, t0, role17 & role12, t0, role16>
/* 63 */ <TRUE, t0, role19 & role18 & NOT ~ role12, t0, role16>
/* 64 */ <TRUE, t0, role4 & role14, t0, role17>
/* 65 */ <TRUE, t0, NOT ~ role14, t0, role17>
/* 66 */ <TRUE, t0, role14, t0, role17>
/* 67 */ <TRUE, t0, role19 & NOT ~ role14, t0, role17>
/* 68 */ <TRUE, t0, role5 & role12, t0, role18>
/* 69 */ <TRUE, t0, role10 & NOT ~ role5, t0, role18>
/* 70 */ <TRUE, t0, role15 & role16 & role5, t0, role18>
/* 71 */ <TRUE, t0, role16 & NOT ~ role5 & role12, t0, role18>
/* 72 */ <TRUE, t0, role15 & role8 & role6, t0, role19>
/* 73 */ <TRUE, t0, TRUE, t0, role19>
/* 74 */ <TRUE, t0, NOT ~ role15, t0, role19>
/* 75 */ <TRUE, t0, role15, t0, role19>
}
/*
* Number of Rules : 12
* Largest Precondition : 0
* Largest Role Schedule : 1
* Startable Rules : 12
* Truly Startable Rules : 12
*/
CanRevoke {
/* 1 */ <TRUE, t0, TRUE, t0, role1>
/* 2 */ <TRUE, t0, TRUE, t0, role9>
/* 3 */ <TRUE, t0, TRUE, t0, role11>
/* 4 */ <TRUE, t0, TRUE, t0, role15>
/* 5 */ <TRUE, t0, TRUE, t0, role18>
/* 6 */ <TRUE, t0, TRUE, t0, role10>
/* 7 */ <TRUE, t0, TRUE, t0, role19>
/* 8 */ <TRUE, t0, TRUE, t0, role7>
/* 9 */ <TRUE, t0, TRUE, t0, role14>
/* 10 */ <TRUE, t0, TRUE, t0, role6>
/* 11 */ <TRUE, t0, TRUE, t0, role3>
/* 12 */ <TRUE, t0, TRUE, t0, role13>
}
CanEnable { }
CanDisable { }
\ No newline at end of file
This diff is collapsed.
This diff is collapsed.
This source diff could not be displayed because it is too large. You can view the blob instead.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
/* Generated On : 2015/02/07 20:15:23.600
* Generated With : Mohawk Reverse Converter: Mohawk
* Number of Roles : 3
* Number of Timeslots : 1
* Number of Rules : 8
*
* Roles : |Size=3| [role0, role1, role2]
* Timeslots : |Size=1| [t0]
*
*
* TESTCASE COMMENTS:
*
*/
Query: t0, [role1]
Expected: UNKNOWN
/*
* Number of Rules : 8
* Largest Precondition : 2
* Largest Role Schedule : 1
* Startable Rules : 2
* Truly Startable Rules : 2
*/
CanAssign {
/* 1 */ <TRUE, t0, role1 & role0, t0, role2>
/* 2 */ <TRUE, t0, NOT ~ role1 & role0, t0, role2>
/* 3 */ <TRUE, t0, role2 & role1, t0, role0>
/* 4 */ <TRUE, t0, NOT ~ role1, t0, role0>
/* 5 */ <TRUE, t0, role2 & NOT ~ role1, t0, role0>
/* 6 */ <TRUE, t0, role2 & role0, t0, role1>
/* 7 */ <TRUE, t0, role2 & NOT ~ role0, t0, role1>
/* 8 */ <TRUE, t0, NOT ~ role0, t0, role1>
}
CanRevoke { }
CanEnable { }
CanDisable { }
\ No newline at end of file
/* Generated On : 2015/02/07 20:15:23.627
* Generated With : Mohawk Reverse Converter: Mohawk
* Number of Roles : 5
* Number of Timeslots : 1
* Number of Rules : 19
*
* Roles : |Size=5| [role0, role1, role2, role3, role4]
* Timeslots : |Size=1| [t0]
*
*
* TESTCASE COMMENTS:
*
*/
Query: t0, [role1]
Expected: UNKNOWN
/*
* Number of Rules : 19
* Largest Precondition : 3
* Largest Role Schedule : 1
* Startable Rules : 2
* Truly Startable Rules : 2
*/
CanAssign {
/* 1 */ <TRUE, t0, role1, t0, role2>
/* 2 */ <TRUE, t0, NOT ~ role1 & role0, t0, role2>
/* 3 */ <TRUE, t0, role1 & role3, t0, role2>
/* 4 */ <TRUE, t0, TRUE, t0, role0>
/* 5 */ <TRUE, t0, role1 & role3, t0, role0>
/* 6 */ <TRUE, t0, role4 & NOT ~ role3, t0, role0>
/* 7 */ <TRUE, t0, role3, t0, role0>
/* 8 */ <TRUE, t0, role2, t0, role4>
/* 9 */ <TRUE, t0, NOT ~ role2 & role1, t0, role4>
/* 10 */ <TRUE, t0, role2 & role1 & role0, t0, role4>
/* 11 */ <TRUE, t0, NOT ~ role2 & role3 & role0, t0, role4>
/* 12 */ <TRUE, t0, role2 & role3 & role0, t0, role1>
/* 13 */ <TRUE, t0, NOT ~ role2 & role4 & role3, t0, role1>
/* 14 */ <TRUE, t0, role2 & role4, t0, role1>
/* 15 */ <TRUE, t0, NOT ~ role2 & role0, t0, role1>
/* 16 */ <TRUE, t0, role2 & role4, t0, role3>
/* 17 */ <TRUE, t0, NOT ~ role4 & role1, t0, role3>
/* 18 */ <TRUE, t0, role4 & role1, t0, role3>
/* 19 */ <TRUE, t0, TRUE, t0, role3>
}
CanRevoke { }
CanEnable { }
CanDisable { }
\ No newline at end of file
/* Generated On : 2015/02/07 20:15:23.643
* Generated With : Mohawk Reverse Converter: Mohawk
* Number of Roles : 20
* Number of Timeslots : 1
* Number of Rules : 75
*
* Roles : |Size=20| [role0, role1, role2, role3, role4, role5, role6, role7, role8, role9, role10, role11, role12, role13, role14, role15, role16, role17, role18, role19]
* Timeslots : |Size=1| [t0]
*
*
* TESTCASE COMMENTS:
*
*/
Query: t0, [role10]
Expected: UNKNOWN
/*
* Number of Rules : 75
* Largest Precondition : 3
* Largest Role Schedule : 1
* Startable Rules : 14
* Truly Startable Rules : 14
*/
CanAssign {
/* 1 */ <TRUE, t0, role19 & role6 & role4, t0, role9>
/* 2 */ <TRUE, t0, role19 & NOT ~ role4, t0, role9>
/* 3 */ <TRUE, t0, role4 & role2, t0, role9>
/* 4 */ <TRUE, t0, NOT ~ role4, t0, role9>
/* 5 */ <TRUE, t0, TRUE, t0, role14>
/* 6 */ <TRUE, t0, role6 & role1 & role2, t0, role14>
/* 7 */ <TRUE, t0, NOT ~ role1, t0, role14>
/* 8 */ <TRUE, t0, role1, t0, role14>
/* 9 */ <TRUE, t0, role1 & role4 & role13, t0, role2>
/* 10 */ <TRUE, t0, role7 & NOT ~ role1, t0, role2>
/* 11 */ <TRUE, t0, role12 & role1, t0, role2>
/* 12 */ <TRUE, t0, NOT ~ role1, t0, role2>
/* 13 */ <TRUE, t0, role5 & role12, t0, role18>
/* 14 */ <TRUE, t0, role10 & NOT ~ role5, t0, role18>
/* 15 */ <TRUE, t0, role5 & role16 & role15, t0, role18>
/* 16 */ <TRUE, t0, NOT ~ role5 & role12 & role16, t0, role18>
/* 17 */ <TRUE, t0, role9 & role17 & role0, t0, role10>
/* 18 */ <TRUE, t0, NOT ~ role0, t0, role10>
/* 19 */ <TRUE, t0, role1 & role0, t0, role10>
/* 20 */ <TRUE, t0, role2, t0, role15>
/* 21 */ <TRUE, t0, role10 & NOT ~ role2, t0, role15>
/* 22 */ <TRUE, t0, role16 & NOT ~ role2 & role0, t0, role15>
/* 23 */ <TRUE, t0, role6 & role8 & role15, t0, role19>
/* 24 */ <TRUE, t0, TRUE, t0, role19>
/* 25 */ <TRUE, t0, NOT ~ role15, t0, role19>
/* 26 */ <TRUE, t0, role15, t0, role19>
/* 27 */ <TRUE, t0, role13, t0, role8>
/* 28 */ <TRUE, t0, role11 & role2 & NOT ~ role13, t0, role8>
/* 29 */ <TRUE, t0, role15 & role13, t0, role8>
/* 30 */ <TRUE, t0, NOT ~ role13 & role0, t0, role8>
/* 31 */ <TRUE, t0, role6, t0, role3>
/* 32 */ <TRUE, t0, TRUE, t0, role3>
/* 33 */ <TRUE, t0, NOT ~ role6 & role1, t0, role3>
/* 34 */ <TRUE, t0, role12 & role13 & role0, t0, role16>
/* 35 */ <TRUE, t0, NOT ~ role12 & role13, t0, role16>
/* 36 */ <TRUE, t0, role12 & role17, t0, role16>
/* 37 */ <TRUE, t0, NOT ~ role12 & role19 & role18, t0, role16>
/* 38 */ <TRUE, t0, role5 & role9, t0, role7>
/* 39 */ <TRUE, t0, NOT ~ role5 & role1, t0, role7>
/* 40 */ <TRUE, t0, role5 & role3, t0, role7>
/* 41 */ <TRUE, t0, NOT ~ role5 & role4 & role15, t0, role7>
/* 42 */ <TRUE, t0, TRUE, t0, role0>
/* 43 */ <TRUE, t0, role1, t0, role0>
/* 44 */ <TRUE, t0, role19 & role14 & NOT ~ role1, t0, role0>
/* 45 */ <TRUE, t0, role10 & role1 & role13, t0, role0>
/* 46 */ <TRUE, t0, role2, t0, role13>
/* 47 */ <TRUE, t0, role19 & role14 & NOT ~ role2, t0, role13>
/* 48 */ <TRUE, t0, role4 & NOT ~ role2, t0, role13>
/* 49 */ <TRUE, t0, role12, t0, role4>
/* 50 */ <TRUE, t0, NOT ~ role12 & role16, t0, role4>
/* 51 */ <TRUE, t0, role3 & role12 & role19, t0, role4>
/* 52 */ <TRUE, t0, NOT ~ role12 & role1 & role18, t0, role4>
/* 53 */ <TRUE, t0, role5 & role4, t0, role6>
/* 54 */ <TRUE, t0, NOT ~ role4, t0, role6>
/* 55 */ <TRUE, t0, role5 & role4 & role2, t0, role6>
/* 56 */ <TRUE, t0, role10 & NOT ~ role4 & role15, t0, role6>
/* 57 */ <TRUE, t0, role12 & role6, t0, role1>
/* 58 */ <TRUE, t0, NOT ~ role12, t0, role1>
/* 59 */ <TRUE, t0, role12 & role0, t0, role1>
/* 60 */ <TRUE, t0, NOT ~ role12 & role16, t0, role1>
/* 61 */ <TRUE, t0, role14 & role4, t0, role17>
/* 62 */ <TRUE, t0, NOT ~ role14, t0, role17>
/* 63 */ <TRUE, t0, role14, t0, role17>
/* 64 */ <TRUE, t0, role19 & NOT ~ role14, t0, role17>
/* 65 */ <TRUE, t0, TRUE, t0, role12>
/* 66 */ <TRUE, t0, role5 & role3, t0, role12>
/* 67 */ <TRUE, t0, NOT ~ role5 & role13, t0, role12>
/* 68 */ <TRUE, t0, role6 & role8 & role11, t0, role5>
/* 69 */ <TRUE, t0, role17 & NOT ~ role6 & role2, t0, role5>
/* 70 */ <TRUE, t0, role6, t0, role5>
/* 71 */ <TRUE, t0, role7 & NOT ~ role6, t0, role5>
/* 72 */ <TRUE, t0, role19 & role15 & role2, t0, role11>
/* 73 */ <TRUE, t0, role5 & role19 & NOT ~ role2, t0, role11>
/* 74 */ <TRUE, t0, role2, t0, role11>
/* 75 */ <TRUE, t0, NOT ~ role2, t0, role11>
}
CanRevoke { }
CanEnable { }
CanDisable { }
\ No newline at end of file
/* Generated On : 2015/02/07 20:15:23.659
* Generated With : Mohawk Reverse Converter: Mohawk
* Number of Roles : 40
* Number of Timeslots : 1
* Number of Rules : 154
*
* Roles : |Size=40| [role0, role1, role2, role3, role4, role5, role6, role7, role8, role9, role10, role11, role12, role13, role14, role15, role16, role17, role18, role19, role20, role21, role22, role23, role24, role25, role26, role27, role28, role29, role30, role31, role32, role33, role34, role35, role36, role37, role38, role39]
* Timeslots : |Size=1| [t0]
*
*
* TESTCASE COMMENTS:
*
*/
Query: t0, [role26]
Expected: UNKNOWN
/*
* Number of Rules : 154
* Largest Precondition : 3
* Largest Role Schedule : 1
* Startable Rules : 26
* Truly Startable Rules : 26
*/
CanAssign {
/* 1 */ <TRUE, t0, role22 & role28, t0, role14>
/* 2 */ <TRUE, t0, NOT ~ role28, t0, role14>
/* 3 */ <TRUE, t0, role24 & role28 & role39, t0, role14>
/* 4 */ <TRUE, t0, role38 & role29, t0, role21>
/* 5 */ <TRUE, t0, NOT ~ role38, t0, role21>
/* 6 */ <TRUE, t0, role38 & role35, t0, role21>
/* 7 */ <TRUE, t0, NOT ~ role38 & role34, t0, role21>
/* 8 */ <TRUE, t0, role34, t0, role36>
/* 9 */ <TRUE, t0, NOT ~ role34 & role14 & role18, t0, role36>
/* 10 */ <TRUE, t0, TRUE, t0, role36>
/* 11 */ <TRUE, t0, role4 & role16, t0, role29>
/* 12 */ <TRUE, t0, NOT ~ role4 & role9, t0, role29>
/* 13 */ <TRUE, t0, TRUE, t0, role29>
/* 14 */ <TRUE, t0, role4 & role38, t0, role29>
/* 15 */ <TRUE, t0, role30, t0, role15>
/* 16 */ <TRUE, t0, role24 & role11 & NOT ~ role30, t0, role15>
/* 17 */ <TRUE, t0, role24 & role30, t0, role15>
/* 18 */ <TRUE, t0, TRUE, t0, role15>
/* 19 */ <TRUE, t0, role20 & role17, t0, role37>
/* 20 */ <TRUE, t0, role38 & NOT ~ role17 & role32, t0, role37>
/* 21 */ <TRUE, t0, role20 & role17 & role33, t0, role37>
/* 22 */ <TRUE, t0, NOT ~ role17 & role34 & role28, t0, role37>
/* 23 */ <TRUE, t0, role22 & role19, t0, role26>
/* 24 */ <TRUE, t0, NOT ~ role22 & role21 & role29, t0, role26>
/* 25 */ <TRUE, t0, role22 & role12, t0, role26>
/* 26 */ <TRUE, t0, NOT ~ role22 & role8, t0, role26>
/* 27 */ <TRUE, t0, role22 & role8, t0, role23>
/* 28 */ <TRUE, t0, TRUE, t0, role23>
/* 29 */ <TRUE, t0, NOT ~ role22 & role11 & role15, t0, role23>
/* 30 */ <TRUE, t0, role22, t0, role23>
/* 31 */ <TRUE, t0, role26 & role17, t0, role31>
/* 32 */ <TRUE, t0, NOT ~ role26 & role1, t0, role31>
/* 33 */ <TRUE, t0, TRUE, t0, role31>
/* 34 */ <TRUE, t0, role24 & role26, t0, role31>
/* 35 */ <TRUE, t0, role8, t0, role24>
/* 36 */ <TRUE, t0, role3 & NOT ~ role8 & role31, t0, role24>
/* 37 */ <TRUE, t0, role8 & role0, t0, role24>
/* 38 */ <TRUE, t0, role20 & NOT ~ role8, t0, role24>
/* 39 */ <TRUE, t0, role23, t0, role4>
/* 40 */ <TRUE, t0, role24 & role32 & NOT ~ role23, t0, role4>
/* 41 */ <TRUE, t0, NOT ~ role23, t0, role4>
/* 42 */ <TRUE, t0, role21, t0, role1>
/* 43 */ <TRUE, t0, role37 & NOT ~ role21 & role7, t0, role1>
/* 44 */ <TRUE, t0, role19 & role21, t0, role1>
/* 45 */ <TRUE, t0, role14 & NOT ~ role21, t0, role1>
/* 46 */ <TRUE, t0, role20 & role26, t0, role17>
/* 47 */ <TRUE, t0, NOT ~ role20 & role23 & role9, t0, role17>
/* 48 */ <TRUE, t0, role38 & role20 & role8, t0, role17>
/* 49 */ <TRUE, t0, role22 & NOT ~ role20 & role8, t0, role17>
/* 50 */ <TRUE, t0, role39 & role30, t0, role22>
/* 51 */ <TRUE, t0, NOT ~ role39, t0, role22>
/* 52 */ <TRUE, t0, role39 & role27, t0, role22>
/* 53 */ <TRUE, t0, NOT ~ role39 & role14, t0, role22>
/* 54 */ <TRUE, t0, role18 & role2, t0, role12>
/* 55 */ <TRUE, t0, role4 & role26 & NOT ~ role2, t0, role12>
/* 56 */ <TRUE, t0, role2, t0, role12>
/* 57 */ <TRUE, t0, TRUE, t0, role12>
/* 58 */ <TRUE, t0, TRUE, t0, role34>
/* 59 */ <TRUE, t0, role10 & role36 & role19, t0, role34>
/* 60 */ <TRUE, t0, NOT ~ role19, t0, role34>
/* 61 */ <TRUE, t0, role19 & role23 & role25, t0, role34>
/* 62 */ <TRUE, t0, role37, t0, role39>
/* 63 */ <TRUE, t0, NOT ~ role37 & role7, t0, role39>
/* 64 */ <TRUE, t0, role20 & role37, t0, role39>
/* 65 */ <TRUE, t0, role38 & NOT ~ role37, t0, role39>
/* 66 */ <TRUE, t0, role12, t0, role9>
/* 67 */ <TRUE, t0, TRUE, t0, role9>
/* 68 */ <TRUE, t0, NOT ~ role12 & role18, t0, role9>
/* 69 */ <TRUE, t0, role12 & role8, t0, role9>
/* 70 */ <TRUE, t0, TRUE, t0, role2>
/* 71 */ <TRUE, t0, role17 & role25 & role31, t0, role2>
/* 72 */ <TRUE, t0, NOT ~ role31 & role9, t0, role2>
/* 73 */ <TRUE, t0, role4 & role36, t0, role18>
/* 74 */ <TRUE, t0, NOT ~ role4 & role19, t0, role18>
/* 75 */ <TRUE, t0, role4 & role2, t0, role18>
/* 76 */ <TRUE, t0, NOT ~ role4 & role12 & role27, t0, role18>
/* 77 */ <TRUE, t0, role19 & role30 & role33, t0, role25>
/* 78 */ <TRUE, t0, role26 & role32 & NOT ~ role30, t0, role25>
/* 79 */ <TRUE, t0, role22 & role30, t0, role25>
/* 80 */ <TRUE, t0, role22 & NOT ~ role30, t0, role25>
/* 81 */ <TRUE, t0, role27 & role30, t0, role33>
/* 82 */ <TRUE, t0, NOT ~ role27, t0, role33>
/* 83 */ <TRUE, t0, role27, t0, role33>
/* 84 */ <TRUE, t0, role38 & role26 & NOT ~ role27, t0, role33>
/* 85 */ <TRUE, t0, role11 & role5, t0, role10>
/* 86 */ <TRUE, t0, role19 & NOT ~ role5, t0, role10>
/* 87 */ <TRUE, t0, role3 & role5, t0, role10>
/* 88 */ <TRUE, t0, role34 & role21 & NOT ~ role5, t0, role10>
/* 89 */ <TRUE, t0, role17 & role7, t0, role19>
/* 90 */ <TRUE, t0, TRUE, t0, role19>
/* 91 */ <TRUE, t0, role4 & NOT ~ role17 & role15, t0, role19>
/* 92 */ <TRUE, t0, role17, t0, role19>
/* 93 */ <TRUE, t0, role3 & role23 & role35, t0, role8>
/* 94 */ <TRUE, t0, NOT ~ role35, t0, role8>
/* 95 */ <TRUE, t0, role6 & role35, t0, role8>
/* 96 */ <TRUE, t0, NOT ~ role35 & role29, t0, role8>
/* 97 */ <TRUE, t0, role20 & role26, t0, role3>
/* 98 */ <TRUE, t0, role36 & NOT ~ role26 & role33, t0, role3>
/* 99 */ <TRUE, t0, role26, t0, role3>
/* 100 */ <TRUE, t0, NOT ~ role26 & role35, t0, role3>
/* 101 */ <TRUE, t0, TRUE, t0, role32>
/* 102 */ <TRUE, t0, role30 & role18 & role33, t0, role32>
/* 103 */ <TRUE, t0, role28 & role18 & NOT ~ role33, t0, role32>
/* 104 */ <TRUE, t0, role10, t0, role16>
/* 105 */ <TRUE, t0, NOT ~ role10 & role37 & role27, t0, role16>
/* 106 */ <TRUE, t0, role10 & role25 & role35, t0, role16>
/* 107 */ <TRUE, t0, TRUE, t0, role16>
/* 108 */ <TRUE, t0, role11 & role5, t0, role20>
/* 109 */ <TRUE, t0, NOT ~ role5, t0, role20>
/* 110 */ <TRUE, t0, role22 & role5, t0, role20>
/* 111 */ <TRUE, t0, role10 & role14 & NOT ~ role5, t0, role20>
/* 112 */ <TRUE, t0, role8 & role37 & role27, t0, role7>
/* 113 */ <TRUE, t0, role17 & NOT ~ role8 & role27, t0, role7>
/* 114 */ <TRUE, t0, role8, t0, role7>
/* 115 */ <TRUE, t0, role4 & role22 & NOT ~ role8, t0, role7>
/* 116 */ <TRUE, t0, role7, t0, role0>
/* 117 */ <TRUE, t0, NOT ~ role7, t0, role0>
/* 118 */ <TRUE, t0, role4 & role7 & role13, t0, role0>
/* 119 */ <TRUE, t0, role28 & NOT ~ role7, t0, role0>
/* 120 */ <TRUE, t0, role17 & role34 & role21, t0, role13>
/* 121 */ <TRUE, t0, role23 & role35 & NOT ~ role21, t0, role13>
/* 122 */ <TRUE, t0, role19 & role21, t0, role13>
/* 123 */ <TRUE, t0, role16 & role39 & NOT ~ role21, t0, role13>
/* 124 */ <TRUE, t0, role15 & role33, t0, role35>
/* 125 */ <TRUE, t0, role36 & role18 & NOT ~ role33, t0, role35>
/* 126 */ <TRUE, t0, role33, t0, role35>
/* 127 */ <TRUE, t0, role19 & NOT ~ role33 & role0, t0, role35>
/* 128 */ <TRUE, t0, role1 & role21 & role29, t0, role27>
/* 129 */ <TRUE, t0, role10 & NOT ~ role1 & role7, t0, role27>
/* 130 */ <TRUE, t0, role20 & role1 & role0, t0, role27>
/* 131 */ <TRUE, t0, role36 & NOT ~ role1 & role37, t0, role27>
/* 132 */ <TRUE, t0, role35 & role15 & role29, t0, role38>
/* 133 */ <TRUE, t0, NOT ~ role35, t0, role38>
/* 134 */ <TRUE, t0, role6 & role35, t0, role38>
/* 135 */ <TRUE, t0, role26 & role16 & NOT ~ role35, t0, role38>
/* 136 */ <TRUE, t0, role9, t0, role6>
/* 137 */ <TRUE, t0, NOT ~ role9, t0, role6>
/* 138 */ <TRUE, t0, role24 & role16 & role9, t0, role6>
/* 139 */ <TRUE, t0, role39 & NOT ~ role9 & role29, t0, role6>
/* 140 */ <TRUE, t0, role10 & role16, t0, role30>
/* 141 */ <TRUE, t0, NOT ~ role10 & role33, t0, role30>
/* 142 */ <TRUE, t0, role10 & role37 & role7, t0, role30>
/* 143 */ <TRUE, t0, NOT ~ role10 & role15, t0, role30>