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