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