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