/*  -- Constraints --
*   This file contains the constraints to solve the model wme.leaf.
*   It uses all of the IntVars listed in wme-store.txt.
*   Reminder: Each constraint is repeated for each time step.
*/
/*
*   Step 1: Add constraints from Intentions and their Dynamic Functions.
*   Reminder:
*/
// D	0001	SD
// N0001 has an SD function: before E0001 the value is 3:FS, and 0:FD after.
XeqC1 : XeqC(N0001_0::{0..6}, 3 )
IfThenElse1 : IfThenElse(XgteqC1 : XgteqC(E0001::{0..10}, 0 ), XeqC2 : XeqC(N0001_0 = 3, 3 ), XeqC3 : XeqC(N0001_0 = 3, 0 ) )
IfThenElse2 : IfThenElse(XgteqC2 : XgteqC(E0001::{0..10}, 1 ), XeqC4 : XeqC(N0001_1::{0..6}, 3 ), XeqC5 : XeqC(N0001_1::{0..6}, 0 ) )
IfThenElse3 : IfThenElse(XgteqC3 : XgteqC(E0001::{0..10}, 2 ), XeqC6 : XeqC(N0001_2::{0..6}, 3 ), XeqC7 : XeqC(N0001_2::{0..6}, 0 ) )
IfThenElse4 : IfThenElse(XgteqC4 : XgteqC(E0001::{0..10}, 3 ), XeqC8 : XeqC(N0001_3::{0..6}, 3 ), XeqC9 : XeqC(N0001_3::{0..6}, 0 ) )
IfThenElse5 : IfThenElse(XgteqC5 : XgteqC(E0001::{0..10}, 4 ), XeqC10 : XeqC(N0001_4::{0..6}, 3 ), XeqC11 : XeqC(N0001_4::{0..6}, 0 ) )
IfThenElse6 : IfThenElse(XgteqC6 : XgteqC(E0001::{0..10}, 5 ), XeqC12 : XeqC(N0001_5::{0..6}, 3 ), XeqC13 : XeqC(N0001_5::{0..6}, 0 ) )
IfThenElse7 : IfThenElse(XgteqC7 : XgteqC(E0001::{0..10}, 6 ), XeqC14 : XeqC(N0001_6::{0..6}, 3 ), XeqC15 : XeqC(N0001_6::{0..6}, 0 ) )
IfThenElse8 : IfThenElse(XgteqC8 : XgteqC(E0001::{0..10}, 7 ), XeqC16 : XeqC(N0001_7::{0..6}, 3 ), XeqC17 : XeqC(N0001_7::{0..6}, 0 ) )
IfThenElse9 : IfThenElse(XgteqC9 : XgteqC(E0001::{0..10}, 8 ), XeqC18 : XeqC(N0001_8::{0..6}, 3 ), XeqC19 : XeqC(N0001_8::{0..6}, 0 ) )
IfThenElse10 : IfThenElse(XgteqC10 : XgteqC(E0001::{0..10}, 9 ), XeqC20 : XeqC(N0001_9::{0..6}, 3 ), XeqC21 : XeqC(N0001_9::{0..6}, 0 ) )
IfThenElse11 : IfThenElse(XgteqC11 : XgteqC(E0001::{0..10}, 10 ), XeqC22 : XeqC(N0001_10::{0..6}, 3 ), XeqC23 : XeqC(N0001_10::{0..6}, 0 ) )

// D	0003	RC	3
// D	0004	RC	3
// N0003 and N0004 have RC functions. After E0003 and E0004 (respectively) the value is constant with 3:FS, and
// no constraints are put on the values before then.
IfThen1 : IfThen(
XgteqC12 : XgteqC(E0003::{0..10}, 0 ),
XeqC24 : XeqC(N0003_0::{0..6}, 3 ) )

IfThen2 : IfThen(
XgteqC13 : XgteqC(E0003::{0..10}, 1 ),
XeqC25 : XeqC(N0003_1::{0..6}, 3 ) )

IfThen3 : IfThen(
XgteqC14 : XgteqC(E0003::{0..10}, 2 ),
XeqC26 : XeqC(N0003_2::{0..6}, 3 ) )

IfThen4 : IfThen(
XgteqC15 : XgteqC(E0003::{0..10}, 3 ),
XeqC27 : XeqC(N0003_3::{0..6}, 3 ) )

IfThen5 : IfThen(
XgteqC16 : XgteqC(E0003::{0..10}, 4 ),
XeqC28 : XeqC(N0003_4::{0..6}, 3 ) )

IfThen6 : IfThen(
XgteqC17 : XgteqC(E0003::{0..10}, 5 ),
XeqC29 : XeqC(N0003_5::{0..6}, 3 ) )

IfThen7 : IfThen(
XgteqC18 : XgteqC(E0003::{0..10}, 6 ),
XeqC30 : XeqC(N0003_6::{0..6}, 3 ) )

IfThen8 : IfThen(
XgteqC19 : XgteqC(E0003::{0..10}, 7 ),
XeqC31 : XeqC(N0003_7::{0..6}, 3 ) )

IfThen9 : IfThen(
XgteqC20 : XgteqC(E0003::{0..10}, 8 ),
XeqC32 : XeqC(N0003_8::{0..6}, 3 ) )

IfThen10 : IfThen(
XgteqC21 : XgteqC(E0003::{0..10}, 9 ),
XeqC33 : XeqC(N0003_9::{0..6}, 3 ) )

IfThen11 : IfThen(
XgteqC22 : XgteqC(E0003::{0..10}, 10 ),
XeqC34 : XeqC(N0003_10::{0..6}, 3 ) )

IfThen12 : IfThen(
XgteqC23 : XgteqC(E0004::{0..10}, 0 ),
XeqC35 : XeqC(N0004_0::{0..6}, 3 ) )

IfThen13 : IfThen(
XgteqC24 : XgteqC(E0004::{0..10}, 1 ),
XeqC36 : XeqC(N0004_1::{0..6}, 3 ) )

IfThen14 : IfThen(
XgteqC25 : XgteqC(E0004::{0..10}, 2 ),
XeqC37 : XeqC(N0004_2::{0..6}, 3 ) )

IfThen15 : IfThen(
XgteqC26 : XgteqC(E0004::{0..10}, 3 ),
XeqC38 : XeqC(N0004_3::{0..6}, 3 ) )

IfThen16 : IfThen(
XgteqC27 : XgteqC(E0004::{0..10}, 4 ),
XeqC39 : XeqC(N0004_4::{0..6}, 3 ) )

IfThen17 : IfThen(
XgteqC28 : XgteqC(E0004::{0..10}, 5 ),
XeqC40 : XeqC(N0004_5::{0..6}, 3 ) )

IfThen18 : IfThen(
XgteqC29 : XgteqC(E0004::{0..10}, 6 ),
XeqC41 : XeqC(N0004_6::{0..6}, 3 ) )

IfThen19 : IfThen(
XgteqC30 : XgteqC(E0004::{0..10}, 7 ),
XeqC42 : XeqC(N0004_7::{0..6}, 3 ) )

IfThen20 : IfThen(
XgteqC31 : XgteqC(E0004::{0..10}, 8 ),
XeqC43 : XeqC(N0004_8::{0..6}, 3 ) )

IfThen21 : IfThen(
XgteqC32 : XgteqC(E0004::{0..10}, 9 ),
XeqC44 : XeqC(N0004_9::{0..6}, 3 ) )

IfThen22 : IfThen(
XgteqC33 : XgteqC(E0004::{0..10}, 10 ),
XeqC45 : XeqC(N0004_10::{0..6}, 3 ) )


// D	0006	MN	0
// N0006 has a MN function. The next value must be less than or equal to the previous.
// If the Epoch Boundary (E0006) has occurred than the value is 0.
XgteqY1 : XgteqY(N0006_0::{0..6}, N0006_1::{0..6} )
XgteqY2 : XgteqY(N0006_1::{0..6}, N0006_2::{0..6} )
XgteqY3 : XgteqY(N0006_2::{0..6}, N0006_3::{0..6} )
XgteqY4 : XgteqY(N0006_3::{0..6}, N0006_4::{0..6} )
XgteqY5 : XgteqY(N0006_4::{0..6}, N0006_5::{0..6} )
XgteqY6 : XgteqY(N0006_5::{0..6}, N0006_6::{0..6} )
XgteqY7 : XgteqY(N0006_6::{0..6}, N0006_7::{0..6} )
XgteqY8 : XgteqY(N0006_7::{0..6}, N0006_8::{0..6} )
XgteqY9 : XgteqY(N0006_8::{0..6}, N0006_9::{0..6} )
XgteqY10 : XgteqY(N0006_9::{0..6}, N0006_10::{0..6} )
IfThen23 : IfThen(
XlteqC1 : XlteqC(E0006::{0..10}, 0 ),
XeqC46 : XeqC(N0006_0::{0..6}, 0 ) )

IfThen24 : IfThen(
XlteqC2 : XlteqC(E0006::{0..10}, 1 ),
XeqC47 : XeqC(N0006_1::{0..6}, 0 ) )

IfThen25 : IfThen(
XlteqC3 : XlteqC(E0006::{0..10}, 2 ),
XeqC48 : XeqC(N0006_2::{0..6}, 0 ) )

IfThen26 : IfThen(
XlteqC4 : XlteqC(E0006::{0..10}, 3 ),
XeqC49 : XeqC(N0006_3::{0..6}, 0 ) )

IfThen27 : IfThen(
XlteqC5 : XlteqC(E0006::{0..10}, 4 ),
XeqC50 : XeqC(N0006_4::{0..6}, 0 ) )

IfThen28 : IfThen(
XlteqC6 : XlteqC(E0006::{0..10}, 5 ),
XeqC51 : XeqC(N0006_5::{0..6}, 0 ) )

IfThen29 : IfThen(
XlteqC7 : XlteqC(E0006::{0..10}, 6 ),
XeqC52 : XeqC(N0006_6::{0..6}, 0 ) )

IfThen30 : IfThen(
XlteqC8 : XlteqC(E0006::{0..10}, 7 ),
XeqC53 : XeqC(N0006_7::{0..6}, 0 ) )

IfThen31 : IfThen(
XlteqC9 : XlteqC(E0006::{0..10}, 8 ),
XeqC54 : XeqC(N0006_8::{0..6}, 0 ) )

IfThen32 : IfThen(
XlteqC10 : XlteqC(E0006::{0..10}, 9 ),
XeqC55 : XeqC(N0006_9::{0..6}, 0 ) )

IfThen33 : IfThen(
XlteqC11 : XlteqC(E0006::{0..10}, 10 ),
XeqC56 : XeqC(N0006_10::{0..6}, 0 ) )

XeqC57 : XeqC(N0006_10 = 0, 0 )

// D	0007	C   3
// N0007 is made constant with the value 3.
XeqC58 : XeqC(N0007_0::{0..6}, 3 )
XeqC59 : XeqC(N0007_1::{0..6}, 3 )
XeqC60 : XeqC(N0007_2::{0..6}, 3 )
XeqC61 : XeqC(N0007_3::{0..6}, 3 )
XeqC62 : XeqC(N0007_4::{0..6}, 3 )
XeqC63 : XeqC(N0007_5::{0..6}, 3 )
XeqC64 : XeqC(N0007_6::{0..6}, 3 )
XeqC65 : XeqC(N0007_7::{0..6}, 3 )
XeqC66 : XeqC(N0007_8::{0..6}, 3 )
XeqC67 : XeqC(N0007_9::{0..6}, 3 )
XeqC68 : XeqC(N0007_10::{0..6}, 3 )

// D	0011	RC	3
// If the time is after E0011 then the value is constant at 3:FS.
IfThen34 : IfThen(
XgteqC34 : XgteqC(E0011::{0..10}, 0 ),
XeqC69 : XeqC(N0011_0::{0..6}, 3 ) )

IfThen35 : IfThen(
XgteqC35 : XgteqC(E0011::{0..10}, 1 ),
XeqC70 : XeqC(N0011_1::{0..6}, 3 ) )

IfThen36 : IfThen(
XgteqC36 : XgteqC(E0011::{0..10}, 2 ),
XeqC71 : XeqC(N0011_2::{0..6}, 3 ) )

IfThen37 : IfThen(
XgteqC37 : XgteqC(E0011::{0..10}, 3 ),
XeqC72 : XeqC(N0011_3::{0..6}, 3 ) )

IfThen38 : IfThen(
XgteqC38 : XgteqC(E0011::{0..10}, 4 ),
XeqC73 : XeqC(N0011_4::{0..6}, 3 ) )

IfThen39 : IfThen(
XgteqC39 : XgteqC(E0011::{0..10}, 5 ),
XeqC74 : XeqC(N0011_5::{0..6}, 3 ) )

IfThen40 : IfThen(
XgteqC40 : XgteqC(E0011::{0..10}, 6 ),
XeqC75 : XeqC(N0011_6::{0..6}, 3 ) )

IfThen41 : IfThen(
XgteqC41 : XgteqC(E0011::{0..10}, 7 ),
XeqC76 : XeqC(N0011_7::{0..6}, 3 ) )

IfThen42 : IfThen(
XgteqC42 : XgteqC(E0011::{0..10}, 8 ),
XeqC77 : XeqC(N0011_8::{0..6}, 3 ) )

IfThen43 : IfThen(
XgteqC43 : XgteqC(E0011::{0..10}, 9 ),
XeqC78 : XeqC(N0011_9::{0..6}, 3 ) )

IfThen44 : IfThen(
XgteqC44 : XgteqC(E0011::{0..10}, 10 ),
XeqC79 : XeqC(N0011_10::{0..6}, 3 ) )


// D	0012	MP	3
// N0012 has a MP function. The next value must be greater than or equal to the previous.
// If the Epoch Boundary (E0012) has occurred than the value is 3:FS.
XlteqY1 : XlteqY(N0012_0::{0..6}, N0012_1::{0..6} )
XlteqY2 : XlteqY(N0012_1::{0..6}, N0012_2::{0..6} )
XlteqY3 : XlteqY(N0012_2::{0..6}, N0012_3::{0..6} )
XlteqY4 : XlteqY(N0012_3::{0..6}, N0012_4::{0..6} )
XlteqY5 : XlteqY(N0012_4::{0..6}, N0012_5::{0..6} )
XlteqY6 : XlteqY(N0012_5::{0..6}, N0012_6::{0..6} )
XlteqY7 : XlteqY(N0012_6::{0..6}, N0012_7::{0..6} )
XlteqY8 : XlteqY(N0012_7::{0..6}, N0012_8::{0..6} )
XlteqY9 : XlteqY(N0012_8::{0..6}, N0012_9::{0..6} )
XlteqY10 : XlteqY(N0012_9::{0..6}, N0012_10::{0..6} )
IfThen45 : IfThen(
XlteqC12 : XlteqC(E0012::{0..10}, 0 ),
XeqC80 : XeqC(N0012_0::{0..6}, 3 ) )

IfThen46 : IfThen(
XlteqC13 : XlteqC(E0012::{0..10}, 1 ),
XeqC81 : XeqC(N0012_1::{0..6}, 3 ) )

IfThen47 : IfThen(
XlteqC14 : XlteqC(E0012::{0..10}, 2 ),
XeqC82 : XeqC(N0012_2::{0..6}, 3 ) )

