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