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