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