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