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