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