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