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