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