IfThen48 : IfThen(
XlteqC15 : XlteqC(E0012::{0..10}, 3 ),
XeqC83 : XeqC(N0012_3::{0..6}, 3 ) )

IfThen49 : IfThen(
XlteqC16 : XlteqC(E0012::{0..10}, 4 ),
XeqC84 : XeqC(N0012_4::{0..6}, 3 ) )

IfThen50 : IfThen(
XlteqC17 : XlteqC(E0012::{0..10}, 5 ),
XeqC85 : XeqC(N0012_5::{0..6}, 3 ) )

IfThen51 : IfThen(
XlteqC18 : XlteqC(E0012::{0..10}, 6 ),
XeqC86 : XeqC(N0012_6::{0..6}, 3 ) )

IfThen52 : IfThen(
XlteqC19 : XlteqC(E0012::{0..10}, 7 ),
XeqC87 : XeqC(N0012_7::{0..6}, 3 ) )

IfThen53 : IfThen(
XlteqC20 : XlteqC(E0012::{0..10}, 8 ),
XeqC88 : XeqC(N0012_8::{0..6}, 3 ) )

IfThen54 : IfThen(
XlteqC21 : XlteqC(E0012::{0..10}, 9 ),
XeqC89 : XeqC(N0012_9::{0..6}, 3 ) )

IfThen55 : IfThen(
XlteqC22 : XlteqC(E0012::{0..10}, 10 ),
XeqC90 : XeqC(N0012_10::{0..6}, 3 ) )

XeqC91 : XeqC(N0012_10 = 3, 3 )
IfThen56 : IfThen(
XgteqC45 : XgteqC(E0017::{0..10}, 0 ),
XeqC92 : XeqC(N0017_0::{0..6}, 3 ) )


// D	0017	CR	3
// If the time is prior to E0017 then the value is constant at 3:FS, and
// no constraints are put on the values after E0017.
IfThen57 : IfThen(
XgteqC46 : XgteqC(E0017::{0..10}, 1 ),
XeqC93 : XeqC(N0017_1::{0..6}, 3 ) )

IfThen58 : IfThen(
XgteqC47 : XgteqC(E0017::{0..10}, 2 ),
XeqC94 : XeqC(N0017_2::{0..6}, 3 ) )

IfThen59 : IfThen(
XgteqC48 : XgteqC(E0017::{0..10}, 3 ),
XeqC95 : XeqC(N0017_3::{0..6}, 3 ) )

IfThen60 : IfThen(
XgteqC49 : XgteqC(E0017::{0..10}, 4 ),
XeqC96 : XeqC(N0017_4::{0..6}, 3 ) )

IfThen61 : IfThen(
XgteqC50 : XgteqC(E0017::{0..10}, 5 ),
XeqC97 : XeqC(N0017_5::{0..6}, 3 ) )

IfThen62 : IfThen(
XgteqC51 : XgteqC(E0017::{0..10}, 6 ),
XeqC98 : XeqC(N0017_6::{0..6}, 3 ) )

IfThen63 : IfThen(
XgteqC52 : XgteqC(E0017::{0..10}, 7 ),
XeqC99 : XeqC(N0017_7::{0..6}, 3 ) )

IfThen64 : IfThen(
XgteqC53 : XgteqC(E0017::{0..10}, 8 ),
XeqC100 : XeqC(N0017_8::{0..6}, 3 ) )

IfThen65 : IfThen(
XgteqC54 : XgteqC(E0017::{0..10}, 9 ),
XeqC101 : XeqC(N0017_9::{0..6}, 3 ) )

IfThen66 : IfThen(
XgteqC55 : XgteqC(E0017::{0..10}, 10 ),
XeqC102 : XeqC(N0017_10::{0..6}, 3 ) )


// D	0018	RC	3
// N0018 has an RC functions. After E0018 the value is constant with 3:FS, and
// no constraints are put on the values before then.
IfThen67 : IfThen(
XgteqC56 : XgteqC(E0018::{0..10}, 0 ),
XeqC103 : XeqC(N0018_0::{0..6}, 3 ) )

IfThen68 : IfThen(
XgteqC57 : XgteqC(E0018::{0..10}, 1 ),
XeqC104 : XeqC(N0018_1::{0..6}, 3 ) )

IfThen69 : IfThen(
XgteqC58 : XgteqC(E0018::{0..10}, 2 ),
XeqC105 : XeqC(N0018_2::{0..6}, 3 ) )

IfThen70 : IfThen(
XgteqC59 : XgteqC(E0018::{0..10}, 3 ),
XeqC106 : XeqC(N0018_3::{0..6}, 3 ) )

IfThen71 : IfThen(
XgteqC60 : XgteqC(E0018::{0..10}, 4 ),
XeqC107 : XeqC(N0018_4::{0..6}, 3 ) )

IfThen72 : IfThen(
XgteqC61 : XgteqC(E0018::{0..10}, 5 ),
XeqC108 : XeqC(N0018_5::{0..6}, 3 ) )

IfThen73 : IfThen(
XgteqC62 : XgteqC(E0018::{0..10}, 6 ),
XeqC109 : XeqC(N0018_6::{0..6}, 3 ) )

IfThen74 : IfThen(
XgteqC63 : XgteqC(E0018::{0..10}, 7 ),
XeqC110 : XeqC(N0018_7::{0..6}, 3 ) )

IfThen75 : IfThen(
XgteqC64 : XgteqC(E0018::{0..10}, 8 ),
XeqC111 : XeqC(N0018_8::{0..6}, 3 ) )

IfThen76 : IfThen(
XgteqC65 : XgteqC(E0018::{0..10}, 9 ),
XeqC112 : XeqC(N0018_9::{0..6}, 3 ) )

IfThen77 : IfThen(
XgteqC66 : XgteqC(E0018::{0..10}, 10 ),
XeqC113 : XeqC(N0018_10::{0..6}, 3 ) )


/*
*   Step 2: Add constraints for the links and structure of the goal graph.
*
*/

// N0000 - OR Decomposition into N0001 and N0002.
// L	OR	0001	0000
// L	OR	0002	0000
ExtensionalSupportVA1(N0001_0 = 3 N0002_0::{0..6} D0000_0_0::{0..6})0 0 0|0 1 1|0 2 2|0 3 3|0 4 4|0 5 5|0 6 0|1 0 1|1 1 1|1 2 2|1 3 3|1 4 4|1 5 5|1 6 1|2 0 2|2 1 2|2 2 2|2 3 3|2 4 2|2 5 2|2 6 2|3 0 3|3 1 3|3 2 3|3 3 3|3 4 3|3 5 3|3 6 3|4 0 4|4 1 4|4 2 2|4 3 3|4 4 4|4 5 5|4 6 4|5 0 5|5 1 5|5 2 2|5 3 3|5 4 5|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
XeqY1 : XeqY(N0000_0::{0..6}, D0000_0_0 = 3 )
ExtensionalSupportVA2(N0001_1::{0..6} N0002_1::{0..6} D0000_0_1::{0..6})0 0 0|0 1 1|0 2 2|0 3 3|0 4 4|0 5 5|0 6 0|1 0 1|1 1 1|1 2 2|1 3 3|1 4 4|1 5 5|1 6 1|2 0 2|2 1 2|2 2 2|2 3 3|2 4 2|2 5 2|2 6 2|3 0 3|3 1 3|3 2 3|3 3 3|3 4 3|3 5 3|3 6 3|4 0 4|4 1 4|4 2 2|4 3 3|4 4 4|4 5 5|4 6 4|5 0 5|5 1 5|5 2 2|5 3 3|5 4 5|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
XeqY2 : XeqY(N0000_1::{0..6}, D0000_0_1::{0..6} )
ExtensionalSupportVA3(N0001_2::{0..6} N0002_2::{0..6} D0000_0_2::{0..6})0 0 0|0 1 1|0 2 2|0 3 3|0 4 4|0 5 5|0 6 0|1 0 1|1 1 1|1 2 2|1 3 3|1 4 4|1 5 5|1 6 1|2 0 2|2 1 2|2 2 2|2 3 3|2 4 2|2 5 2|2 6 2|3 0 3|3 1 3|3 2 3|3 3 3|3 4 3|3 5 3|3 6 3|4 0 4|4 1 4|4 2 2|4 3 3|4 4 4|4 5 5|4 6 4|5 0 5|5 1 5|5 2 2|5 3 3|5 4 5|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
XeqY3 : XeqY(N0000_2::{0..6}, D0000_0_2::{0..6} )
ExtensionalSupportVA4(N0001_3::{0..6} N0002_3::{0..6} D0000_0_3::{0..6})0 0 0|0 1 1|0 2 2|0 3 3|0 4 4|0 5 5|0 6 0|1 0 1|1 1 1|1 2 2|1 3 3|1 4 4|1 5 5|1 6 1|2 0 2|2 1 2|2 2 2|2 3 3|2 4 2|2 5 2|2 6 2|3 0 3|3 1 3|3 2 3|3 3 3|3 4 3|3 5 3|3 6 3|4 0 4|4 1 4|4 2 2|4 3 3|4 4 4|4 5 5|4 6 4|5 0 5|5 1 5|5 2 2|5 3 3|5 4 5|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
XeqY4 : XeqY(N0000_3::{0..6}, D0000_0_3::{0..6} )
ExtensionalSupportVA5(N0001_4::{0..6} N0002_4::{0..6} D0000_0_4::{0..6})0 0 0|0 1 1|0 2 2|0 3 3|0 4 4|0 5 5|0 6 0|1 0 1|1 1 1|1 2 2|1 3 3|1 4 4|1 5 5|1 6 1|2 0 2|2 1 2|2 2 2|2 3 3|2 4 2|2 5 2|2 6 2|3 0 3|3 1 3|3 2 3|3 3 3|3 4 3|3 5 3|3 6 3|4 0 4|4 1 4|4 2 2|4 3 3|4 4 4|4 5 5|4 6 4|5 0 5|5 1 5|5 2 2|5 3 3|5 4 5|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
XeqY5 : XeqY(N0000_4::{0..6}, D0000_0_4::{0..6} )
ExtensionalSupportVA6(N0001_5::{0..6} N0002_5::{0..6} D0000_0_5::{0..6})0 0 0|0 1 1|0 2 2|0 3 3|0 4 4|0 5 5|0 6 0|1 0 1|1 1 1|1 2 2|1 3 3|1 4 4|1 5 5|1 6 1|2 0 2|2 1 2|2 2 2|2 3 3|2 4 2|2 5 2|2 6 2|3 0 3|3 1 3|3 2 3|3 3 3|3 4 3|3 5 3|3 6 3|4 0 4|4 1 4|4 2 2|4 3 3|4 4 4|4 5 5|4 6 4|5 0 5|5 1 5|5 2 2|5 3 3|5 4 5|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
XeqY6 : XeqY(N0000_5::{0..6}, D0000_0_5::{0..6} )
ExtensionalSupportVA7(N0001_6::{0..6} N0002_6::{0..6} D0000_0_6::{0..6})0 0 0|0 1 1|0 2 2|0 3 3|0 4 4|0 5 5|0 6 0|1 0 1|1 1 1|1 2 2|1 3 3|1 4 4|1 5 5|1 6 1|2 0 2|2 1 2|2 2 2|2 3 3|2 4 2|2 5 2|2 6 2|3 0 3|3 1 3|3 2 3|3 3 3|3 4 3|3 5 3|3 6 3|4 0 4|4 1 4|4 2 2|4 3 3|4 4 4|4 5 5|4 6 4|5 0 5|5 1 5|5 2 2|5 3 3|5 4 5|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
XeqY7 : XeqY(N0000_6::{0..6}, D0000_0_6::{0..6} )
ExtensionalSupportVA8(N0001_7::{0..6} N0002_7::{0..6} D0000_0_7::{0..6})0 0 0|0 1 1|0 2 2|0 3 3|0 4 4|0 5 5|0 6 0|1 0 1|1 1 1|1 2 2|1 3 3|1 4 4|1 5 5|1 6 1|2 0 2|2 1 2|2 2 2|2 3 3|2 4 2|2 5 2|2 6 2|3 0 3|3 1 3|3 2 3|3 3 3|3 4 3|3 5 3|3 6 3|4 0 4|4 1 4|4 2 2|4 3 3|4 4 4|4 5 5|4 6 4|5 0 5|5 1 5|5 2 2|5 3 3|5 4 5|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
XeqY8 : XeqY(N0000_7::{0..6}, D0000_0_7::{0..6} )
ExtensionalSupportVA9(N0001_8::{0..6} N0002_8::{0..6} D0000_0_8::{0..6})0 0 0|0 1 1|0 2 2|0 3 3|0 4 4|0 5 5|0 6 0|1 0 1|1 1 1|1 2 2|1 3 3|1 4 4|1 5 5|1 6 1|2 0 2|2 1 2|2 2 2|2 3 3|2 4 2|2 5 2|2 6 2|3 0 3|3 1 3|3 2 3|3 3 3|3 4 3|3 5 3|3 6 3|4 0 4|4 1 4|4 2 2|4 3 3|4 4 4|4 5 5|4 6 4|5 0 5|5 1 5|5 2 2|5 3 3|5 4 5|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
XeqY9 : XeqY(N0000_8::{0..6}, D0000_0_8::{0..6} )
ExtensionalSupportVA10(N0001_9::{0..6} N0002_9::{0..6} D0000_0_9::{0..6})0 0 0|0 1 1|0 2 2|0 3 3|0 4 4|0 5 5|0 6 0|1 0 1|1 1 1|1 2 2|1 3 3|1 4 4|1 5 5|1 6 1|2 0 2|2 1 2|2 2 2|2 3 3|2 4 2|2 5 2|2 6 2|3 0 3|3 1 3|3 2 3|3 3 3|3 4 3|3 5 3|3 6 3|4 0 4|4 1 4|4 2 2|4 3 3|4 4 4|4 5 5|4 6 4|5 0 5|5 1 5|5 2 2|5 3 3|5 4 5|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
XeqY10 : XeqY(N0000_9::{0..6}, D0000_0_9::{0..6} )
ExtensionalSupportVA11(N0001_10::{0..6} N0002_10::{0..6} D0000_0_10::{0..6})0 0 0|0 1 1|0 2 2|0 3 3|0 4 4|0 5 5|0 6 0|1 0 1|1 1 1|1 2 2|1 3 3|1 4 4|1 5 5|1 6 1|2 0 2|2 1 2|2 2 2|2 3 3|2 4 2|2 5 2|2 6 2|3 0 3|3 1 3|3 2 3|3 3 3|3 4 3|3 5 3|3 6 3|4 0 4|4 1 4|4 2 2|4 3 3|4 4 4|4 5 5|4 6 4|5 0 5|5 1 5|5 2 2|5 3 3|5 4 5|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
XeqY11 : XeqY(N0000_10::{0..6}, D0000_0_10::{0..6} )


