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