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