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