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