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