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