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