// N0002 - OR Decomposition into N0003 and N0004.
// L	OR	0004	0002
// L	OR	0003	0002
ExtensionalSupportVA12(N0004_0 = 3 N0003_0 = 3 D0002_0_0::{0..6})0 0 0|0 1 1|0 2 2|0 3 3|0 4 4|0 5 5|0 6 0|1 0 1|1 1 1|1 2 2|1 3 3|1 4 4|1 5 5|1 6 1|2 0 2|2 1 2|2 2 2|2 3 3|2 4 2|2 5 2|2 6 2|3 0 3|3 1 3|3 2 3|3 3 3|3 4 3|3 5 3|3 6 3|4 0 4|4 1 4|4 2 2|4 3 3|4 4 4|4 5 5|4 6 4|5 0 5|5 1 5|5 2 2|5 3 3|5 4 5|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
XeqY12 : XeqY(N0002_0::{0..6}, D0002_0_0 = 3 )
ExtensionalSupportVA13(N0004_1::{0..6} N0003_1::{0..6} D0002_0_1::{0..6})0 0 0|0 1 1|0 2 2|0 3 3|0 4 4|0 5 5|0 6 0|1 0 1|1 1 1|1 2 2|1 3 3|1 4 4|1 5 5|1 6 1|2 0 2|2 1 2|2 2 2|2 3 3|2 4 2|2 5 2|2 6 2|3 0 3|3 1 3|3 2 3|3 3 3|3 4 3|3 5 3|3 6 3|4 0 4|4 1 4|4 2 2|4 3 3|4 4 4|4 5 5|4 6 4|5 0 5|5 1 5|5 2 2|5 3 3|5 4 5|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
XeqY13 : XeqY(N0002_1::{0..6}, D0002_0_1::{0..6} )
ExtensionalSupportVA14(N0004_2::{0..6} N0003_2::{0..6} D0002_0_2::{0..6})0 0 0|0 1 1|0 2 2|0 3 3|0 4 4|0 5 5|0 6 0|1 0 1|1 1 1|1 2 2|1 3 3|1 4 4|1 5 5|1 6 1|2 0 2|2 1 2|2 2 2|2 3 3|2 4 2|2 5 2|2 6 2|3 0 3|3 1 3|3 2 3|3 3 3|3 4 3|3 5 3|3 6 3|4 0 4|4 1 4|4 2 2|4 3 3|4 4 4|4 5 5|4 6 4|5 0 5|5 1 5|5 2 2|5 3 3|5 4 5|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
XeqY14 : XeqY(N0002_2::{0..6}, D0002_0_2::{0..6} )
ExtensionalSupportVA15(N0004_3::{0..6} N0003_3::{0..6} D0002_0_3::{0..6})0 0 0|0 1 1|0 2 2|0 3 3|0 4 4|0 5 5|0 6 0|1 0 1|1 1 1|1 2 2|1 3 3|1 4 4|1 5 5|1 6 1|2 0 2|2 1 2|2 2 2|2 3 3|2 4 2|2 5 2|2 6 2|3 0 3|3 1 3|3 2 3|3 3 3|3 4 3|3 5 3|3 6 3|4 0 4|4 1 4|4 2 2|4 3 3|4 4 4|4 5 5|4 6 4|5 0 5|5 1 5|5 2 2|5 3 3|5 4 5|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
XeqY15 : XeqY(N0002_3::{0..6}, D0002_0_3::{0..6} )
ExtensionalSupportVA16(N0004_4::{0..6} N0003_4::{0..6} D0002_0_4::{0..6})0 0 0|0 1 1|0 2 2|0 3 3|0 4 4|0 5 5|0 6 0|1 0 1|1 1 1|1 2 2|1 3 3|1 4 4|1 5 5|1 6 1|2 0 2|2 1 2|2 2 2|2 3 3|2 4 2|2 5 2|2 6 2|3 0 3|3 1 3|3 2 3|3 3 3|3 4 3|3 5 3|3 6 3|4 0 4|4 1 4|4 2 2|4 3 3|4 4 4|4 5 5|4 6 4|5 0 5|5 1 5|5 2 2|5 3 3|5 4 5|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
XeqY16 : XeqY(N0002_4::{0..6}, D0002_0_4::{0..6} )
ExtensionalSupportVA17(N0004_5::{0..6} N0003_5::{0..6} D0002_0_5::{0..6})0 0 0|0 1 1|0 2 2|0 3 3|0 4 4|0 5 5|0 6 0|1 0 1|1 1 1|1 2 2|1 3 3|1 4 4|1 5 5|1 6 1|2 0 2|2 1 2|2 2 2|2 3 3|2 4 2|2 5 2|2 6 2|3 0 3|3 1 3|3 2 3|3 3 3|3 4 3|3 5 3|3 6 3|4 0 4|4 1 4|4 2 2|4 3 3|4 4 4|4 5 5|4 6 4|5 0 5|5 1 5|5 2 2|5 3 3|5 4 5|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
XeqY17 : XeqY(N0002_5::{0..6}, D0002_0_5::{0..6} )
ExtensionalSupportVA18(N0004_6::{0..6} N0003_6::{0..6} D0002_0_6::{0..6})0 0 0|0 1 1|0 2 2|0 3 3|0 4 4|0 5 5|0 6 0|1 0 1|1 1 1|1 2 2|1 3 3|1 4 4|1 5 5|1 6 1|2 0 2|2 1 2|2 2 2|2 3 3|2 4 2|2 5 2|2 6 2|3 0 3|3 1 3|3 2 3|3 3 3|3 4 3|3 5 3|3 6 3|4 0 4|4 1 4|4 2 2|4 3 3|4 4 4|4 5 5|4 6 4|5 0 5|5 1 5|5 2 2|5 3 3|5 4 5|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
XeqY18 : XeqY(N0002_6::{0..6}, D0002_0_6::{0..6} )
ExtensionalSupportVA19(N0004_7::{0..6} N0003_7::{0..6} D0002_0_7::{0..6})0 0 0|0 1 1|0 2 2|0 3 3|0 4 4|0 5 5|0 6 0|1 0 1|1 1 1|1 2 2|1 3 3|1 4 4|1 5 5|1 6 1|2 0 2|2 1 2|2 2 2|2 3 3|2 4 2|2 5 2|2 6 2|3 0 3|3 1 3|3 2 3|3 3 3|3 4 3|3 5 3|3 6 3|4 0 4|4 1 4|4 2 2|4 3 3|4 4 4|4 5 5|4 6 4|5 0 5|5 1 5|5 2 2|5 3 3|5 4 5|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
XeqY19 : XeqY(N0002_7::{0..6}, D0002_0_7::{0..6} )
ExtensionalSupportVA20(N0004_8::{0..6} N0003_8::{0..6} D0002_0_8::{0..6})0 0 0|0 1 1|0 2 2|0 3 3|0 4 4|0 5 5|0 6 0|1 0 1|1 1 1|1 2 2|1 3 3|1 4 4|1 5 5|1 6 1|2 0 2|2 1 2|2 2 2|2 3 3|2 4 2|2 5 2|2 6 2|3 0 3|3 1 3|3 2 3|3 3 3|3 4 3|3 5 3|3 6 3|4 0 4|4 1 4|4 2 2|4 3 3|4 4 4|4 5 5|4 6 4|5 0 5|5 1 5|5 2 2|5 3 3|5 4 5|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
XeqY20 : XeqY(N0002_8::{0..6}, D0002_0_8::{0..6} )
ExtensionalSupportVA21(N0004_9::{0..6} N0003_9::{0..6} D0002_0_9::{0..6})0 0 0|0 1 1|0 2 2|0 3 3|0 4 4|0 5 5|0 6 0|1 0 1|1 1 1|1 2 2|1 3 3|1 4 4|1 5 5|1 6 1|2 0 2|2 1 2|2 2 2|2 3 3|2 4 2|2 5 2|2 6 2|3 0 3|3 1 3|3 2 3|3 3 3|3 4 3|3 5 3|3 6 3|4 0 4|4 1 4|4 2 2|4 3 3|4 4 4|4 5 5|4 6 4|5 0 5|5 1 5|5 2 2|5 3 3|5 4 5|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
XeqY21 : XeqY(N0002_9::{0..6}, D0002_0_9::{0..6} )
ExtensionalSupportVA22(N0004_10::{0..6} N0003_10::{0..6} D0002_0_10::{0..6})0 0 0|0 1 1|0 2 2|0 3 3|0 4 4|0 5 5|0 6 0|1 0 1|1 1 1|1 2 2|1 3 3|1 4 4|1 5 5|1 6 1|2 0 2|2 1 2|2 2 2|2 3 3|2 4 2|2 5 2|2 6 2|3 0 3|3 1 3|3 2 3|3 3 3|3 4 3|3 5 3|3 6 3|4 0 4|4 1 4|4 2 2|4 3 3|4 4 4|4 5 5|4 6 4|5 0 5|5 1 5|5 2 2|5 3 3|5 4 5|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
XeqY22 : XeqY(N0002_10::{0..6}, D0002_0_10::{0..6} )


// N0005 helps relationships with N0010
// L	HELPS	0010	0005
ExtensionalSupportVA23(N0010_0::{0..6} C0005_0010_0::{0..6})0 1|1 1|2 2|3 2|4 5|5 5|6 6)
XeqY23 : XeqY(N0005_0::{0..6}, C0005_0010_0::{1..2, 5..6} )
ExtensionalSupportVA24(N0010_1::{0..6} C0005_0010_1::{0..6})0 1|1 1|2 2|3 2|4 5|5 5|6 6)
XeqY24 : XeqY(N0005_1::{0..6}, C0005_0010_1::{1..2, 5..6} )
ExtensionalSupportVA25(N0010_2::{0..6} C0005_0010_2::{0..6})0 1|1 1|2 2|3 2|4 5|5 5|6 6)
XeqY25 : XeqY(N0005_2::{0..6}, C0005_0010_2::{1..2, 5..6} )
ExtensionalSupportVA26(N0010_3::{0..6} C0005_0010_3::{0..6})0 1|1 1|2 2|3 2|4 5|5 5|6 6)
XeqY26 : XeqY(N0005_3::{0..6}, C0005_0010_3::{1..2, 5..6} )
ExtensionalSupportVA27(N0010_4::{0..6} C0005_0010_4::{0..6})0 1|1 1|2 2|3 2|4 5|5 5|6 6)
XeqY27 : XeqY(N0005_4::{0..6}, C0005_0010_4::{1..2, 5..6} )
ExtensionalSupportVA28(N0010_5::{0..6} C0005_0010_5::{0..6})0 1|1 1|2 2|3 2|4 5|5 5|6 6)
XeqY28 : XeqY(N0005_5::{0..6}, C0005_0010_5::{1..2, 5..6} )
ExtensionalSupportVA29(N0010_6::{0..6} C0005_0010_6::{0..6})0 1|1 1|2 2|3 2|4 5|5 5|6 6)
XeqY29 : XeqY(N0005_6::{0..6}, C0005_0010_6::{1..2, 5..6} )
ExtensionalSupportVA30(N0010_7::{0..6} C0005_0010_7::{0..6})0 1|1 1|2 2|3 2|4 5|5 5|6 6)
XeqY30 : XeqY(N0005_7::{0..6}, C0005_0010_7::{1..2, 5..6} )
ExtensionalSupportVA31(N0010_8::{0..6} C0005_0010_8::{0..6})0 1|1 1|2 2|3 2|4 5|5 5|6 6)
XeqY31 : XeqY(N0005_8::{0..6}, C0005_0010_8::{1..2, 5..6} )
ExtensionalSupportVA32(N0010_9::{0..6} C0005_0010_9::{0..6})0 1|1 1|2 2|3 2|4 5|5 5|6 6)
XeqY32 : XeqY(N0005_9::{0..6}, C0005_0010_9::{1..2, 5..6} )
ExtensionalSupportVA33(N0010_10::{0..6} C0005_0010_10::{0..6})0 1|1 1|2 2|3 2|4 5|5 5|6 6)
XeqY33 : XeqY(N0005_10::{0..6}, C0005_0010_10::{1..2, 5..6} )

