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