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