// Resolving helps/hurts for N0008
// L	HELPS	0004	0008
// L	HURTS	0003	0008
ExtensionalSupportVA34(N0004_0 = 3 C0008_0004_0::{0..6})0 1|1 1|2 2|3 2|4 5|5 5|6 6)
ExtensionalSupportVA35(N0003_0 = 3 C0008_0003_0::{0..6})0 2|1 2|2 1|3 1|4 5|5 5|6 6)
ExtensionalSupportVA36(N0010_0::{0..6} C0008_0010_0::{0..6})0 2|1 2|2 1|3 1|4 5|5 5|6 6)
ExtensionalSupportVA37(C0008_0004_0 = 2 C0008_0003_0 = 1 V0008_1_0::{0..6})0 0 0|0 1 0|0 2 4|0 3 4|0 4 4|0 5 5|0 6 0|1 0 0|1 1 1|1 2 4|1 3 4|1 4 4|1 5 5|1 6 1|2 0 4|2 1 4|2 2 2|2 3 3|2 4 4|2 5 5|2 6 2|3 0 4|3 1 4|3 2 3|3 3 3|3 4 4|3 5 5|3 6 3|4 0 4|4 1 4|4 2 4|4 3 4|4 4 4|4 5 5|4 6 4|5 0 5|5 1 5|5 2 5|5 3 5|5 4 5|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
ExtensionalSupportVA38(C0008_0010_0::{1..2, 5..6} V0008_1_0 = 4 C0008_0_0::{0..6})0 0 0|0 1 0|0 2 4|0 3 4|0 4 4|0 5 5|0 6 0|1 0 0|1 1 1|1 2 4|1 3 4|1 4 4|1 5 5|1 6 1|2 0 4|2 1 4|2 2 2|2 3 3|2 4 4|2 5 5|2 6 2|3 0 4|3 1 4|3 2 3|3 3 3|3 4 4|3 5 5|3 6 3|4 0 4|4 1 4|4 2 4|4 3 4|4 4 4|4 5 5|4 6 4|5 0 5|5 1 5|5 2 5|5 3 5|5 4 5|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
XeqY34 : XeqY(N0008_0::{0..6}, C0008_0_0::{4..5} )
ExtensionalSupportVA39(N0004_1::{0..6} C0008_0004_1::{0..6})0 1|1 1|2 2|3 2|4 5|5 5|6 6)
ExtensionalSupportVA40(N0003_1::{0..6} C0008_0003_1::{0..6})0 2|1 2|2 1|3 1|4 5|5 5|6 6)
ExtensionalSupportVA41(N0010_1::{0..6} C0008_0010_1::{0..6})0 2|1 2|2 1|3 1|4 5|5 5|6 6)
ExtensionalSupportVA42(C0008_0004_1::{1..2, 5..6} C0008_0003_1::{1..2, 5..6} V0008_1_1::{0..6})0 0 0|0 1 0|0 2 4|0 3 4|0 4 4|0 5 5|0 6 0|1 0 0|1 1 1|1 2 4|1 3 4|1 4 4|1 5 5|1 6 1|2 0 4|2 1 4|2 2 2|2 3 3|2 4 4|2 5 5|2 6 2|3 0 4|3 1 4|3 2 3|3 3 3|3 4 4|3 5 5|3 6 3|4 0 4|4 1 4|4 2 4|4 3 4|4 4 4|4 5 5|4 6 4|5 0 5|5 1 5|5 2 5|5 3 5|5 4 5|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
ExtensionalSupportVA43(C0008_0010_1::{1..2, 5..6} V0008_1_1::{1..2, 4..6} C0008_0_1::{0..6})0 0 0|0 1 0|0 2 4|0 3 4|0 4 4|0 5 5|0 6 0|1 0 0|1 1 1|1 2 4|1 3 4|1 4 4|1 5 5|1 6 1|2 0 4|2 1 4|2 2 2|2 3 3|2 4 4|2 5 5|2 6 2|3 0 4|3 1 4|3 2 3|3 3 3|3 4 4|3 5 5|3 6 3|4 0 4|4 1 4|4 2 4|4 3 4|4 4 4|4 5 5|4 6 4|5 0 5|5 1 5|5 2 5|5 3 5|5 4 5|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
XeqY35 : XeqY(N0008_1::{0..6}, C0008_0_1::{1..2, 4..6} )
ExtensionalSupportVA44(N0004_2::{0..6} C0008_0004_2::{0..6})0 1|1 1|2 2|3 2|4 5|5 5|6 6)
ExtensionalSupportVA45(N0003_2::{0..6} C0008_0003_2::{0..6})0 2|1 2|2 1|3 1|4 5|5 5|6 6)
ExtensionalSupportVA46(N0010_2::{0..6} C0008_0010_2::{0..6})0 2|1 2|2 1|3 1|4 5|5 5|6 6)
ExtensionalSupportVA47(C0008_0004_2::{1..2, 5..6} C0008_0003_2::{1..2, 5..6} V0008_1_2::{0..6})0 0 0|0 1 0|0 2 4|0 3 4|0 4 4|0 5 5|0 6 0|1 0 0|1 1 1|1 2 4|1 3 4|1 4 4|1 5 5|1 6 1|2 0 4|2 1 4|2 2 2|2 3 3|2 4 4|2 5 5|2 6 2|3 0 4|3 1 4|3 2 3|3 3 3|3 4 4|3 5 5|3 6 3|4 0 4|4 1 4|4 2 4|4 3 4|4 4 4|4 5 5|4 6 4|5 0 5|5 1 5|5 2 5|5 3 5|5 4 5|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
ExtensionalSupportVA48(C0008_0010_2::{1..2, 5..6} V0008_1_2::{1..2, 4..6} C0008_0_2::{0..6})0 0 0|0 1 0|0 2 4|0 3 4|0 4 4|0 5 5|0 6 0|1 0 0|1 1 1|1 2 4|1 3 4|1 4 4|1 5 5|1 6 1|2 0 4|2 1 4|2 2 2|2 3 3|2 4 4|2 5 5|2 6 2|3 0 4|3 1 4|3 2 3|3 3 3|3 4 4|3 5 5|3 6 3|4 0 4|4 1 4|4 2 4|4 3 4|4 4 4|4 5 5|4 6 4|5 0 5|5 1 5|5 2 5|5 3 5|5 4 5|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
XeqY36 : XeqY(N0008_2::{0..6}, C0008_0_2::{1..2, 4..6} )
ExtensionalSupportVA49(N0004_3::{0..6} C0008_0004_3::{0..6})0 1|1 1|2 2|3 2|4 5|5 5|6 6)
ExtensionalSupportVA50(N0003_3::{0..6} C0008_0003_3::{0..6})0 2|1 2|2 1|3 1|4 5|5 5|6 6)
ExtensionalSupportVA51(N0010_3::{0..6} C0008_0010_3::{0..6})0 2|1 2|2 1|3 1|4 5|5 5|6 6)
ExtensionalSupportVA52(C0008_0004_3::{1..2, 5..6} C0008_0003_3::{1..2, 5..6} V0008_1_3::{0..6})0 0 0|0 1 0|0 2 4|0 3 4|0 4 4|0 5 5|0 6 0|1 0 0|1 1 1|1 2 4|1 3 4|1 4 4|1 5 5|1 6 1|2 0 4|2 1 4|2 2 2|2 3 3|2 4 4|2 5 5|2 6 2|3 0 4|3 1 4|3 2 3|3 3 3|3 4 4|3 5 5|3 6 3|4 0 4|4 1 4|4 2 4|4 3 4|4 4 4|4 5 5|4 6 4|5 0 5|5 1 5|5 2 5|5 3 5|5 4 5|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
ExtensionalSupportVA53(C0008_0010_3::{1..2, 5..6} V0008_1_3::{1..2, 4..6} C0008_0_3::{0..6})0 0 0|0 1 0|0 2 4|0 3 4|0 4 4|0 5 5|0 6 0|1 0 0|1 1 1|1 2 4|1 3 4|1 4 4|1 5 5|1 6 1|2 0 4|2 1 4|2 2 2|2 3 3|2 4 4|2 5 5|2 6 2|3 0 4|3 1 4|3 2 3|3 3 3|3 4 4|3 5 5|3 6 3|4 0 4|4 1 4|4 2 4|4 3 4|4 4 4|4 5 5|4 6 4|5 0 5|5 1 5|5 2 5|5 3 5|5 4 5|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
XeqY37 : XeqY(N0008_3::{0..6}, C0008_0_3::{1..2, 4..6} )
ExtensionalSupportVA54(N0004_4::{0..6} C0008_0004_4::{0..6})0 1|1 1|2 2|3 2|4 5|5 5|6 6)
ExtensionalSupportVA55(N0003_4::{0..6} C0008_0003_4::{0..6})0 2|1 2|2 1|3 1|4 5|5 5|6 6)
ExtensionalSupportVA56(N0010_4::{0..6} C0008_0010_4::{0..6})0 2|1 2|2 1|3 1|4 5|5 5|6 6)
ExtensionalSupportVA57(C0008_0004_4::{1..2, 5..6} C0008_0003_4::{1..2, 5..6} V0008_1_4::{0..6})0 0 0|0 1 0|0 2 4|0 3 4|0 4 4|0 5 5|0 6 0|1 0 0|1 1 1|1 2 4|1 3 4|1 4 4|1 5 5|1 6 1|2 0 4|2 1 4|2 2 2|2 3 3|2 4 4|2 5 5|2 6 2|3 0 4|3 1 4|3 2 3|3 3 3|3 4 4|3 5 5|3 6 3|4 0 4|4 1 4|4 2 4|4 3 4|4 4 4|4 5 5|4 6 4|5 0 5|5 1 5|5 2 5|5 3 5|5 4 5|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
ExtensionalSupportVA58(C0008_0010_4::{1..2, 5..6} V0008_1_4::{1..2, 4..6} C0008_0_4::{0..6})0 0 0|0 1 0|0 2 4|0 3 4|0 4 4|0 5 5|0 6 0|1 0 0|1 1 1|1 2 4|1 3 4|1 4 4|1 5 5|1 6 1|2 0 4|2 1 4|2 2 2|2 3 3|2 4 4|2 5 5|2 6 2|3 0 4|3 1 4|3 2 3|3 3 3|3 4 4|3 5 5|3 6 3|4 0 4|4 1 4|4 2 4|4 3 4|4 4 4|4 5 5|4 6 4|5 0 5|5 1 5|5 2 5|5 3 5|5 4 5|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
XeqY38 : XeqY(N0008_4::{0..6}, C0008_0_4::{1..2, 4..6} )
ExtensionalSupportVA59(N0004_5::{0..6} C0008_0004_5::{0..6})0 1|1 1|2 2|3 2|4 5|5 5|6 6)
ExtensionalSupportVA60(N0003_5::{0..6} C0008_0003_5::{0..6})0 2|1 2|2 1|3 1|4 5|5 5|6 6)
ExtensionalSupportVA61(N0010_5::{0..6} C0008_0010_5::{0..6})0 2|1 2|2 1|3 1|4 5|5 5|6 6)
ExtensionalSupportVA62(C0008_0004_5::{1..2, 5..6} C0008_0003_5::{1..2, 5..6} V0008_1_5::{0..6})0 0 0|0 1 0|0 2 4|0 3 4|0 4 4|0 5 5|0 6 0|1 0 0|1 1 1|1 2 4|1 3 4|1 4 4|1 5 5|1 6 1|2 0 4|2 1 4|2 2 2|2 3 3|2 4 4|2 5 5|2 6 2|3 0 4|3 1 4|3 2 3|3 3 3|3 4 4|3 5 5|3 6 3|4 0 4|4 1 4|4 2 4|4 3 4|4 4 4|4 5 5|4 6 4|5 0 5|5 1 5|5 2 5|5 3 5|5 4 5|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
ExtensionalSupportVA63(C0008_0010_5::{1..2, 5..6} V0008_1_5::{1..2, 4..6} C0008_0_5::{0..6})0 0 0|0 1 0|0 2 4|0 3 4|0 4 4|0 5 5|0 6 0|1 0 0|1 1 1|1 2 4|1 3 4|1 4 4|1 5 5|1 6 1|2 0 4|2 1 4|2 2 2|2 3 3|2 4 4|2 5 5|2 6 2|3 0 4|3 1 4|3 2 3|3 3 3|3 4 4|3 5 5|3 6 3|4 0 4|4 1 4|4 2 4|4 3 4|4 4 4|4 5 5|4 6 4|5 0 5|5 1 5|5 2 5|5 3 5|5 4 5|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
XeqY39 : XeqY(N0008_5::{0..6}, C0008_0_5::{1..2, 4..6} )
ExtensionalSupportVA64(N0004_6::{0..6} C0008_0004_6::{0..6})0 1|1 1|2 2|3 2|4 5|5 5|6 6)
ExtensionalSupportVA65(N0003_6::{0..6} C0008_0003_6::{0..6})0 2|1 2|2 1|3 1|4 5|5 5|6 6)
ExtensionalSupportVA66(N0010_6::{0..6} C0008_0010_6::{0..6})0 2|1 2|2 1|3 1|4 5|5 5|6 6)
ExtensionalSupportVA67(C0008_0004_6::{1..2, 5..6} C0008_0003_6::{1..2, 5..6} V0008_1_6::{0..6})0 0 0|0 1 0|0 2 4|0 3 4|0 4 4|0 5 5|0 6 0|1 0 0|1 1 1|1 2 4|1 3 4|1 4 4|1 5 5|1 6 1|2 0 4|2 1 4|2 2 2|2 3 3|2 4 4|2 5 5|2 6 2|3 0 4|3 1 4|3 2 3|3 3 3|3 4 4|3 5 5|3 6 3|4 0 4|4 1 4|4 2 4|4 3 4|4 4 4|4 5 5|4 6 4|5 0 5|5 1 5|5 2 5|5 3 5|5 4 5|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
ExtensionalSupportVA68(C0008_0010_6::{1..2, 5..6} V0008_1_6::{1..2, 4..6} C0008_0_6::{0..6})0 0 0|0 1 0|0 2 4|0 3 4|0 4 4|0 5 5|0 6 0|1 0 0|1 1 1|1 2 4|1 3 4|1 4 4|1 5 5|1 6 1|2 0 4|2 1 4|2 2 2|2 3 3|2 4 4|2 5 5|2 6 2|3 0 4|3 1 4|3 2 3|3 3 3|3 4 4|3 5 5|3 6 3|4 0 4|4 1 4|4 2 4|4 3 4|4 4 4|4 5 5|4 6 4|5 0 5|5 1 5|5 2 5|5 3 5|5 4 5|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
XeqY40 : XeqY(N0008_6::{0..6}, C0008_0_6::{1..2, 4..6} )
ExtensionalSupportVA69(N0004_7::{0..6} C0008_0004_7::{0..6})0 1|1 1|2 2|3 2|4 5|5 5|6 6)
ExtensionalSupportVA70(N0003_7::{0..6} C0008_0003_7::{0..6})0 2|1 2|2 1|3 1|4 5|5 5|6 6)
ExtensionalSupportVA71(N0010_7::{0..6} C0008_0010_7::{0..6})0 2|1 2|2 1|3 1|4 5|5 5|6 6)
ExtensionalSupportVA72(C0008_0004_7::{1..2, 5..6} C0008_0003_7::{1..2, 5..6} V0008_1_7::{0..6})0 0 0|0 1 0|0 2 4|0 3 4|0 4 4|0 5 5|0 6 0|1 0 0|1 1 1|1 2 4|1 3 4|1 4 4|1 5 5|1 6 1|2 0 4|2 1 4|2 2 2|2 3 3|2 4 4|2 5 5|2 6 2|3 0 4|3 1 4|3 2 3|3 3 3|3 4 4|3 5 5|3 6 3|4 0 4|4 1 4|4 2 4|4 3 4|4 4 4|4 5 5|4 6 4|5 0 5|5 1 5|5 2 5|5 3 5|5 4 5|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
ExtensionalSupportVA73(C0008_0010_7::{1..2, 5..6} V0008_1_7::{1..2, 4..6} C0008_0_7::{0..6})0 0 0|0 1 0|0 2 4|0 3 4|0 4 4|0 5 5|0 6 0|1 0 0|1 1 1|1 2 4|1 3 4|1 4 4|1 5 5|1 6 1|2 0 4|2 1 4|2 2 2|2 3 3|2 4 4|2 5 5|2 6 2|3 0 4|3 1 4|3 2 3|3 3 3|3 4 4|3 5 5|3 6 3|4 0 4|4 1 4|4 2 4|4 3 4|4 4 4|4 5 5|4 6 4|5 0 5|5 1 5|5 2 5|5 3 5|5 4 5|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
XeqY41 : XeqY(N0008_7::{0..6}, C0008_0_7::{1..2, 4..6} )
ExtensionalSupportVA74(N0004_8::{0..6} C0008_0004_8::{0..6})0 1|1 1|2 2|3 2|4 5|5 5|6 6)
ExtensionalSupportVA75(N0003_8::{0..6} C0008_0003_8::{0..6})0 2|1 2|2 1|3 1|4 5|5 5|6 6)
ExtensionalSupportVA76(N0010_8::{0..6} C0008_0010_8::{0..6})0 2|1 2|2 1|3 1|4 5|5 5|6 6)
ExtensionalSupportVA77(C0008_0004_8::{1..2, 5..6} C0008_0003_8::{1..2, 5..6} V0008_1_8::{0..6})0 0 0|0 1 0|0 2 4|0 3 4|0 4 4|0 5 5|0 6 0|1 0 0|1 1 1|1 2 4|1 3 4|1 4 4|1 5 5|1 6 1|2 0 4|2 1 4|2 2 2|2 3 3|2 4 4|2 5 5|2 6 2|3 0 4|3 1 4|3 2 3|3 3 3|3 4 4|3 5 5|3 6 3|4 0 4|4 1 4|4 2 4|4 3 4|4 4 4|4 5 5|4 6 4|5 0 5|5 1 5|5 2 5|5 3 5|5 4 5|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
ExtensionalSupportVA78(C0008_0010_8::{1..2, 5..6} V0008_1_8::{1..2, 4..6} C0008_0_8::{0..6})0 0 0|0 1 0|0 2 4|0 3 4|0 4 4|0 5 5|0 6 0|1 0 0|1 1 1|1 2 4|1 3 4|1 4 4|1 5 5|1 6 1|2 0 4|2 1 4|2 2 2|2 3 3|2 4 4|2 5 5|2 6 2|3 0 4|3 1 4|3 2 3|3 3 3|3 4 4|3 5 5|3 6 3|4 0 4|4 1 4|4 2 4|4 3 4|4 4 4|4 5 5|4 6 4|5 0 5|5 1 5|5 2 5|5 3 5|5 4 5|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
XeqY42 : XeqY(N0008_8::{0..6}, C0008_0_8::{1..2, 4..6} )
ExtensionalSupportVA79(N0004_9::{0..6} C0008_0004_9::{0..6})0 1|1 1|2 2|3 2|4 5|5 5|6 6)
ExtensionalSupportVA80(N0003_9::{0..6} C0008_0003_9::{0..6})0 2|1 2|2 1|3 1|4 5|5 5|6 6)
ExtensionalSupportVA81(N0010_9::{0..6} C0008_0010_9::{0..6})0 2|1 2|2 1|3 1|4 5|5 5|6 6)
ExtensionalSupportVA82(C0008_0004_9::{1..2, 5..6} C0008_0003_9::{1..2, 5..6} V0008_1_9::{0..6})0 0 0|0 1 0|0 2 4|0 3 4|0 4 4|0 5 5|0 6 0|1 0 0|1 1 1|1 2 4|1 3 4|1 4 4|1 5 5|1 6 1|2 0 4|2 1 4|2 2 2|2 3 3|2 4 4|2 5 5|2 6 2|3 0 4|3 1 4|3 2 3|3 3 3|3 4 4|3 5 5|3 6 3|4 0 4|4 1 4|4 2 4|4 3 4|4 4 4|4 5 5|4 6 4|5 0 5|5 1 5|5 2 5|5 3 5|5 4 5|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
ExtensionalSupportVA83(C0008_0010_9::{1..2, 5..6} V0008_1_9::{1..2, 4..6} C0008_0_9::{0..6})0 0 0|0 1 0|0 2 4|0 3 4|0 4 4|0 5 5|0 6 0|1 0 0|1 1 1|1 2 4|1 3 4|1 4 4|1 5 5|1 6 1|2 0 4|2 1 4|2 2 2|2 3 3|2 4 4|2 5 5|2 6 2|3 0 4|3 1 4|3 2 3|3 3 3|3 4 4|3 5 5|3 6 3|4 0 4|4 1 4|4 2 4|4 3 4|4 4 4|4 5 5|4 6 4|5 0 5|5 1 5|5 2 5|5 3 5|5 4 5|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
XeqY43 : XeqY(N0008_9::{0..6}, C0008_0_9::{1..2, 4..6} )
ExtensionalSupportVA84(N0004_10::{0..6} C0008_0004_10::{0..6})0 1|1 1|2 2|3 2|4 5|5 5|6 6)
ExtensionalSupportVA85(N0003_10::{0..6} C0008_0003_10::{0..6})0 2|1 2|2 1|3 1|4 5|5 5|6 6)
ExtensionalSupportVA86(N0010_10::{0..6} C0008_0010_10::{0..6})0 2|1 2|2 1|3 1|4 5|5 5|6 6)
ExtensionalSupportVA87(C0008_0004_10::{1..2, 5..6} C0008_0003_10::{1..2, 5..6} V0008_1_10::{0..6})0 0 0|0 1 0|0 2 4|0 3 4|0 4 4|0 5 5|0 6 0|1 0 0|1 1 1|1 2 4|1 3 4|1 4 4|1 5 5|1 6 1|2 0 4|2 1 4|2 2 2|2 3 3|2 4 4|2 5 5|2 6 2|3 0 4|3 1 4|3 2 3|3 3 3|3 4 4|3 5 5|3 6 3|4 0 4|4 1 4|4 2 4|4 3 4|4 4 4|4 5 5|4 6 4|5 0 5|5 1 5|5 2 5|5 3 5|5 4 5|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
ExtensionalSupportVA88(C0008_0010_10::{1..2, 5..6} V0008_1_10::{1..2, 4..6} C0008_0_10::{0..6})0 0 0|0 1 0|0 2 4|0 3 4|0 4 4|0 5 5|0 6 0|1 0 0|1 1 1|1 2 4|1 3 4|1 4 4|1 5 5|1 6 1|2 0 4|2 1 4|2 2 2|2 3 3|2 4 4|2 5 5|2 6 2|3 0 4|3 1 4|3 2 3|3 3 3|3 4 4|3 5 5|3 6 3|4 0 4|4 1 4|4 2 4|4 3 4|4 4 4|4 5 5|4 6 4|5 0 5|5 1 5|5 2 5|5 3 5|5 4 5|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
XeqY44 : XeqY(N0008_10::{0..6}, C0008_0_10::{1..2, 4..6} )


