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