Graph forms
for C4 [ 432, 133 ] = UG(ATD[432,223])
[Home] [Table] [Glossary]
[Families]
On this page are computer-accessible forms for the graph C4[ 432, 133 ] =
UG(ATD[432,223]).
(I) Following is a form readable by MAGMA:
g:=Graph<432|{ {137, 139}, {360, 363}, {10, 14}, {395, 399}, {347, 351}, {138,
142}, {1, 4}, {411, 414}, {339, 342}, {187, 190}, {1, 7}, {386, 388}, {152,
158}, {171, 173}, {219, 220}, {243, 244}, {150, 158}, {289, 297}, {261, 269},
{215, 223}, {4, 13}, {323, 330}, {194, 200}, {209, 219}, {1, 10}, {341, 345},
{389, 393}, {34, 47}, {275, 286}, {308, 315}, {404, 411}, {3, 19}, {45, 60},
{389, 404}, {366, 383}, {234, 251}, {2, 16}, {262, 276}, {45, 63}, {322, 337},
{76, 88}, {259, 277}, {261, 275}, {1, 22}, {360, 383}, {37, 50}, {173, 186},
{77, 84}, {365, 372}, {130, 155}, {207, 213}, {353, 379}, {225, 251}, {2, 25},
{326, 349}, {7, 28}, {168, 179}, {3, 31}, {399, 403}, {332, 336}, {238, 242},
{104, 116}, {198, 218}, {43, 53}, {103, 121}, {163, 189}, {201, 215}, {78, 81},
{398, 401}, {218, 250}, {16, 49}, {384, 417}, {334, 367}, {150, 180}, {13, 46},
{282, 313}, {197, 230}, {203, 239}, {148, 177}, {328, 365}, {4, 34}, {340, 370},
{143, 169}, {204, 234}, {2, 37}, {19, 52}, {3, 43}, {71, 111}, {17, 57}, {205,
229}, {18, 59}, {336, 377}, {281, 304}, {257, 296}, {134, 175}, {92, 118}, {260,
302}, {20, 56}, {132, 168}, {204, 224}, {5, 40}, {77, 96}, {23, 58}, {221, 240},
{278, 312}, {386, 428}, {347, 373}, {7, 40}, {284, 307}, {129, 174}, {151, 184},
{258, 306}, {155, 170}, {280, 297}, {159, 174}, {5, 55}, {8, 58}, {414, 429},
{131, 183}, {344, 366}, {72, 127}, {206, 249}, {208, 232}, {147, 170}, {393,
432}, {336, 361}, {222, 231}, {196, 254}, {283, 289}, {256, 314}, {222, 228},
{6, 61}, {404, 431}, {267, 310}, {325, 376}, {76, 114}, {347, 357}, {155, 165},
{32, 96}, {305, 369}, {25, 88}, {303, 366}, {165, 231}, {22, 85}, {314, 377},
{33, 98}, {2, 70}, {272, 340}, {305, 375}, {4, 67}, {28, 91}, {186, 253}, {9,
64}, {157, 212}, {176, 249}, {5, 79}, {294, 364}, {267, 321}, {135, 205}, {131,
201}, {31, 85}, {178, 248}, {183, 252}, {312, 371}, {7, 73}, {266, 324}, {263,
329}, {137, 199}, {3, 76}, {275, 348}, {271, 320}, {133, 202}, {142, 193}, {17,
65}, {264, 345}, {284, 333}, {160, 243}, {312, 363}, {278, 325}, {16, 68}, {150,
194}, {32, 117}, {282, 335}, {180, 225}, {19, 69}, {277, 323}, {6, 94}, {24,
64}, {8, 82}, {28, 70}, {153, 194}, {257, 346}, {184, 227}, {309, 360}, {280,
326}, {317, 354}, {22, 118}, {285, 381}, {25, 121}, {270, 364}, {31, 124}, {284,
383}, {136, 235}, {146, 241}, {258, 358}, {311, 338}, {44, 75}, {293, 322},
{264, 367}, {9, 97}, {310, 350}, {307, 347}, {20, 124}, {17, 121}, {36, 77},
{305, 344}, {13, 103}, {288, 330}, {287, 373}, {136, 227}, {182, 221}, {269,
352}, {10, 100}, {289, 335}, {44, 66}, {26, 116}, {33, 81}, {273, 353}, {167,
214}, {133, 241}, {137, 253}, {5, 112}, {38, 80}, {27, 99}, {301, 341}, {39,
95}, {6, 127}, {318, 327}, {188, 197}, {16, 106}, {8, 115}, {299, 336}, {278,
365}, {23, 108}, {26, 102}, {169, 213}, {11, 118}, {19, 109}, {61, 189}, {291,
419}, {264, 392}, {94, 223}, {97, 226}, {291, 416}, {283, 408}, {260, 391},
{262, 387}, {101, 227}, {126, 248}, {108, 235}, {102, 238}, {293, 428}, {93,
215}, {114, 248}, {9, 130}, {55, 188}, {14, 133}, {59, 182}, {21, 132}, {309,
420}, {43, 185}, {18, 129}, {317, 425}, {21, 128}, {11, 157}, {66, 212}, {39,
177}, {24, 128}, {309, 429}, {71, 222}, {318, 423}, {110, 247}, {92, 197}, {56,
162}, {60, 167}, {125, 230}, {123, 224}, {67, 223}, {99, 254}, {113, 236}, {47,
177}, {37, 186}, {62, 161}, {50, 146}, {306, 402}, {85, 244}, {270, 431}, {15,
172}, {12, 169}, {113, 212}, {83, 246}, {46, 136}, {117, 211}, {95, 249}, {55,
145}, {20, 179}, {319, 408}, {105, 206}, {50, 149}, {111, 199}, {310, 414}, {12,
165}, {258, 427}, {27, 178}, {54, 156}, {91, 241}, {79, 229}, {61, 151}, {30,
181}, {103, 204}, {84, 255}, {73, 226}, {298, 390}, {14, 160}, {122, 212}, {58,
148}, {54, 153}, {89, 233}, {288, 400}, {21, 164}, {318, 399}, {274, 419}, {121,
200}, {10, 184}, {78, 252}, {44, 159}, {278, 421}, {72, 251}, {63, 140}, {274,
422}, {86, 227}, {302, 411}, {298, 415}, {96, 213}, {8, 190}, {281, 431}, {88,
238}, {86, 224}, {13, 187}, {38, 158}, {313, 385}, {18, 171}, {26, 163}, {21,
175}, {101, 223}, {82, 232}, {52, 142}, {49, 139}, {29, 166}, {267, 432}, {315,
391}, {100, 217}, {83, 237}, {85, 235}, {11, 180}, {277, 426}, {108, 211}, {89,
230}, {74, 245}, {362, 426}, {23, 214}, {342, 407}, {26, 216}, {356, 422}, {104,
170}, {100, 167}, {110, 173}, {29, 217}, {340, 400}, {40, 236}, {324, 396}, {27,
210}, {334, 391}, {6, 205}, {126, 181}, {343, 411}, {11, 198}, {108, 161}, {78,
129}, {327, 392}, {369, 417}, {379, 427}, {375, 423}, {323, 402}, {17, 195},
{120, 172}, {378, 430}, {27, 206}, {31, 202}, {104, 190}, {22, 193}, {382, 425},
{378, 418}, {9, 208}, {64, 154}, {28, 199}, {363, 432}, {122, 166}, {321, 413},
{12, 209}, {25, 196}, {14, 211}, {338, 397}, {348, 387}, {341, 394}, {123, 154},
{24, 250}, {354, 384}, {112, 146}, {109, 143}, {100, 134}, {30, 253}, {71, 163},
{118, 146}, {91, 190}, {359, 386}, {328, 429}, {106, 140}, {115, 149}, {80,
183}, {127, 152}, {371, 410}, {38, 204}, {331, 417}, {328, 418}, {43, 192},
{125, 150}, {74, 166}, {103, 137}, {33, 209}, {68, 182}, {350, 428}, {381, 398},
{351, 425}, {352, 406}, {39, 208}, {107, 156}, {105, 158}, {15, 247}, {125,
133}, {114, 139}, {119, 142}, {72, 178}, {111, 149}, {32, 220}, {111, 147},
{107, 151}, {65, 188}, {75, 181}, {45, 210}, {120, 376}, {35, 290}, {119, 374},
{124, 383}, {141, 398}, {112, 372}, {116, 370}, {35, 292}, {42, 301}, {168,
431}, {132, 396}, {23, 286}, {53, 316}, {126, 372}, {147, 409}, {44, 295}, {148,
415}, {81, 349}, {127, 371}, {129, 396}, {162, 428}, {167, 425}, {20, 283},
{183, 423}, {63, 302}, {67, 337}, {99, 369}, {102, 373}, {39, 306}, {97, 372},
{152, 397}, {47, 313}, {128, 406}, {57, 303}, {140, 410}, {33, 310}, {107, 380},
{96, 375}, {189, 421}, {74, 339}, {101, 377}, {80, 333}, {110, 368}, {134, 409},
{138, 405}, {38, 263}, {135, 422}, {15, 301}, {34, 256}, {40, 268}, {86, 370},
{32, 261}, {89, 380}, {50, 279}, {37, 259}, {88, 382}, {69, 355}, {66, 356},
{54, 272}, {52, 275}, {62, 281}, {162, 389}, {24, 304}, {123, 339}, {113, 345},
{61, 277}, {58, 274}, {46, 262}, {174, 390}, {51, 282}, {82, 379}, {18, 312},
{65, 363}, {191, 405}, {56, 276}, {141, 417}, {185, 405}, {30, 307}, {162, 399},
{164, 393}, {134, 424}, {83, 355}, {144, 416}, {155, 427}, {73, 376}, {46, 285},
{62, 269}, {144, 420}, {156, 424}, {95, 362}, {180, 386}, {49, 265}, {116, 332},
{87, 367}, {68, 380}, {55, 271}, {52, 268}, {29, 292}, {176, 393}, {92, 358},
{145, 427}, {59, 256}, {152, 419}, {189, 390}, {29, 289}, {93, 352}, {41, 279},
{87, 361}, {84, 362}, {90, 357}, {41, 361}, {210, 402}, {214, 406}, {59, 378},
{98, 291}, {70, 263}, {75, 265}, {214, 404}, {235, 424}, {49, 373}, {119, 307},
{225, 421}, {122, 316}, {216, 414}, {94, 281}, {107, 300}, {195, 395}, {216,
402}, {228, 430}, {97, 298}, {229, 430}, {60, 368}, {196, 392}, {237, 416}, {42,
357}, {255, 432}, {57, 374}, {54, 377}, {47, 352}, {207, 384}, {231, 424}, {34,
370}, {246, 422}, {192, 400}, {77, 287}, {82, 256}, {80, 258}, {120, 299}, {41,
381}, {249, 429}, {68, 273}, {201, 415}, {86, 257}, {240, 423}, {64, 280}, {202,
403}, {36, 382}, {70, 285}, {125, 294}, {112, 299}, {79, 276}, {205, 406}, {48,
364}, {220, 385}, {255, 418}, {247, 426}, {221, 384}, {73, 279}, {106, 308},
{74, 276}, {51, 339}, {62, 350}, {236, 397}, {252, 413}, {60, 350}, {91, 313},
{41, 333}, {67, 292}, {71, 288}, {36, 332}, {51, 345}, {240, 410}, {56, 338},
{65, 298}, {76, 295}, {69, 302}, {51, 351}, {102, 266}, {79, 291}, {232, 388},
{199, 426}, {252, 401}, {36, 330}, {126, 272}, {243, 412}, {57, 328}, {83, 290},
{232, 409}, {89, 299}, {95, 300}, {35, 343}, {237, 409}, {101, 273}, {63, 331},
{48, 325}, {124, 265}, {213, 416}, {240, 390}, {42, 349}, {66, 309}, {53, 332},
{35, 351}, {53, 329}, {115, 269}, {117, 266}, {219, 420}, {138, 265}, {209,
338}, {229, 358}, {136, 268}, {234, 364}, {251, 381}, {154, 285}, {239, 360},
{160, 295}, {165, 290}, {12, 388}, {15, 391}, {200, 320}, {45, 420}, {195, 329},
{201, 323}, {236, 359}, {130, 270}, {131, 271}, {217, 341}, {147, 286}, {242,
380}, {164, 308}, {245, 359}, {157, 270}, {254, 365}, {30, 394}, {159, 267},
{188, 296}, {171, 317}, {186, 300}, {184, 290}, {187, 288}, {245, 366}, {218,
321}, {193, 349}, {211, 334}, {250, 356}, {255, 353}, {177, 273}, {42, 395},
{145, 304}, {203, 361}, {139, 296}, {148, 311}, {198, 357}, {191, 282}, {228,
322}, {130, 293}, {230, 335}, {192, 362}, {207, 356}, {195, 367}, {221, 368},
{247, 346}, {222, 371}, {145, 319}, {200, 358}, {48, 415}, {239, 320}, {153,
297}, {172, 284}, {182, 260}, {246, 324}, {48, 388}, {143, 315}, {206, 379},
{140, 314}, {135, 319}, {219, 354}, {132, 318}, {176, 266}, {160, 283}, {242,
329}, {224, 348}, {175, 274}, {203, 374}, {161, 287}, {141, 306}, {248, 327},
{233, 342}, {156, 348}, {135, 326}, {179, 369}, {161, 354}, {194, 257}, {234,
297}, {157, 344}, {179, 374}, {217, 287}, {87, 400}, {246, 305}, {105, 430},
{164, 355}, {131, 331}, {185, 368}, {141, 327}, {178, 376}, {198, 268}, {78,
389}, {87, 412}, {143, 324}, {173, 353}, {90, 407}, {90, 405}, {244, 315}, {243,
316}, {153, 342}, {168, 359}, {170, 378}, {92, 397}, {144, 321}, {159, 333},
{245, 295}, {202, 280}, {218, 264}, {228, 304}, {238, 314}, {151, 322}, {241,
292}, {197, 272}, {144, 326}, {254, 296}, {225, 311}, {84, 396}, {128, 344},
{69, 412}, {90, 387}, {81, 392}, {75, 401}, {237, 311}, {149, 335}, {171, 375},
{250, 294}, {191, 355}, {226, 319}, {94, 385}, {154, 325}, {208, 271}, {106,
394}, {207, 303}, {187, 346}, {123, 408}, {115, 407}, {119, 403}, {226, 262},
{231, 259}, {242, 279}, {203, 301}, {105, 398}, {122, 413}, {193, 294}, {99,
395}, {239, 263}, {163, 331}, {166, 334}, {120, 401}, {72, 418}, {233, 259},
{109, 385}, {216, 308}, {174, 320}, {185, 343}, {191, 337}, {114, 413}, {181,
346}, {98, 403}, {244, 261}, {104, 410}, {113, 387}, {110, 412}, {138, 382},
{233, 286}, {93, 421}, {169, 337}, {172, 340}, {175, 343}, {196, 316}, {220,
293}, {253, 260}, {98, 408}, {109, 407}, {176, 330}, {215, 300}, {192, 317},
{210, 303}, {93, 419}, {117, 394} }>;
(II) A more general form is to represent the graph as the orbit of {137, 139}
under the group generated by the following permutations:
a: (2, 3)(4, 10)(5, 11)(6, 12)(7, 22)(8, 23)(9, 24)(13, 14)(16, 43)(17, 44)(18,
45)(19, 37)(20, 38)(21, 39)(25, 76)(26, 77)(27, 78)(28, 85)(29, 86)(30, 87)(31,
70)(32, 71)(33, 72)(34, 100)(35, 101)(36, 102)(40, 118)(41, 119)(42, 120)(46,
133)(47, 134)(48, 135)(49, 53)(50, 52)(51, 54)(55, 157)(56, 158)(57, 159)(59,
60)(61, 169)(62, 170)(63, 171)(65, 66)(67, 184)(68, 185)(69, 186)(73, 193)(74,
194)(75, 195)(79, 180)(80, 179)(81, 178)(82, 214)(83, 215)(84, 216)(89, 90)(91,
235)(92, 236)(93, 237)(94, 165)(95, 164)(96, 163)(97, 250)(98, 251)(99,
252)(103, 160)(104, 161)(105, 162)(106, 192)(107, 191)(108, 190)(109, 259)(110,
260)(111, 261)(112, 198)(113, 197)(114, 196)(115, 286)(116, 287)(117, 288)(121,
295)(122, 296)(123, 297)(124, 263)(125, 262)(126, 264)(127, 209)(128, 208)(129,
210)(130, 304)(131, 305)(132, 306)(136, 241)(137, 243)(138, 242)(139, 316)(140,
317)(141, 318)(142, 279)(143, 277)(144, 278)(145, 270)(146, 268)(147, 269)(148,
274)(149, 275)(150, 276)(151, 337)(152, 338)(153, 339)(154, 280)(155, 281)(156,
282)(166, 257)(167, 256)(168, 258)(172, 301)(173, 302)(174, 303)(175, 177)(181,
367)(182, 368)(183, 369)(187, 211)(188, 212)(189, 213)(199, 244)(200, 245)(201,
246)(202, 285)(203, 284)(204, 283)(205, 388)(206, 389)(207, 390)(217, 370)(218,
372)(219, 371)(220, 222)(223, 290)(224, 289)(225, 291)(226, 294)(227, 292)(228,
293)(229, 386)(230, 387)(231, 385)(232, 406)(233, 407)(234, 408)(238, 382)(239,
383)(240, 384)(247, 391)(248, 392)(249, 393)(253, 412)(254, 413)(255, 414)(265,
329)(266, 330)(267, 328)(271, 344)(272, 345)(273, 343)(298, 356)(299, 357)(300,
355)(307, 361)(308, 362)(309, 363)(310, 418)(311, 419)(312, 420)(313, 424)(314,
425)(315, 426)(319, 364)(320, 366)(321, 365)(323, 324)(325, 326)(331, 375)(332,
373)(333, 374)(334, 346)(335, 348)(336, 347)(340, 341)(349, 376)(350, 378)(351,
377)(352, 409)(353, 411)(354, 410)(358, 359)(379, 404)(380, 405)(381, 403)(394,
400)(395, 401)(396, 402)(398, 399)(415, 422)(416, 421)(417, 423)(427, 431)(428,
430)(429, 432) (III) Last is Groups&Graphs. Copy everything between (not including)
the lines of asterisks into a plain text file and save it as "graph.txt". Then
launch G&G (Groups&Graphs) and select Read Text from the File menu.
**************
&Graph **************
b: (1, 4, 67, 292, 241, 91, 313, 282, 335, 149, 115, 407, 342, 233, 286, 275,
348, 156, 424, 235, 136, 227, 184, 10)(2, 148, 69, 408, 242, 232, 315, 276, 336,
155, 117, 236, 340, 228, 287, 11, 346, 6, 425, 294, 137, 93, 185, 280)(3, 154,
68, 237, 243, 226, 314, 12, 334, 5, 116, 293, 341, 92, 288, 281, 347, 150, 426,
406, 138, 234, 186, 274)(7, 34, 337, 29, 146, 190, 385, 51, 230, 111, 269, 90,
153, 259, 23, 52, 224, 107, 134, 85, 46, 101, 290, 14)(8, 109, 339, 89, 147,
261, 387, 54, 231, 108, 268, 86, 151, 100, 22, 13, 223, 35, 133, 28, 47, 191,
289, 50)(9, 106, 338, 87, 145, 102, 386, 15, 229, 36, 270, 30, 152, 192, 24, 49,
225, 110, 135, 88, 48, 260, 291, 53)(16, 311, 412, 319, 238, 388, 391, 79, 332,
130, 394, 397, 400, 304, 373, 180, 247, 205, 382, 364, 253, 419, 43, 64)(17,
131, 414, 399, 239, 306, 393, 179, 333, 206, 396, 366, 401, 418, 375, 66, 248,
312, 384, 321, 254, 390, 45, 81)(18, 207, 413, 365, 240, 420, 392, 65, 331, 310,
395, 320, 402, 389, 374, 80, 249, 132, 383, 398, 255, 305, 44, 178)(19, 123,
380, 409, 244, 262, 377, 165, 211, 40, 370, 322, 217, 118, 187, 94, 351, 125,
199, 352, 405, 297, 37, 58)(20, 41, 379, 324, 245, 120, 378, 96, 212, 126, 371,
354, 218, 296, 189, 60, 349, 121, 201, 411, 403, 263, 39, 164)(21, 124, 381,
353, 246, 295, 376, 59, 213, 122, 372, 410, 219, 264, 188, 163, 350, 42, 200,
323, 404, 119, 38, 95)(25, 415, 302, 98, 329, 208, 308, 56, 361, 427, 266, 359,
172, 430, 77, 157, 181, 127, 317, 250, 139, 421, 368, 326)(26, 428, 301, 358,
330, 431, 307, 158, 362, 128, 265, 251, 173, 422, 76, 325, 182, 416, 316, 97,
140, 209, 367, 55)(27, 129, 303, 252, 328, 423, 309, 327, 363, 417, 267, 99,
174, 210, 78, 57, 183, 429, 318, 360, 141, 432, 369, 159)(31, 285, 273, 83, 160,
73, 256, 169, 166, 112, 104, 220, 345, 197, 71, 62, 357, 194, 277, 214, 142,
204, 300, 175)(32, 113, 272, 222, 161, 198, 257, 61, 167, 193, 103, 215, 343,
202, 70, 177, 355, 283, 279, 82, 143, 74, 299, 170)(33, 195, 271, 216, 162, 203,
258, 176, 168, 284, 105, 84, 344, 75, 72, 171, 356, 114, 278, 221, 144, 196,
298, 63)
c: (2, 94, 334, 180)(3, 79, 346, 165)(4, 10, 22, 7)(5, 187, 290, 31)(6, 391,
386, 25)(8, 351, 280, 299)(9, 332, 274, 307)(11, 70, 223, 211)(12, 76, 229,
247)(13, 184, 85, 40)(14, 118, 28, 67)(15, 388, 88, 205)(16, 281, 367, 225)(17,
189, 308, 168)(18, 45, 78, 27)(19, 276, 257, 231)(20, 188, 71, 355)(21, 374,
298, 26)(23, 357, 154, 377)(24, 361, 148, 373)(29, 125, 50, 313)(30, 130, 53,
419)(32, 212, 38, 300)(33, 248, 378, 368)(34, 100, 193, 73)(35, 202, 112,
190)(36, 422, 284, 208)(37, 385, 166, 150)(39, 77, 356, 333)(41, 177, 287,
250)(42, 325, 314, 214)(43, 291, 181, 155)(44, 258, 362, 213)(46, 227, 235,
268)(47, 217, 294, 279)(48, 238, 406, 301)(49, 304, 87, 311)(51, 297, 89,
115)(52, 262, 86, 424)(54, 286, 90, 123)(55, 288, 83, 124)(56, 296, 222, 69)(57,
390, 216, 132)(58, 347, 64, 336)(59, 60, 81, 178)(61, 315, 359, 121)(62, 264,
251, 68)(63, 389, 99, 312)(65, 163, 164, 179)(66, 80, 95, 96)(72, 182, 350,
392)(74, 194, 259, 109)(75, 427, 192, 416)(82, 425, 326, 120)(84, 207, 159,
306)(91, 292, 133, 146)(92, 199, 337, 160)(93, 394, 270, 329)(97, 116, 175,
119)(98, 126, 170, 185)(101, 108, 198, 285)(102, 128, 203, 415)(103, 151, 244,
236)(104, 343, 403, 372)(105, 173, 219, 413)(106, 431, 195, 421)(107, 261, 113,
204)(110, 209, 114, 430)(111, 191, 283, 197)(117, 157, 263, 215)(122, 158, 186,
220)(127, 260, 428, 196)(129, 210)(131, 176, 305, 360)(134, 142, 226, 370)(135,
172, 232, 382)(137, 322, 243, 397)(138, 319, 340, 409)(139, 228, 412, 338)(140,
404, 395, 278)(141, 255, 384, 267)(143, 245, 200, 277)(144, 401, 379, 317)(145,
400, 237, 265)(147, 405, 408, 272)(149, 282, 289, 230)(152, 253, 293, 316)(153,
233, 407, 339)(156, 275, 387, 224)(161, 218, 381, 273)(162, 254, 371, 302)(167,
349, 376, 256)(169, 295, 358, 426)(171, 420, 252, 206)(174, 402, 396, 303)(183,
249, 375, 309)(201, 266, 344, 239)(221, 310, 327, 418)(234, 380, 269, 345)(240,
414, 318, 328)(242, 352, 341, 364)(246, 383, 271, 330)(320, 323, 324, 366)(321,
398, 353, 354)(331, 393, 369, 363)(365, 410, 411, 399)(417, 432)(423, 429)
d: (1, 2)(4, 37)(5, 38)(6, 39)(7, 70)(8, 71)(9, 72)(10, 16)(11, 17)(12, 18)(13,
50)(14, 49)(15, 51)(19, 43)(20, 44)(21, 45)(22, 25)(23, 26)(24, 27)(29, 30)(31,
76)(32, 77)(33, 78)(34, 259)(35, 260)(36, 261)(40, 263)(41, 262)(42, 264)(46,
279)(47, 277)(48, 278)(52, 53)(55, 158)(56, 159)(57, 157)(58, 163)(59, 165)(60,
164)(61, 177)(62, 176)(63, 175)(64, 178)(65, 180)(66, 179)(67, 186)(68, 184)(69,
185)(73, 285)(74, 284)(75, 283)(79, 80)(82, 222)(83, 221)(84, 220)(85, 88)(86,
89)(87, 90)(91, 199)(92, 200)(93, 201)(94, 95)(97, 251)(98, 252)(99, 250)(100,
106)(101, 107)(102, 108)(103, 146)(104, 147)(105, 145)(109, 192)(110, 191)(111,
190)(112, 204)(113, 203)(114, 202)(115, 288)(116, 286)(117, 287)(118, 121)(119,
122)(120, 123)(124, 295)(125, 296)(126, 297)(127, 208)(128, 210)(129, 209)(130,
418)(131, 419)(132, 420)(133, 139)(134, 140)(135, 141)(136, 242)(137, 241)(138,
243)(142, 316)(143, 317)(144, 318)(148, 189)(149, 187)(150, 188)(151, 273)(152,
271)(153, 272)(154, 376)(155, 378)(156, 377)(160, 265)(161, 266)(162, 267)(166,
307)(167, 308)(168, 309)(169, 171)(172, 339)(173, 337)(174, 338)(181, 289)(182,
290)(183, 291)(193, 196)(194, 197)(195, 198)(205, 306)(206, 304)(207, 305)(211,
373)(212, 374)(213, 375)(214, 216)(217, 394)(218, 395)(219, 396)(223, 300)(224,
299)(225, 298)(226, 381)(227, 380)(228, 379)(229, 258)(230, 257)(231, 256)(232,
371)(233, 370)(234, 372)(235, 238)(236, 239)(237, 240)(244, 382)(245, 383)(246,
384)(247, 282)(248, 280)(249, 281)(253, 292)(254, 294)(255, 293)(268, 329)(269,
330)(270, 328)(274, 331)(275, 332)(276, 333)(301, 345)(302, 343)(303, 344)(310,
389)(311, 390)(312, 388)(313, 426)(314, 424)(315, 425)(319, 398)(320, 397)(321,
399)(322, 353)(323, 352)(324, 354)(326, 327)(334, 347)(335, 346)(336, 348)(340,
342)(349, 392)(350, 393)(351, 391)(355, 368)(356, 369)(357, 367)(359, 360)(361,
387)(362, 385)(363, 386)(364, 365)(400, 407)(401, 408)(402, 406)(403, 413)(404,
414)(405, 412)(409, 410)(415, 421)(416, 423)(417, 422)(427, 430)(428, 432)(429,
431)
C4[ 432, 133 ]
432
-1 22 4 7 10
-2 25 37 70 16
-3 19 31 43 76
-4 1 34 67 13
-5 55 79 112 40
-6 61 94 127 205
-7 1 28 40 73
-8 58 190 82 115
-9 64 97 130 208
-10 1 100 14 184
-11 198 157 180 118
-12 165 209 388 169
-13 187 46 4 103
-14 133 211 160 10
-15 301 247 391 172
-16 2 68 49 106
-17 121 57 195 65
-18 59 312 171 129
-19 3 69 52 109
-20 56 124 179 283
-21 132 128 164 175
-22 1 193 85 118
-23 286 58 214 108
-24 128 304 250 64
-25 88 121 2 196
-26 102 116 216 163
-27 99 210 178 206
-28 199 91 70 7
-29 166 289 292 217
-30 253 181 394 307
-31 3 124 202 85
-32 220 117 96 261
-33 209 310 81 98
-34 47 256 4 370
-35 343 290 292 351
-36 77 330 332 382
-37 2 50 259 186
-38 80 158 204 263
-39 177 95 306 208
-40 268 5 236 7
-41 333 279 381 361
-42 301 357 349 395
-43 3 192 53 185
-44 66 159 75 295
-45 210 420 60 63
-46 13 136 262 285
-47 352 34 177 313
-48 364 388 325 415
-49 265 16 139 373
-50 146 37 279 149
-51 345 282 339 351
-52 275 268 19 142
-53 332 316 43 329
-54 156 377 272 153
-55 188 145 5 271
-56 276 162 338 20
-57 374 17 303 328
-58 23 148 8 274
-59 256 378 182 18
-60 45 167 368 350
-61 189 277 6 151
-62 269 281 161 350
-63 45 331 302 140
-64 154 24 280 9
-65 363 188 298 17
-66 44 309 212 356
-67 223 4 292 337
-68 16 182 380 273
-69 355 302 412 19
-70 2 28 263 285
-71 111 222 288 163
-72 418 178 127 251
-73 376 279 226 7
-74 166 276 245 339
-75 44 265 181 401
-76 88 3 114 295
-77 287 36 84 96
-78 81 389 129 252
-79 276 5 291 229
-80 333 38 258 183
-81 33 78 392 349
-82 232 256 379 8
-83 355 246 290 237
-84 77 396 255 362
-85 22 244 235 31
-86 224 257 227 370
-87 367 400 412 361
-88 25 238 382 76
-89 233 299 380 230
-90 407 387 357 405
-91 190 313 28 241
-92 397 358 118 197
-93 352 419 421 215
-94 385 223 6 281
-95 300 39 249 362
-96 77 375 213 32
-97 298 226 9 372
-98 33 408 291 403
-99 254 27 369 395
-100 134 167 217 10
-101 223 377 227 273
-102 266 26 238 373
-103 121 13 137 204
-104 190 410 170 116
-105 430 398 158 206
-106 308 16 140 394
-107 156 300 380 151
-108 23 211 235 161
-109 143 385 407 19
-110 247 368 412 173
-111 199 147 71 149
-112 299 146 5 372
-113 387 212 345 236
-114 248 413 139 76
-115 407 269 149 8
-116 332 26 104 370
-117 211 266 394 32
-118 11 22 146 92
-119 374 403 142 307
-120 299 376 401 172
-121 200 25 103 17
-122 166 212 413 316
-123 154 408 224 339
-124 265 20 31 383
-125 133 150 294 230
-126 181 248 272 372
-127 6 72 371 152
-128 24 344 21 406
-129 396 78 18 174
-130 155 270 293 9
-131 331 201 183 271
-132 396 168 21 318
-133 14 125 202 241
-134 100 409 424 175
-135 319 422 205 326
-136 46 235 268 227
-137 253 199 103 139
-138 265 382 405 142
-139 114 49 137 296
-140 410 314 106 63
-141 398 327 306 417
-142 138 193 52 119
-143 169 324 315 109
-144 321 420 326 416
-145 55 319 304 427
-146 112 50 118 241
-147 286 111 409 170
-148 177 58 311 415
-149 111 115 335 50
-150 125 158 180 194
-151 322 61 107 184
-152 397 419 158 127
-153 297 342 194 54
-154 123 325 64 285
-155 165 170 130 427
-156 424 348 107 54
-157 11 212 344 270
-158 38 105 150 152
-159 44 267 333 174
-160 243 14 283 295
-161 287 354 62 108
-162 56 399 389 428
-163 331 189 26 71
-164 308 355 393 21
-165 231 12 155 290
-166 122 334 29 74
-167 100 60 214 425
-168 132 431 179 359
-169 143 12 213 337
-170 155 147 378 104
-171 375 18 173 317
-172 15 284 120 340
-173 110 353 171 186
-174 320 159 390 129
-175 134 343 21 274
-176 330 266 249 393
-177 47 148 39 273
-178 376 27 72 248
-179 374 168 369 20
-180 11 386 225 150
-181 126 346 30 75
-182 221 68 59 260
-183 80 423 131 252
-184 290 227 151 10
-185 343 368 405 43
-186 253 300 37 173
-187 13 288 190 346
-188 55 65 197 296
-189 421 390 61 163
-190 187 91 104 8
-191 355 282 337 405
-192 400 317 43 362
-193 22 294 349 142
-194 200 257 150 153
-195 367 17 329 395
-196 254 25 392 316
-197 188 92 272 230
-198 11 268 357 218
-199 111 137 28 426
-200 121 320 358 194
-201 323 215 415 131
-202 133 280 403 31
-203 374 301 239 361
-204 234 103 224 38
-205 135 6 229 406
-206 27 379 105 249
-207 213 356 303 384
-208 232 39 271 9
-209 33 12 338 219
-210 45 27 303 402
-211 14 334 117 108
-212 66 122 113 157
-213 169 96 207 416
-214 23 167 404 406
-215 201 223 300 93
-216 308 26 402 414
-217 341 100 287 29
-218 198 264 321 250
-219 209 220 354 420
-220 385 293 32 219
-221 368 182 240 384
-222 231 71 228 371
-223 67 101 94 215
-224 123 204 348 86
-225 311 421 180 251
-226 319 73 97 262
-227 101 136 184 86
-228 430 222 322 304
-229 430 79 358 205
-230 89 125 335 197
-231 165 222 259 424
-232 409 388 82 208
-233 286 89 342 259
-234 297 364 204 251
-235 136 424 85 108
-236 397 113 40 359
-237 409 311 83 416
-238 88 242 102 314
-239 320 203 360 263
-240 221 410 390 423
-241 133 91 146 292
-242 279 380 238 329
-243 244 412 160 316
-244 243 315 85 261
-245 366 359 74 295
-246 422 324 83 305
-247 110 15 346 426
-248 178 114 126 327
-249 176 429 95 206
-250 24 356 294 218
-251 234 225 72 381
-252 78 401 413 183
-253 137 260 30 186
-254 99 365 196 296
-255 418 353 432 84
-256 34 59 82 314
-257 346 194 86 296
-258 80 358 306 427
-259 231 233 277 37
-260 253 302 182 391
-261 275 244 269 32
-262 276 46 387 226
-263 70 38 239 329
-264 345 367 392 218
-265 124 49 138 75
-266 176 102 324 117
-267 310 321 432 159
-268 198 136 40 52
-269 352 115 62 261
-270 364 431 157 130
-271 55 320 131 208
-272 126 54 197 340
-273 177 353 68 101
-274 419 58 422 175
-275 286 348 52 261
-276 56 79 74 262
-277 323 61 259 426
-278 365 421 312 325
-279 242 50 73 41
-280 297 202 326 64
-281 431 94 62 304
-282 191 313 335 51
-283 408 289 160 20
-284 333 172 383 307
-285 154 46 70 381
-286 275 23 233 147
-287 77 161 217 373
-288 187 330 400 71
-289 297 335 29 283
-290 165 35 83 184
-291 419 79 416 98
-292 67 35 29 241
-293 220 322 130 428
-294 364 125 193 250
-295 44 245 160 76
-296 188 254 257 139
-297 234 289 280 153
-298 390 415 97 65
-299 89 112 336 120
-300 215 95 107 186
-301 341 15 203 42
-302 69 411 260 63
-303 210 57 366 207
-304 24 145 281 228
-305 375 344 246 369
-306 258 39 402 141
-307 347 30 119 284
-308 106 216 315 164
-309 66 429 420 360
-310 33 267 414 350
-311 148 225 237 338
-312 363 278 18 371
-313 385 47 91 282
-314 256 377 238 140
-315 143 308 244 391
-316 122 243 53 196
-317 354 192 171 425
-318 132 399 423 327
-319 408 145 135 226
-320 200 271 239 174
-321 144 267 413 218
-322 293 337 151 228
-323 330 277 201 402
-324 143 396 266 246
-325 154 376 278 48
-326 144 135 280 349
-327 248 392 141 318
-328 418 429 57 365
-329 242 195 53 263
-330 176 288 36 323
-331 63 163 131 417
-332 36 116 336 53
-333 80 159 41 284
-334 166 211 367 391
-335 289 149 282 230
-336 299 332 377 361
-337 67 322 169 191
-338 209 56 397 311
-339 342 123 51 74
-340 400 172 370 272
-341 301 345 217 394
-342 407 233 339 153
-343 35 411 185 175
-344 157 366 128 305
-345 264 341 113 51
-346 187 257 181 247
-347 357 307 351 373
-348 275 156 387 224
-349 81 193 326 42
-350 310 60 62 428
-351 35 347 51 425
-352 47 93 269 406
-353 255 379 173 273
-354 161 317 219 384
-355 69 191 83 164
-356 66 422 250 207
-357 198 90 347 42
-358 200 92 258 229
-359 386 168 245 236
-360 363 309 239 383
-361 203 336 41 87
-362 192 84 95 426
-363 432 312 360 65
-364 234 48 270 294
-365 254 278 328 372
-366 245 344 303 383
-367 264 334 195 87
-368 110 221 60 185
-369 99 179 305 417
-370 34 116 86 340
-371 222 410 312 127
-372 112 365 126 97
-373 287 102 49 347
-374 57 179 203 119
-375 423 171 96 305
-376 178 325 73 120
-377 101 314 336 54
-378 418 430 59 170
-379 353 82 206 427
-380 242 89 68 107
-381 398 41 251 285
-382 88 36 138 425
-383 124 366 360 284
-384 221 354 207 417
-385 220 313 94 109
-386 388 180 359 428
-387 90 113 348 262
-388 12 232 386 48
-389 78 162 393 404
-390 298 189 174 240
-391 15 334 260 315
-392 264 81 327 196
-393 176 432 389 164
-394 341 106 117 30
-395 99 399 195 42
-396 132 324 84 129
-397 92 236 338 152
-398 401 105 381 141
-399 403 162 318 395
-400 288 192 87 340
-401 398 75 120 252
-402 210 323 216 306
-403 399 202 119 98
-404 431 389 411 214
-405 90 191 138 185
-406 352 214 128 205
-407 342 90 115 109
-408 319 123 283 98
-409 232 134 147 237
-410 104 140 371 240
-411 343 302 414 404
-412 110 243 69 87
-413 122 321 114 252
-414 429 310 411 216
-415 298 201 48 148
-416 144 213 291 237
-417 331 369 141 384
-418 255 378 72 328
-419 93 291 152 274
-420 45 144 309 219
-421 189 278 93 225
-422 135 246 356 274
-423 375 183 240 318
-424 231 134 156 235
-425 167 382 317 351
-426 199 277 247 362
-427 155 145 258 379
-428 386 293 162 350
-429 309 249 414 328
-430 378 105 228 229
-431 168 270 281 404
-432 363 255 267 393
0