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