// Resolving helps/hurts for N0009
// L	HURTS	0004	0009
// L	HELPS	0003	0009
ExtensionalSupportVA89(N0004_0 = 3 C0009_0004_0::{0..6})0 2|1 2|2 1|3 1|4 5|5 5|6 6)
ExtensionalSupportVA90(N0003_0 = 3 C0009_0003_0::{0..6})0 1|1 1|2 2|3 2|4 5|5 5|6 6)
ExtensionalSupportVA91(C0009_0004_0 = 1 C0009_0003_0 = 2 C0009_0_0::{0..6})0 0 0|0 1 0|0 2 4|0 3 4|0 4 4|0 5 5|0 6 0|1 0 0|1 1 1|1 2 4|1 3 4|1 4 4|1 5 5|1 6 1|2 0 4|2 1 4|2 2 2|2 3 3|2 4 4|2 5 5|2 6 2|3 0 4|3 1 4|3 2 3|3 3 3|3 4 4|3 5 5|3 6 3|4 0 4|4 1 4|4 2 4|4 3 4|4 4 4|4 5 5|4 6 4|5 0 5|5 1 5|5 2 5|5 3 5|5 4 5|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
XeqY45 : XeqY(N0009_0::{0..6}, C0009_0_0 = 4 )
ExtensionalSupportVA92(N0004_1::{0..6} C0009_0004_1::{0..6})0 2|1 2|2 1|3 1|4 5|5 5|6 6)
ExtensionalSupportVA93(N0003_1::{0..6} C0009_0003_1::{0..6})0 1|1 1|2 2|3 2|4 5|5 5|6 6)
ExtensionalSupportVA94(C0009_0004_1::{1..2, 5..6} C0009_0003_1::{1..2, 5..6} C0009_0_1::{0..6})0 0 0|0 1 0|0 2 4|0 3 4|0 4 4|0 5 5|0 6 0|1 0 0|1 1 1|1 2 4|1 3 4|1 4 4|1 5 5|1 6 1|2 0 4|2 1 4|2 2 2|2 3 3|2 4 4|2 5 5|2 6 2|3 0 4|3 1 4|3 2 3|3 3 3|3 4 4|3 5 5|3 6 3|4 0 4|4 1 4|4 2 4|4 3 4|4 4 4|4 5 5|4 6 4|5 0 5|5 1 5|5 2 5|5 3 5|5 4 5|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
XeqY46 : XeqY(N0009_1::{0..6}, C0009_0_1::{1..2, 4..6} )
ExtensionalSupportVA95(N0004_2::{0..6} C0009_0004_2::{0..6})0 2|1 2|2 1|3 1|4 5|5 5|6 6)
ExtensionalSupportVA96(N0003_2::{0..6} C0009_0003_2::{0..6})0 1|1 1|2 2|3 2|4 5|5 5|6 6)
ExtensionalSupportVA97(C0009_0004_2::{1..2, 5..6} C0009_0003_2::{1..2, 5..6} C0009_0_2::{0..6})0 0 0|0 1 0|0 2 4|0 3 4|0 4 4|0 5 5|0 6 0|1 0 0|1 1 1|1 2 4|1 3 4|1 4 4|1 5 5|1 6 1|2 0 4|2 1 4|2 2 2|2 3 3|2 4 4|2 5 5|2 6 2|3 0 4|3 1 4|3 2 3|3 3 3|3 4 4|3 5 5|3 6 3|4 0 4|4 1 4|4 2 4|4 3 4|4 4 4|4 5 5|4 6 4|5 0 5|5 1 5|5 2 5|5 3 5|5 4 5|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
XeqY47 : XeqY(N0009_2::{0..6}, C0009_0_2::{1..2, 4..6} )
ExtensionalSupportVA98(N0004_3::{0..6} C0009_0004_3::{0..6})0 2|1 2|2 1|3 1|4 5|5 5|6 6)
ExtensionalSupportVA99(N0003_3::{0..6} C0009_0003_3::{0..6})0 1|1 1|2 2|3 2|4 5|5 5|6 6)
ExtensionalSupportVA100(C0009_0004_3::{1..2, 5..6} C0009_0003_3::{1..2, 5..6} C0009_0_3::{0..6})0 0 0|0 1 0|0 2 4|0 3 4|0 4 4|0 5 5|0 6 0|1 0 0|1 1 1|1 2 4|1 3 4|1 4 4|1 5 5|1 6 1|2 0 4|2 1 4|2 2 2|2 3 3|2 4 4|2 5 5|2 6 2|3 0 4|3 1 4|3 2 3|3 3 3|3 4 4|3 5 5|3 6 3|4 0 4|4 1 4|4 2 4|4 3 4|4 4 4|4 5 5|4 6 4|5 0 5|5 1 5|5 2 5|5 3 5|5 4 5|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
XeqY48 : XeqY(N0009_3::{0..6}, C0009_0_3::{1..2, 4..6} )
ExtensionalSupportVA101(N0004_4::{0..6} C0009_0004_4::{0..6})0 2|1 2|2 1|3 1|4 5|5 5|6 6)
ExtensionalSupportVA102(N0003_4::{0..6} C0009_0003_4::{0..6})0 1|1 1|2 2|3 2|4 5|5 5|6 6)
ExtensionalSupportVA103(C0009_0004_4::{1..2, 5..6} C0009_0003_4::{1..2, 5..6} C0009_0_4::{0..6})0 0 0|0 1 0|0 2 4|0 3 4|0 4 4|0 5 5|0 6 0|1 0 0|1 1 1|1 2 4|1 3 4|1 4 4|1 5 5|1 6 1|2 0 4|2 1 4|2 2 2|2 3 3|2 4 4|2 5 5|2 6 2|3 0 4|3 1 4|3 2 3|3 3 3|3 4 4|3 5 5|3 6 3|4 0 4|4 1 4|4 2 4|4 3 4|4 4 4|4 5 5|4 6 4|5 0 5|5 1 5|5 2 5|5 3 5|5 4 5|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
XeqY49 : XeqY(N0009_4::{0..6}, C0009_0_4::{1..2, 4..6} )
ExtensionalSupportVA104(N0004_5::{0..6} C0009_0004_5::{0..6})0 2|1 2|2 1|3 1|4 5|5 5|6 6)
ExtensionalSupportVA105(N0003_5::{0..6} C0009_0003_5::{0..6})0 1|1 1|2 2|3 2|4 5|5 5|6 6)
ExtensionalSupportVA106(C0009_0004_5::{1..2, 5..6} C0009_0003_5::{1..2, 5..6} C0009_0_5::{0..6})0 0 0|0 1 0|0 2 4|0 3 4|0 4 4|0 5 5|0 6 0|1 0 0|1 1 1|1 2 4|1 3 4|1 4 4|1 5 5|1 6 1|2 0 4|2 1 4|2 2 2|2 3 3|2 4 4|2 5 5|2 6 2|3 0 4|3 1 4|3 2 3|3 3 3|3 4 4|3 5 5|3 6 3|4 0 4|4 1 4|4 2 4|4 3 4|4 4 4|4 5 5|4 6 4|5 0 5|5 1 5|5 2 5|5 3 5|5 4 5|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
XeqY50 : XeqY(N0009_5::{0..6}, C0009_0_5::{1..2, 4..6} )
ExtensionalSupportVA107(N0004_6::{0..6} C0009_0004_6::{0..6})0 2|1 2|2 1|3 1|4 5|5 5|6 6)
ExtensionalSupportVA108(N0003_6::{0..6} C0009_0003_6::{0..6})0 1|1 1|2 2|3 2|4 5|5 5|6 6)
ExtensionalSupportVA109(C0009_0004_6::{1..2, 5..6} C0009_0003_6::{1..2, 5..6} C0009_0_6::{0..6})0 0 0|0 1 0|0 2 4|0 3 4|0 4 4|0 5 5|0 6 0|1 0 0|1 1 1|1 2 4|1 3 4|1 4 4|1 5 5|1 6 1|2 0 4|2 1 4|2 2 2|2 3 3|2 4 4|2 5 5|2 6 2|3 0 4|3 1 4|3 2 3|3 3 3|3 4 4|3 5 5|3 6 3|4 0 4|4 1 4|4 2 4|4 3 4|4 4 4|4 5 5|4 6 4|5 0 5|5 1 5|5 2 5|5 3 5|5 4 5|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
XeqY51 : XeqY(N0009_6::{0..6}, C0009_0_6::{1..2, 4..6} )
ExtensionalSupportVA110(N0004_7::{0..6} C0009_0004_7::{0..6})0 2|1 2|2 1|3 1|4 5|5 5|6 6)
ExtensionalSupportVA111(N0003_7::{0..6} C0009_0003_7::{0..6})0 1|1 1|2 2|3 2|4 5|5 5|6 6)
ExtensionalSupportVA112(C0009_0004_7::{1..2, 5..6} C0009_0003_7::{1..2, 5..6} C0009_0_7::{0..6})0 0 0|0 1 0|0 2 4|0 3 4|0 4 4|0 5 5|0 6 0|1 0 0|1 1 1|1 2 4|1 3 4|1 4 4|1 5 5|1 6 1|2 0 4|2 1 4|2 2 2|2 3 3|2 4 4|2 5 5|2 6 2|3 0 4|3 1 4|3 2 3|3 3 3|3 4 4|3 5 5|3 6 3|4 0 4|4 1 4|4 2 4|4 3 4|4 4 4|4 5 5|4 6 4|5 0 5|5 1 5|5 2 5|5 3 5|5 4 5|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
XeqY52 : XeqY(N0009_7::{0..6}, C0009_0_7::{1..2, 4..6} )
ExtensionalSupportVA113(N0004_8::{0..6} C0009_0004_8::{0..6})0 2|1 2|2 1|3 1|4 5|5 5|6 6)
ExtensionalSupportVA114(N0003_8::{0..6} C0009_0003_8::{0..6})0 1|1 1|2 2|3 2|4 5|5 5|6 6)
ExtensionalSupportVA115(C0009_0004_8::{1..2, 5..6} C0009_0003_8::{1..2, 5..6} C0009_0_8::{0..6})0 0 0|0 1 0|0 2 4|0 3 4|0 4 4|0 5 5|0 6 0|1 0 0|1 1 1|1 2 4|1 3 4|1 4 4|1 5 5|1 6 1|2 0 4|2 1 4|2 2 2|2 3 3|2 4 4|2 5 5|2 6 2|3 0 4|3 1 4|3 2 3|3 3 3|3 4 4|3 5 5|3 6 3|4 0 4|4 1 4|4 2 4|4 3 4|4 4 4|4 5 5|4 6 4|5 0 5|5 1 5|5 2 5|5 3 5|5 4 5|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
XeqY53 : XeqY(N0009_8::{0..6}, C0009_0_8::{1..2, 4..6} )
ExtensionalSupportVA116(N0004_9::{0..6} C0009_0004_9::{0..6})0 2|1 2|2 1|3 1|4 5|5 5|6 6)
ExtensionalSupportVA117(N0003_9::{0..6} C0009_0003_9::{0..6})0 1|1 1|2 2|3 2|4 5|5 5|6 6)
ExtensionalSupportVA118(C0009_0004_9::{1..2, 5..6} C0009_0003_9::{1..2, 5..6} C0009_0_9::{0..6})0 0 0|0 1 0|0 2 4|0 3 4|0 4 4|0 5 5|0 6 0|1 0 0|1 1 1|1 2 4|1 3 4|1 4 4|1 5 5|1 6 1|2 0 4|2 1 4|2 2 2|2 3 3|2 4 4|2 5 5|2 6 2|3 0 4|3 1 4|3 2 3|3 3 3|3 4 4|3 5 5|3 6 3|4 0 4|4 1 4|4 2 4|4 3 4|4 4 4|4 5 5|4 6 4|5 0 5|5 1 5|5 2 5|5 3 5|5 4 5|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
XeqY54 : XeqY(N0009_9::{0..6}, C0009_0_9::{1..2, 4..6} )
ExtensionalSupportVA119(N0004_10::{0..6} C0009_0004_10::{0..6})0 2|1 2|2 1|3 1|4 5|5 5|6 6)
ExtensionalSupportVA120(N0003_10::{0..6} C0009_0003_10::{0..6})0 1|1 1|2 2|3 2|4 5|5 5|6 6)
ExtensionalSupportVA121(C0009_0004_10::{1..2, 5..6} C0009_0003_10::{1..2, 5..6} C0009_0_10::{0..6})0 0 0|0 1 0|0 2 4|0 3 4|0 4 4|0 5 5|0 6 0|1 0 0|1 1 1|1 2 4|1 3 4|1 4 4|1 5 5|1 6 1|2 0 4|2 1 4|2 2 2|2 3 3|2 4 4|2 5 5|2 6 2|3 0 4|3 1 4|3 2 3|3 3 3|3 4 4|3 5 5|3 6 3|4 0 4|4 1 4|4 2 4|4 3 4|4 4 4|4 5 5|4 6 4|5 0 5|5 1 5|5 2 5|5 3 5|5 4 5|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
XeqY55 : XeqY(N0009_10::{0..6}, C0009_0_10::{1..2, 4..6} )

