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