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