// Resolving N0010 with AND-Decomposition and a Depends relationship.
// L	AND	0011	0010
// L	AND	0018	0010
// L	DEPENDS	0010	0015
ExtensionalSupportVA122(N0011_0 = 3 N0018_0 = 3 D0010_0_0::{0..6})0 0 0|0 1 0|0 2 0|0 3 0|0 4 0|0 5 0|0 6 0|1 0 0|1 1 1|1 2 1|1 3 1|1 4 1|1 5 1|1 6 1|2 0 0|2 1 1|2 2 2|2 3 2|2 4 4|2 5 5|2 6 2|3 0 0|3 1 1|3 2 2|3 3 3|3 4 4|3 5 5|3 6 3|4 0 0|4 1 1|4 2 4|4 3 4|4 4 4|4 5 4|4 6 4|5 0 0|5 1 1|5 2 5|5 3 5|5 4 4|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
ExtensionalSupportVA123(N0015_0::{0..6} D0010_0_0 = 3 N0010_0::{0..6})0 0 0|0 1 0|0 2 0|0 3 0|0 4 0|0 5 0|0 6 0|1 0 0|1 1 1|1 2 1|1 3 1|1 4 1|1 5 1|1 6 1|2 0 0|2 1 1|2 2 2|2 3 2|2 4 4|2 5 5|2 6 2|3 0 0|3 1 1|3 2 2|3 3 3|3 4 4|3 5 5|3 6 3|4 0 0|4 1 1|4 2 4|4 3 4|4 4 4|4 5 4|4 6 4|5 0 0|5 1 1|5 2 5|5 3 5|5 4 4|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
ExtensionalSupportVA124(N0011_1::{0..6} N0018_1::{0..6} D0010_0_1::{0..6})0 0 0|0 1 0|0 2 0|0 3 0|0 4 0|0 5 0|0 6 0|1 0 0|1 1 1|1 2 1|1 3 1|1 4 1|1 5 1|1 6 1|2 0 0|2 1 1|2 2 2|2 3 2|2 4 4|2 5 5|2 6 2|3 0 0|3 1 1|3 2 2|3 3 3|3 4 4|3 5 5|3 6 3|4 0 0|4 1 1|4 2 4|4 3 4|4 4 4|4 5 4|4 6 4|5 0 0|5 1 1|5 2 5|5 3 5|5 4 4|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
ExtensionalSupportVA125(N0015_1::{0..6} D0010_0_1::{0..6} N0010_1::{0..6})0 0 0|0 1 0|0 2 0|0 3 0|0 4 0|0 5 0|0 6 0|1 0 0|1 1 1|1 2 1|1 3 1|1 4 1|1 5 1|1 6 1|2 0 0|2 1 1|2 2 2|2 3 2|2 4 4|2 5 5|2 6 2|3 0 0|3 1 1|3 2 2|3 3 3|3 4 4|3 5 5|3 6 3|4 0 0|4 1 1|4 2 4|4 3 4|4 4 4|4 5 4|4 6 4|5 0 0|5 1 1|5 2 5|5 3 5|5 4 4|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
ExtensionalSupportVA126(N0011_2::{0..6} N0018_2::{0..6} D0010_0_2::{0..6})0 0 0|0 1 0|0 2 0|0 3 0|0 4 0|0 5 0|0 6 0|1 0 0|1 1 1|1 2 1|1 3 1|1 4 1|1 5 1|1 6 1|2 0 0|2 1 1|2 2 2|2 3 2|2 4 4|2 5 5|2 6 2|3 0 0|3 1 1|3 2 2|3 3 3|3 4 4|3 5 5|3 6 3|4 0 0|4 1 1|4 2 4|4 3 4|4 4 4|4 5 4|4 6 4|5 0 0|5 1 1|5 2 5|5 3 5|5 4 4|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
ExtensionalSupportVA127(N0015_2::{0..6} D0010_0_2::{0..6} N0010_2::{0..6})0 0 0|0 1 0|0 2 0|0 3 0|0 4 0|0 5 0|0 6 0|1 0 0|1 1 1|1 2 1|1 3 1|1 4 1|1 5 1|1 6 1|2 0 0|2 1 1|2 2 2|2 3 2|2 4 4|2 5 5|2 6 2|3 0 0|3 1 1|3 2 2|3 3 3|3 4 4|3 5 5|3 6 3|4 0 0|4 1 1|4 2 4|4 3 4|4 4 4|4 5 4|4 6 4|5 0 0|5 1 1|5 2 5|5 3 5|5 4 4|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
ExtensionalSupportVA128(N0011_3::{0..6} N0018_3::{0..6} D0010_0_3::{0..6})0 0 0|0 1 0|0 2 0|0 3 0|0 4 0|0 5 0|0 6 0|1 0 0|1 1 1|1 2 1|1 3 1|1 4 1|1 5 1|1 6 1|2 0 0|2 1 1|2 2 2|2 3 2|2 4 4|2 5 5|2 6 2|3 0 0|3 1 1|3 2 2|3 3 3|3 4 4|3 5 5|3 6 3|4 0 0|4 1 1|4 2 4|4 3 4|4 4 4|4 5 4|4 6 4|5 0 0|5 1 1|5 2 5|5 3 5|5 4 4|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
ExtensionalSupportVA129(N0015_3::{0..6} D0010_0_3::{0..6} N0010_3::{0..6})0 0 0|0 1 0|0 2 0|0 3 0|0 4 0|0 5 0|0 6 0|1 0 0|1 1 1|1 2 1|1 3 1|1 4 1|1 5 1|1 6 1|2 0 0|2 1 1|2 2 2|2 3 2|2 4 4|2 5 5|2 6 2|3 0 0|3 1 1|3 2 2|3 3 3|3 4 4|3 5 5|3 6 3|4 0 0|4 1 1|4 2 4|4 3 4|4 4 4|4 5 4|4 6 4|5 0 0|5 1 1|5 2 5|5 3 5|5 4 4|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
ExtensionalSupportVA130(N0011_4::{0..6} N0018_4::{0..6} D0010_0_4::{0..6})0 0 0|0 1 0|0 2 0|0 3 0|0 4 0|0 5 0|0 6 0|1 0 0|1 1 1|1 2 1|1 3 1|1 4 1|1 5 1|1 6 1|2 0 0|2 1 1|2 2 2|2 3 2|2 4 4|2 5 5|2 6 2|3 0 0|3 1 1|3 2 2|3 3 3|3 4 4|3 5 5|3 6 3|4 0 0|4 1 1|4 2 4|4 3 4|4 4 4|4 5 4|4 6 4|5 0 0|5 1 1|5 2 5|5 3 5|5 4 4|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
ExtensionalSupportVA131(N0015_4::{0..6} D0010_0_4::{0..6} N0010_4::{0..6})0 0 0|0 1 0|0 2 0|0 3 0|0 4 0|0 5 0|0 6 0|1 0 0|1 1 1|1 2 1|1 3 1|1 4 1|1 5 1|1 6 1|2 0 0|2 1 1|2 2 2|2 3 2|2 4 4|2 5 5|2 6 2|3 0 0|3 1 1|3 2 2|3 3 3|3 4 4|3 5 5|3 6 3|4 0 0|4 1 1|4 2 4|4 3 4|4 4 4|4 5 4|4 6 4|5 0 0|5 1 1|5 2 5|5 3 5|5 4 4|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
ExtensionalSupportVA132(N0011_5::{0..6} N0018_5::{0..6} D0010_0_5::{0..6})0 0 0|0 1 0|0 2 0|0 3 0|0 4 0|0 5 0|0 6 0|1 0 0|1 1 1|1 2 1|1 3 1|1 4 1|1 5 1|1 6 1|2 0 0|2 1 1|2 2 2|2 3 2|2 4 4|2 5 5|2 6 2|3 0 0|3 1 1|3 2 2|3 3 3|3 4 4|3 5 5|3 6 3|4 0 0|4 1 1|4 2 4|4 3 4|4 4 4|4 5 4|4 6 4|5 0 0|5 1 1|5 2 5|5 3 5|5 4 4|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
ExtensionalSupportVA133(N0015_5::{0..6} D0010_0_5::{0..6} N0010_5::{0..6})0 0 0|0 1 0|0 2 0|0 3 0|0 4 0|0 5 0|0 6 0|1 0 0|1 1 1|1 2 1|1 3 1|1 4 1|1 5 1|1 6 1|2 0 0|2 1 1|2 2 2|2 3 2|2 4 4|2 5 5|2 6 2|3 0 0|3 1 1|3 2 2|3 3 3|3 4 4|3 5 5|3 6 3|4 0 0|4 1 1|4 2 4|4 3 4|4 4 4|4 5 4|4 6 4|5 0 0|5 1 1|5 2 5|5 3 5|5 4 4|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
ExtensionalSupportVA134(N0011_6::{0..6} N0018_6::{0..6} D0010_0_6::{0..6})0 0 0|0 1 0|0 2 0|0 3 0|0 4 0|0 5 0|0 6 0|1 0 0|1 1 1|1 2 1|1 3 1|1 4 1|1 5 1|1 6 1|2 0 0|2 1 1|2 2 2|2 3 2|2 4 4|2 5 5|2 6 2|3 0 0|3 1 1|3 2 2|3 3 3|3 4 4|3 5 5|3 6 3|4 0 0|4 1 1|4 2 4|4 3 4|4 4 4|4 5 4|4 6 4|5 0 0|5 1 1|5 2 5|5 3 5|5 4 4|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
ExtensionalSupportVA135(N0015_6::{0..6} D0010_0_6::{0..6} N0010_6::{0..6})0 0 0|0 1 0|0 2 0|0 3 0|0 4 0|0 5 0|0 6 0|1 0 0|1 1 1|1 2 1|1 3 1|1 4 1|1 5 1|1 6 1|2 0 0|2 1 1|2 2 2|2 3 2|2 4 4|2 5 5|2 6 2|3 0 0|3 1 1|3 2 2|3 3 3|3 4 4|3 5 5|3 6 3|4 0 0|4 1 1|4 2 4|4 3 4|4 4 4|4 5 4|4 6 4|5 0 0|5 1 1|5 2 5|5 3 5|5 4 4|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
ExtensionalSupportVA136(N0011_7::{0..6} N0018_7::{0..6} D0010_0_7::{0..6})0 0 0|0 1 0|0 2 0|0 3 0|0 4 0|0 5 0|0 6 0|1 0 0|1 1 1|1 2 1|1 3 1|1 4 1|1 5 1|1 6 1|2 0 0|2 1 1|2 2 2|2 3 2|2 4 4|2 5 5|2 6 2|3 0 0|3 1 1|3 2 2|3 3 3|3 4 4|3 5 5|3 6 3|4 0 0|4 1 1|4 2 4|4 3 4|4 4 4|4 5 4|4 6 4|5 0 0|5 1 1|5 2 5|5 3 5|5 4 4|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
ExtensionalSupportVA137(N0015_7::{0..6} D0010_0_7::{0..6} N0010_7::{0..6})0 0 0|0 1 0|0 2 0|0 3 0|0 4 0|0 5 0|0 6 0|1 0 0|1 1 1|1 2 1|1 3 1|1 4 1|1 5 1|1 6 1|2 0 0|2 1 1|2 2 2|2 3 2|2 4 4|2 5 5|2 6 2|3 0 0|3 1 1|3 2 2|3 3 3|3 4 4|3 5 5|3 6 3|4 0 0|4 1 1|4 2 4|4 3 4|4 4 4|4 5 4|4 6 4|5 0 0|5 1 1|5 2 5|5 3 5|5 4 4|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
ExtensionalSupportVA138(N0011_8::{0..6} N0018_8::{0..6} D0010_0_8::{0..6})0 0 0|0 1 0|0 2 0|0 3 0|0 4 0|0 5 0|0 6 0|1 0 0|1 1 1|1 2 1|1 3 1|1 4 1|1 5 1|1 6 1|2 0 0|2 1 1|2 2 2|2 3 2|2 4 4|2 5 5|2 6 2|3 0 0|3 1 1|3 2 2|3 3 3|3 4 4|3 5 5|3 6 3|4 0 0|4 1 1|4 2 4|4 3 4|4 4 4|4 5 4|4 6 4|5 0 0|5 1 1|5 2 5|5 3 5|5 4 4|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
ExtensionalSupportVA139(N0015_8::{0..6} D0010_0_8::{0..6} N0010_8::{0..6})0 0 0|0 1 0|0 2 0|0 3 0|0 4 0|0 5 0|0 6 0|1 0 0|1 1 1|1 2 1|1 3 1|1 4 1|1 5 1|1 6 1|2 0 0|2 1 1|2 2 2|2 3 2|2 4 4|2 5 5|2 6 2|3 0 0|3 1 1|3 2 2|3 3 3|3 4 4|3 5 5|3 6 3|4 0 0|4 1 1|4 2 4|4 3 4|4 4 4|4 5 4|4 6 4|5 0 0|5 1 1|5 2 5|5 3 5|5 4 4|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
ExtensionalSupportVA140(N0011_9::{0..6} N0018_9::{0..6} D0010_0_9::{0..6})0 0 0|0 1 0|0 2 0|0 3 0|0 4 0|0 5 0|0 6 0|1 0 0|1 1 1|1 2 1|1 3 1|1 4 1|1 5 1|1 6 1|2 0 0|2 1 1|2 2 2|2 3 2|2 4 4|2 5 5|2 6 2|3 0 0|3 1 1|3 2 2|3 3 3|3 4 4|3 5 5|3 6 3|4 0 0|4 1 1|4 2 4|4 3 4|4 4 4|4 5 4|4 6 4|5 0 0|5 1 1|5 2 5|5 3 5|5 4 4|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
ExtensionalSupportVA141(N0015_9::{0..6} D0010_0_9::{0..6} N0010_9::{0..6})0 0 0|0 1 0|0 2 0|0 3 0|0 4 0|0 5 0|0 6 0|1 0 0|1 1 1|1 2 1|1 3 1|1 4 1|1 5 1|1 6 1|2 0 0|2 1 1|2 2 2|2 3 2|2 4 4|2 5 5|2 6 2|3 0 0|3 1 1|3 2 2|3 3 3|3 4 4|3 5 5|3 6 3|4 0 0|4 1 1|4 2 4|4 3 4|4 4 4|4 5 4|4 6 4|5 0 0|5 1 1|5 2 5|5 3 5|5 4 4|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
ExtensionalSupportVA142(N0011_10::{0..6} N0018_10::{0..6} D0010_0_10::{0..6})0 0 0|0 1 0|0 2 0|0 3 0|0 4 0|0 5 0|0 6 0|1 0 0|1 1 1|1 2 1|1 3 1|1 4 1|1 5 1|1 6 1|2 0 0|2 1 1|2 2 2|2 3 2|2 4 4|2 5 5|2 6 2|3 0 0|3 1 1|3 2 2|3 3 3|3 4 4|3 5 5|3 6 3|4 0 0|4 1 1|4 2 4|4 3 4|4 4 4|4 5 4|4 6 4|5 0 0|5 1 1|5 2 5|5 3 5|5 4 4|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
ExtensionalSupportVA143(N0015_10::{0..6} D0010_0_10::{0..6} N0010_10::{0..6})0 0 0|0 1 0|0 2 0|0 3 0|0 4 0|0 5 0|0 6 0|1 0 0|1 1 1|1 2 1|1 3 1|1 4 1|1 5 1|1 6 1|2 0 0|2 1 1|2 2 2|2 3 2|2 4 4|2 5 5|2 6 2|3 0 0|3 1 1|3 2 2|3 3 3|3 4 4|3 5 5|3 6 3|4 0 0|4 1 1|4 2 4|4 3 4|4 4 4|4 5 4|4 6 4|5 0 0|5 1 1|5 2 5|5 3 5|5 4 4|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)

