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