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