// Resolving Depends only relationship between D0020 and D0012.
// L	DEPENDS	0012	0020
XeqY56 : XeqY(N0012_0::{0..3}, N0020_0::{0..6} )
XeqY57 : XeqY(N0012_1::{0..3}, N0020_1::{0..6} )
XeqY58 : XeqY(N0012_2::{0..3}, N0020_2::{0..6} )
XeqY59 : XeqY(N0012_3::{0..3}, N0020_3::{0..6} )
XeqY60 : XeqY(N0012_4::{0..3}, N0020_4::{0..6} )
XeqY61 : XeqY(N0012_5::{0..3}, N0020_5::{0..6} )
XeqY62 : XeqY(N0012_6::{0..3}, N0020_6::{0..6} )
XeqY63 : XeqY(N0012_7::{0..3}, N0020_7::{0..6} )
XeqY64 : XeqY(N0012_8::{0..3}, N0020_8::{0..6} )
XeqY65 : XeqY(N0012_9::{0..3}, N0020_9::{0..6} )
XeqY66 : XeqY(N0012_10 = 3, N0020_10::{0..6} )

// Resolving helps relationship for N0014
// L	HELPS	0009	0014
// L	HELPS	0005	0014
ExtensionalSupportVA144(N0009_0 = 4 C0014_0009_0::{0..6})0 1|1 1|2 2|3 2|4 5|5 5|6 6)
ExtensionalSupportVA145(N0005_0::{1..2, 5} C0014_0005_0::{0..6})0 1|1 1|2 2|3 2|4 5|5 5|6 6)
ExtensionalSupportVA146(C0014_0009_0 = 5 C0014_0005_0::{1..2, 5} C0014_0_0::{0..6})0 0 0|0 1 0|0 2 4|0 3 4|0 4 4|0 5 5|0 6 0|1 0 0|1 1 1|1 2 4|1 3 4|1 4 4|1 5 5|1 6 1|2 0 4|2 1 4|2 2 2|2 3 3|2 4 4|2 5 5|2 6 2|3 0 4|3 1 4|3 2 3|3 3 3|3 4 4|3 5 5|3 6 3|4 0 4|4 1 4|4 2 4|4 3 4|4 4 4|4 5 5|4 6 4|5 0 5|5 1 5|5 2 5|5 3 5|5 4 5|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
XeqY67 : XeqY(N0014_0::{0..6}, C0014_0_0 = 5 )
ExtensionalSupportVA147(N0009_1::{1..2, 4..6} C0014_0009_1::{0..6})0 1|1 1|2 2|3 2|4 5|5 5|6 6)
ExtensionalSupportVA148(N0005_1::{1..2, 5..6} C0014_0005_1::{0..6})0 1|1 1|2 2|3 2|4 5|5 5|6 6)
ExtensionalSupportVA149(C0014_0009_1::{1..2, 5..6} C0014_0005_1::{1..2, 5..6} C0014_0_1::{0..6})0 0 0|0 1 0|0 2 4|0 3 4|0 4 4|0 5 5|0 6 0|1 0 0|1 1 1|1 2 4|1 3 4|1 4 4|1 5 5|1 6 1|2 0 4|2 1 4|2 2 2|2 3 3|2 4 4|2 5 5|2 6 2|3 0 4|3 1 4|3 2 3|3 3 3|3 4 4|3 5 5|3 6 3|4 0 4|4 1 4|4 2 4|4 3 4|4 4 4|4 5 5|4 6 4|5 0 5|5 1 5|5 2 5|5 3 5|5 4 5|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
XeqY68 : XeqY(N0014_1::{0..6}, C0014_0_1::{1..2, 4..6} )
ExtensionalSupportVA150(N0009_2::{1..2, 4..6} C0014_0009_2::{0..6})0 1|1 1|2 2|3 2|4 5|5 5|6 6)
ExtensionalSupportVA151(N0005_2::{1..2, 5..6} C0014_0005_2::{0..6})0 1|1 1|2 2|3 2|4 5|5 5|6 6)
ExtensionalSupportVA152(C0014_0009_2::{1..2, 5..6} C0014_0005_2::{1..2, 5..6} C0014_0_2::{0..6})0 0 0|0 1 0|0 2 4|0 3 4|0 4 4|0 5 5|0 6 0|1 0 0|1 1 1|1 2 4|1 3 4|1 4 4|1 5 5|1 6 1|2 0 4|2 1 4|2 2 2|2 3 3|2 4 4|2 5 5|2 6 2|3 0 4|3 1 4|3 2 3|3 3 3|3 4 4|3 5 5|3 6 3|4 0 4|4 1 4|4 2 4|4 3 4|4 4 4|4 5 5|4 6 4|5 0 5|5 1 5|5 2 5|5 3 5|5 4 5|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
XeqY69 : XeqY(N0014_2::{0..6}, C0014_0_2::{1..2, 4..6} )
ExtensionalSupportVA153(N0009_3::{1..2, 4..6} C0014_0009_3::{0..6})0 1|1 1|2 2|3 2|4 5|5 5|6 6)
ExtensionalSupportVA154(N0005_3::{1..2, 5..6} C0014_0005_3::{0..6})0 1|1 1|2 2|3 2|4 5|5 5|6 6)
ExtensionalSupportVA155(C0014_0009_3::{1..2, 5..6} C0014_0005_3::{1..2, 5..6} C0014_0_3::{0..6})0 0 0|0 1 0|0 2 4|0 3 4|0 4 4|0 5 5|0 6 0|1 0 0|1 1 1|1 2 4|1 3 4|1 4 4|1 5 5|1 6 1|2 0 4|2 1 4|2 2 2|2 3 3|2 4 4|2 5 5|2 6 2|3 0 4|3 1 4|3 2 3|3 3 3|3 4 4|3 5 5|3 6 3|4 0 4|4 1 4|4 2 4|4 3 4|4 4 4|4 5 5|4 6 4|5 0 5|5 1 5|5 2 5|5 3 5|5 4 5|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
XeqY70 : XeqY(N0014_3::{0..6}, C0014_0_3::{1..2, 4..6} )
ExtensionalSupportVA156(N0009_4::{1..2, 4..6} C0014_0009_4::{0..6})0 1|1 1|2 2|3 2|4 5|5 5|6 6)
ExtensionalSupportVA157(N0005_4::{1..2, 5..6} C0014_0005_4::{0..6})0 1|1 1|2 2|3 2|4 5|5 5|6 6)
ExtensionalSupportVA158(C0014_0009_4::{1..2, 5..6} C0014_0005_4::{1..2, 5..6} C0014_0_4::{0..6})0 0 0|0 1 0|0 2 4|0 3 4|0 4 4|0 5 5|0 6 0|1 0 0|1 1 1|1 2 4|1 3 4|1 4 4|1 5 5|1 6 1|2 0 4|2 1 4|2 2 2|2 3 3|2 4 4|2 5 5|2 6 2|3 0 4|3 1 4|3 2 3|3 3 3|3 4 4|3 5 5|3 6 3|4 0 4|4 1 4|4 2 4|4 3 4|4 4 4|4 5 5|4 6 4|5 0 5|5 1 5|5 2 5|5 3 5|5 4 5|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
XeqY71 : XeqY(N0014_4::{0..6}, C0014_0_4::{1..2, 4..6} )
ExtensionalSupportVA159(N0009_5::{1..2, 4..6} C0014_0009_5::{0..6})0 1|1 1|2 2|3 2|4 5|5 5|6 6)
ExtensionalSupportVA160(N0005_5::{1..2, 5..6} C0014_0005_5::{0..6})0 1|1 1|2 2|3 2|4 5|5 5|6 6)
ExtensionalSupportVA161(C0014_0009_5::{1..2, 5..6} C0014_0005_5::{1..2, 5..6} C0014_0_5::{0..6})0 0 0|0 1 0|0 2 4|0 3 4|0 4 4|0 5 5|0 6 0|1 0 0|1 1 1|1 2 4|1 3 4|1 4 4|1 5 5|1 6 1|2 0 4|2 1 4|2 2 2|2 3 3|2 4 4|2 5 5|2 6 2|3 0 4|3 1 4|3 2 3|3 3 3|3 4 4|3 5 5|3 6 3|4 0 4|4 1 4|4 2 4|4 3 4|4 4 4|4 5 5|4 6 4|5 0 5|5 1 5|5 2 5|5 3 5|5 4 5|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
XeqY72 : XeqY(N0014_5::{0..6}, C0014_0_5::{1..2, 4..6} )
ExtensionalSupportVA162(N0009_6::{1..2, 4..6} C0014_0009_6::{0..6})0 1|1 1|2 2|3 2|4 5|5 5|6 6)
ExtensionalSupportVA163(N0005_6::{1..2, 5..6} C0014_0005_6::{0..6})0 1|1 1|2 2|3 2|4 5|5 5|6 6)
ExtensionalSupportVA164(C0014_0009_6::{1..2, 5..6} C0014_0005_6::{1..2, 5..6} C0014_0_6::{0..6})0 0 0|0 1 0|0 2 4|0 3 4|0 4 4|0 5 5|0 6 0|1 0 0|1 1 1|1 2 4|1 3 4|1 4 4|1 5 5|1 6 1|2 0 4|2 1 4|2 2 2|2 3 3|2 4 4|2 5 5|2 6 2|3 0 4|3 1 4|3 2 3|3 3 3|3 4 4|3 5 5|3 6 3|4 0 4|4 1 4|4 2 4|4 3 4|4 4 4|4 5 5|4 6 4|5 0 5|5 1 5|5 2 5|5 3 5|5 4 5|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
XeqY73 : XeqY(N0014_6::{0..6}, C0014_0_6::{1..2, 4..6} )
ExtensionalSupportVA165(N0009_7::{1..2, 4..6} C0014_0009_7::{0..6})0 1|1 1|2 2|3 2|4 5|5 5|6 6)
ExtensionalSupportVA166(N0005_7::{1..2, 5..6} C0014_0005_7::{0..6})0 1|1 1|2 2|3 2|4 5|5 5|6 6)
ExtensionalSupportVA167(C0014_0009_7::{1..2, 5..6} C0014_0005_7::{1..2, 5..6} C0014_0_7::{0..6})0 0 0|0 1 0|0 2 4|0 3 4|0 4 4|0 5 5|0 6 0|1 0 0|1 1 1|1 2 4|1 3 4|1 4 4|1 5 5|1 6 1|2 0 4|2 1 4|2 2 2|2 3 3|2 4 4|2 5 5|2 6 2|3 0 4|3 1 4|3 2 3|3 3 3|3 4 4|3 5 5|3 6 3|4 0 4|4 1 4|4 2 4|4 3 4|4 4 4|4 5 5|4 6 4|5 0 5|5 1 5|5 2 5|5 3 5|5 4 5|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
XeqY74 : XeqY(N0014_7::{0..6}, C0014_0_7::{1..2, 4..6} )
ExtensionalSupportVA168(N0009_8::{1..2, 4..6} C0014_0009_8::{0..6})0 1|1 1|2 2|3 2|4 5|5 5|6 6)
ExtensionalSupportVA169(N0005_8::{1..2, 5..6} C0014_0005_8::{0..6})0 1|1 1|2 2|3 2|4 5|5 5|6 6)
ExtensionalSupportVA170(C0014_0009_8::{1..2, 5..6} C0014_0005_8::{1..2, 5..6} C0014_0_8::{0..6})0 0 0|0 1 0|0 2 4|0 3 4|0 4 4|0 5 5|0 6 0|1 0 0|1 1 1|1 2 4|1 3 4|1 4 4|1 5 5|1 6 1|2 0 4|2 1 4|2 2 2|2 3 3|2 4 4|2 5 5|2 6 2|3 0 4|3 1 4|3 2 3|3 3 3|3 4 4|3 5 5|3 6 3|4 0 4|4 1 4|4 2 4|4 3 4|4 4 4|4 5 5|4 6 4|5 0 5|5 1 5|5 2 5|5 3 5|5 4 5|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
XeqY75 : XeqY(N0014_8::{0..6}, C0014_0_8::{1..2, 4..6} )
ExtensionalSupportVA171(N0009_9::{1..2, 4..6} C0014_0009_9::{0..6})0 1|1 1|2 2|3 2|4 5|5 5|6 6)
ExtensionalSupportVA172(N0005_9::{1..2, 5..6} C0014_0005_9::{0..6})0 1|1 1|2 2|3 2|4 5|5 5|6 6)
ExtensionalSupportVA173(C0014_0009_9::{1..2, 5..6} C0014_0005_9::{1..2, 5..6} C0014_0_9::{0..6})0 0 0|0 1 0|0 2 4|0 3 4|0 4 4|0 5 5|0 6 0|1 0 0|1 1 1|1 2 4|1 3 4|1 4 4|1 5 5|1 6 1|2 0 4|2 1 4|2 2 2|2 3 3|2 4 4|2 5 5|2 6 2|3 0 4|3 1 4|3 2 3|3 3 3|3 4 4|3 5 5|3 6 3|4 0 4|4 1 4|4 2 4|4 3 4|4 4 4|4 5 5|4 6 4|5 0 5|5 1 5|5 2 5|5 3 5|5 4 5|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
XeqY76 : XeqY(N0014_9::{0..6}, C0014_0_9::{1..2, 4..6} )
ExtensionalSupportVA174(N0009_10::{1..2, 4..6} C0014_0009_10::{0..6})0 1|1 1|2 2|3 2|4 5|5 5|6 6)
ExtensionalSupportVA175(N0005_10::{1..2, 5..6} C0014_0005_10::{0..6})0 1|1 1|2 2|3 2|4 5|5 5|6 6)
ExtensionalSupportVA176(C0014_0009_10::{1..2, 5..6} C0014_0005_10::{1..2, 5..6} C0014_0_10::{0..6})0 0 0|0 1 0|0 2 4|0 3 4|0 4 4|0 5 5|0 6 0|1 0 0|1 1 1|1 2 4|1 3 4|1 4 4|1 5 5|1 6 1|2 0 4|2 1 4|2 2 2|2 3 3|2 4 4|2 5 5|2 6 2|3 0 4|3 1 4|3 2 3|3 3 3|3 4 4|3 5 5|3 6 3|4 0 4|4 1 4|4 2 4|4 3 4|4 4 4|4 5 5|4 6 4|5 0 5|5 1 5|5 2 5|5 3 5|5 4 5|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
XeqY77 : XeqY(N0014_10::{0..6}, C0014_0_10::{1..2, 4..6} )

