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