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