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