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