// Resolving makes relationship for N0015
// L	MAKES	0013	0015
// L	MAKES	0012	0015
ExtensionalSupportVA177(N0013_0::{0..6} C0015_0013_0::{0..6})0 0|1 1|2 2|3 3|4 5|5 5|6 6)
ExtensionalSupportVA178(N0012_0::{0..3} C0015_0012_0::{0..6})0 0|1 1|2 2|3 3|4 5|5 5|6 6)
ExtensionalSupportVA179(C0015_0013_0::{0..3, 5..6} C0015_0012_0::{0..3} C0015_0_0::{0..6})0 0 0|0 1 0|0 2 4|0 3 4|0 4 4|0 5 5|0 6 0|1 0 0|1 1 1|1 2 4|1 3 4|1 4 4|1 5 5|1 6 1|2 0 4|2 1 4|2 2 2|2 3 3|2 4 4|2 5 5|2 6 2|3 0 4|3 1 4|3 2 3|3 3 3|3 4 4|3 5 5|3 6 3|4 0 4|4 1 4|4 2 4|4 3 4|4 4 4|4 5 5|4 6 4|5 0 5|5 1 5|5 2 5|5 3 5|5 4 5|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
XeqY78 : XeqY(N0015_0::{0..6}, C0015_0_0::{0..5} )
ExtensionalSupportVA180(N0013_1::{0..6} C0015_0013_1::{0..6})0 0|1 1|2 2|3 3|4 5|5 5|6 6)
ExtensionalSupportVA181(N0012_1::{0..3} C0015_0012_1::{0..6})0 0|1 1|2 2|3 3|4 5|5 5|6 6)
ExtensionalSupportVA182(C0015_0013_1::{0..3, 5..6} C0015_0012_1::{0..3} C0015_0_1::{0..6})0 0 0|0 1 0|0 2 4|0 3 4|0 4 4|0 5 5|0 6 0|1 0 0|1 1 1|1 2 4|1 3 4|1 4 4|1 5 5|1 6 1|2 0 4|2 1 4|2 2 2|2 3 3|2 4 4|2 5 5|2 6 2|3 0 4|3 1 4|3 2 3|3 3 3|3 4 4|3 5 5|3 6 3|4 0 4|4 1 4|4 2 4|4 3 4|4 4 4|4 5 5|4 6 4|5 0 5|5 1 5|5 2 5|5 3 5|5 4 5|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
XeqY79 : XeqY(N0015_1::{0..6}, C0015_0_1::{0..5} )
ExtensionalSupportVA183(N0013_2::{0..6} C0015_0013_2::{0..6})0 0|1 1|2 2|3 3|4 5|5 5|6 6)
ExtensionalSupportVA184(N0012_2::{0..3} C0015_0012_2::{0..6})0 0|1 1|2 2|3 3|4 5|5 5|6 6)
ExtensionalSupportVA185(C0015_0013_2::{0..3, 5..6} C0015_0012_2::{0..3} C0015_0_2::{0..6})0 0 0|0 1 0|0 2 4|0 3 4|0 4 4|0 5 5|0 6 0|1 0 0|1 1 1|1 2 4|1 3 4|1 4 4|1 5 5|1 6 1|2 0 4|2 1 4|2 2 2|2 3 3|2 4 4|2 5 5|2 6 2|3 0 4|3 1 4|3 2 3|3 3 3|3 4 4|3 5 5|3 6 3|4 0 4|4 1 4|4 2 4|4 3 4|4 4 4|4 5 5|4 6 4|5 0 5|5 1 5|5 2 5|5 3 5|5 4 5|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
XeqY80 : XeqY(N0015_2::{0..6}, C0015_0_2::{0..5} )
ExtensionalSupportVA186(N0013_3::{0..6} C0015_0013_3::{0..6})0 0|1 1|2 2|3 3|4 5|5 5|6 6)
ExtensionalSupportVA187(N0012_3::{0..3} C0015_0012_3::{0..6})0 0|1 1|2 2|3 3|4 5|5 5|6 6)
ExtensionalSupportVA188(C0015_0013_3::{0..3, 5..6} C0015_0012_3::{0..3} C0015_0_3::{0..6})0 0 0|0 1 0|0 2 4|0 3 4|0 4 4|0 5 5|0 6 0|1 0 0|1 1 1|1 2 4|1 3 4|1 4 4|1 5 5|1 6 1|2 0 4|2 1 4|2 2 2|2 3 3|2 4 4|2 5 5|2 6 2|3 0 4|3 1 4|3 2 3|3 3 3|3 4 4|3 5 5|3 6 3|4 0 4|4 1 4|4 2 4|4 3 4|4 4 4|4 5 5|4 6 4|5 0 5|5 1 5|5 2 5|5 3 5|5 4 5|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
XeqY81 : XeqY(N0015_3::{0..6}, C0015_0_3::{0..5} )
ExtensionalSupportVA189(N0013_4::{0..6} C0015_0013_4::{0..6})0 0|1 1|2 2|3 3|4 5|5 5|6 6)
ExtensionalSupportVA190(N0012_4::{0..3} C0015_0012_4::{0..6})0 0|1 1|2 2|3 3|4 5|5 5|6 6)
ExtensionalSupportVA191(C0015_0013_4::{0..3, 5..6} C0015_0012_4::{0..3} C0015_0_4::{0..6})0 0 0|0 1 0|0 2 4|0 3 4|0 4 4|0 5 5|0 6 0|1 0 0|1 1 1|1 2 4|1 3 4|1 4 4|1 5 5|1 6 1|2 0 4|2 1 4|2 2 2|2 3 3|2 4 4|2 5 5|2 6 2|3 0 4|3 1 4|3 2 3|3 3 3|3 4 4|3 5 5|3 6 3|4 0 4|4 1 4|4 2 4|4 3 4|4 4 4|4 5 5|4 6 4|5 0 5|5 1 5|5 2 5|5 3 5|5 4 5|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
XeqY82 : XeqY(N0015_4::{0..6}, C0015_0_4::{0..5} )
ExtensionalSupportVA192(N0013_5::{0..6} C0015_0013_5::{0..6})0 0|1 1|2 2|3 3|4 5|5 5|6 6)
ExtensionalSupportVA193(N0012_5::{0..3} C0015_0012_5::{0..6})0 0|1 1|2 2|3 3|4 5|5 5|6 6)
ExtensionalSupportVA194(C0015_0013_5::{0..3, 5..6} C0015_0012_5::{0..3} C0015_0_5::{0..6})0 0 0|0 1 0|0 2 4|0 3 4|0 4 4|0 5 5|0 6 0|1 0 0|1 1 1|1 2 4|1 3 4|1 4 4|1 5 5|1 6 1|2 0 4|2 1 4|2 2 2|2 3 3|2 4 4|2 5 5|2 6 2|3 0 4|3 1 4|3 2 3|3 3 3|3 4 4|3 5 5|3 6 3|4 0 4|4 1 4|4 2 4|4 3 4|4 4 4|4 5 5|4 6 4|5 0 5|5 1 5|5 2 5|5 3 5|5 4 5|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
XeqY83 : XeqY(N0015_5::{0..6}, C0015_0_5::{0..5} )
ExtensionalSupportVA195(N0013_6::{0..6} C0015_0013_6::{0..6})0 0|1 1|2 2|3 3|4 5|5 5|6 6)
ExtensionalSupportVA196(N0012_6::{0..3} C0015_0012_6::{0..6})0 0|1 1|2 2|3 3|4 5|5 5|6 6)
ExtensionalSupportVA197(C0015_0013_6::{0..3, 5..6} C0015_0012_6::{0..3} C0015_0_6::{0..6})0 0 0|0 1 0|0 2 4|0 3 4|0 4 4|0 5 5|0 6 0|1 0 0|1 1 1|1 2 4|1 3 4|1 4 4|1 5 5|1 6 1|2 0 4|2 1 4|2 2 2|2 3 3|2 4 4|2 5 5|2 6 2|3 0 4|3 1 4|3 2 3|3 3 3|3 4 4|3 5 5|3 6 3|4 0 4|4 1 4|4 2 4|4 3 4|4 4 4|4 5 5|4 6 4|5 0 5|5 1 5|5 2 5|5 3 5|5 4 5|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
XeqY84 : XeqY(N0015_6::{0..6}, C0015_0_6::{0..5} )
ExtensionalSupportVA198(N0013_7::{0..6} C0015_0013_7::{0..6})0 0|1 1|2 2|3 3|4 5|5 5|6 6)
ExtensionalSupportVA199(N0012_7::{0..3} C0015_0012_7::{0..6})0 0|1 1|2 2|3 3|4 5|5 5|6 6)
ExtensionalSupportVA200(C0015_0013_7::{0..3, 5..6} C0015_0012_7::{0..3} C0015_0_7::{0..6})0 0 0|0 1 0|0 2 4|0 3 4|0 4 4|0 5 5|0 6 0|1 0 0|1 1 1|1 2 4|1 3 4|1 4 4|1 5 5|1 6 1|2 0 4|2 1 4|2 2 2|2 3 3|2 4 4|2 5 5|2 6 2|3 0 4|3 1 4|3 2 3|3 3 3|3 4 4|3 5 5|3 6 3|4 0 4|4 1 4|4 2 4|4 3 4|4 4 4|4 5 5|4 6 4|5 0 5|5 1 5|5 2 5|5 3 5|5 4 5|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
XeqY85 : XeqY(N0015_7::{0..6}, C0015_0_7::{0..5} )
ExtensionalSupportVA201(N0013_8::{0..6} C0015_0013_8::{0..6})0 0|1 1|2 2|3 3|4 5|5 5|6 6)
ExtensionalSupportVA202(N0012_8::{0..3} C0015_0012_8::{0..6})0 0|1 1|2 2|3 3|4 5|5 5|6 6)
ExtensionalSupportVA203(C0015_0013_8::{0..3, 5..6} C0015_0012_8::{0..3} C0015_0_8::{0..6})0 0 0|0 1 0|0 2 4|0 3 4|0 4 4|0 5 5|0 6 0|1 0 0|1 1 1|1 2 4|1 3 4|1 4 4|1 5 5|1 6 1|2 0 4|2 1 4|2 2 2|2 3 3|2 4 4|2 5 5|2 6 2|3 0 4|3 1 4|3 2 3|3 3 3|3 4 4|3 5 5|3 6 3|4 0 4|4 1 4|4 2 4|4 3 4|4 4 4|4 5 5|4 6 4|5 0 5|5 1 5|5 2 5|5 3 5|5 4 5|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
XeqY86 : XeqY(N0015_8::{0..6}, C0015_0_8::{0..5} )
ExtensionalSupportVA204(N0013_9::{0..6} C0015_0013_9::{0..6})0 0|1 1|2 2|3 3|4 5|5 5|6 6)
ExtensionalSupportVA205(N0012_9::{0..3} C0015_0012_9::{0..6})0 0|1 1|2 2|3 3|4 5|5 5|6 6)
ExtensionalSupportVA206(C0015_0013_9::{0..3, 5..6} C0015_0012_9::{0..3} C0015_0_9::{0..6})0 0 0|0 1 0|0 2 4|0 3 4|0 4 4|0 5 5|0 6 0|1 0 0|1 1 1|1 2 4|1 3 4|1 4 4|1 5 5|1 6 1|2 0 4|2 1 4|2 2 2|2 3 3|2 4 4|2 5 5|2 6 2|3 0 4|3 1 4|3 2 3|3 3 3|3 4 4|3 5 5|3 6 3|4 0 4|4 1 4|4 2 4|4 3 4|4 4 4|4 5 5|4 6 4|5 0 5|5 1 5|5 2 5|5 3 5|5 4 5|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
XeqY87 : XeqY(N0015_9::{0..6}, C0015_0_9::{0..5} )
ExtensionalSupportVA207(N0013_10::{0..6} C0015_0013_10::{0..6})0 0|1 1|2 2|3 3|4 5|5 5|6 6)
ExtensionalSupportVA208(N0012_10 = 3 C0015_0012_10::{0..6})0 0|1 1|2 2|3 3|4 5|5 5|6 6)
ExtensionalSupportVA209(C0015_0013_10::{0..3, 5..6} C0015_0012_10 = 3 C0015_0_10::{0..6})0 0 0|0 1 0|0 2 4|0 3 4|0 4 4|0 5 5|0 6 0|1 0 0|1 1 1|1 2 4|1 3 4|1 4 4|1 5 5|1 6 1|2 0 4|2 1 4|2 2 2|2 3 3|2 4 4|2 5 5|2 6 2|3 0 4|3 1 4|3 2 3|3 3 3|3 4 4|3 5 5|3 6 3|4 0 4|4 1 4|4 2 4|4 3 4|4 4 4|4 5 5|4 6 4|5 0 5|5 1 5|5 2 5|5 3 5|5 4 5|5 5 5|5 6 5|6 0 0|6 1 1|6 2 2|6 3 3|6 4 4|6 5 5|6 6 6)
XeqY88 : XeqY(N0015_10::{0..6}, C0015_0_10::{3..5} )

/*
*   Step 3: Add constraints for relationships between Epochs.
*
*/
// C	=	0011  A 0004  A
XeqY89 : XeqY(E0011::{0..10}, E0004::{0..10} )
// C	=	0001  A	0006  A
XeqY90 : XeqY(E0001::{0..10}, E0006::{0..10} )

-- End of File --