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