Graph forms
for C4 [ 288, 225 ] = BGCG(PL(MSY(6,12,5,6));K1;3)
[Home] [Table] [Glossary]
[Families]
On this page are computer-accessible forms for the graph C4[ 288, 225 ] =
BGCG(PL(MSY(6,12,5,6));K1;3).
(I) Following is a form readable by MAGMA:
g:=Graph<288|{ {144, 153}, {137, 156}, {141, 151}, {139, 150}, {140, 145}, {131,
162}, {138, 174}, {142, 169}, {129, 172}, {130, 173}, {143, 160}, {133, 170},
{129, 177}, {141, 189}, {136, 190}, {135, 176}, {131, 186}, {133, 191}, {134,
184}, {132, 187}, {139, 203}, {144, 208}, {138, 194}, {137, 192}, {141, 195},
{140, 223}, {133, 210}, {144, 200}, {138, 214}, {137, 215}, {128, 224}, {136,
233}, {143, 238}, {138, 232}, {140, 239}, {142, 234}, {143, 231}, {130, 235},
{134, 237}, {142, 229}, {128, 244}, {139, 255}, {134, 242}, {136, 253}, {132,
243}, {129, 249}, {139, 247}, {132, 250}, {135, 248}, {124, 252}, {35, 162},
{70, 199}, {76, 205}, {90, 219}, {83, 209}, {109, 239}, {93, 223}, {63, 188},
{72, 203}, {99, 224}, {30, 154}, {127, 251}, {113, 245}, {58, 190}, {75, 207},
{102, 226}, {42, 175}, {55, 178}, {66, 196}, {88, 222}, {92, 218}, {96, 231},
{121, 254}, {120, 255}, {21, 157}, {51, 187}, {91, 211}, {71, 206}, {85, 220},
{31, 149}, {60, 182}, {46, 164}, {82, 216}, {67, 200}, {37, 169}, {90, 215},
{74, 196}, {118, 248}, {101, 235}, {42, 165}, {14, 159}, {125, 236}, {103, 246},
{66, 208}, {99, 241}, {10, 153}, {112, 227}, {56, 171}, {68, 215}, {6, 146},
{113, 229}, {69, 209}, {81, 197}, {103, 243}, {47, 186}, {105, 252}, {56, 173},
{97, 244}, {36, 178}, {52, 162}, {37, 179}, {12, 155}, {94, 201}, {95, 200},
{56, 160}, {117, 237}, {59, 163}, {76, 212}, {102, 254}, {45, 180}, {127, 230},
{63, 166}, {91, 194}, {98, 251}, {13, 151}, {123, 225}, {64, 218}, {38, 188},
{5, 158}, {60, 167}, {90, 193}, {13, 145}, {108, 240}, {33, 189}, {51, 174},
{100, 249}, {8, 150}, {122, 228}, {112, 238}, {39, 185}, {69, 219}, {72, 214},
{101, 250}, {57, 153}, {76, 236}, {103, 199}, {18, 179}, {119, 214}, {113, 208},
{55, 150}, {80, 241}, {9, 171}, {84, 246}, {62, 157}, {8, 172}, {105, 205}, {27,
190}, {110, 203}, {107, 206}, {105, 204}, {108, 202}, {111, 201}, {85, 242},
{126, 217}, {98, 197}, {13, 165}, {78, 230}, {60, 149}, {124, 213}, {4, 174},
{49, 155}, {29, 183}, {26, 176}, {18, 184}, {87, 253}, {15, 164}, {120, 211},
{117, 222}, {49, 154}, {30, 181}, {29, 182}, {73, 226}, {74, 225}, {92, 247},
{94, 245}, {11, 167}, {119, 219}, {113, 221}, {109, 193}, {106, 198}, {20, 185},
{62, 147}, {28, 177}, {73, 228}, {15, 161}, {114, 220}, {65, 239}, {22, 166},
{126, 206}, {89, 233}, {14, 191}, {35, 146}, {89, 232}, {96, 210}, {39, 148},
{112, 195}, {39, 147}, {64, 244}, {95, 234}, {127, 202}, {122, 207}, {27, 173},
{122, 204}, {118, 192}, {42, 156}, {7, 176}, {109, 218}, {27, 172}, {102, 209},
{97, 217}, {2, 187}, {25, 160}, {4, 189}, {11, 177}, {36, 158}, {12, 183}, {125,
198}, {65, 250}, {44, 151}, {99, 216}, {71, 251}, {20, 169}, {122, 199}, {121,
196}, {37, 152}, {30, 163}, {23, 170}, {96, 221}, {11, 181}, {107, 213}, {22,
168}, {93, 227}, {79, 240}, {107, 212}, {33, 225}, {104, 168}, {53, 245}, {55,
246}, {116, 181}, {37, 231}, {1, 194}, {109, 174}, {35, 224}, {93, 158}, {5,
193}, {33, 229}, {86, 146}, {58, 255}, {59, 254}, {9, 207}, {114, 180}, {112,
182}, {54, 240}, {25, 223}, {10, 204}, {100, 162}, {52, 243}, {82, 149}, {84,
147}, {96, 167}, {22, 222}, {123, 179}, {12, 197}, {119, 190}, {13, 196}, {94,
151}, {32, 234}, {61, 247}, {91, 145}, {40, 227}, {115, 184}, {62, 242}, {90,
150}, {25, 212}, {89, 148}, {4, 202}, {38, 232}, {21, 218}, {34, 237}, {2, 210},
{108, 188}, {59, 235}, {72, 152}, {29, 204}, {121, 168}, {52, 229}, {40, 249},
{36, 245}, {11, 217}, {125, 175}, {121, 171}, {118, 164}, {116, 166}, {115,
161}, {40, 250}, {98, 177}, {110, 189}, {50, 230}, {119, 163}, {115, 167}, {64,
148}, {73, 157}, {26, 207}, {68, 145}, {61, 232}, {57, 236}, {41, 252}, {36,
241}, {74, 159}, {77, 152}, {78, 155}, {17, 199}, {43, 253}, {100, 178}, {8,
223}, {57, 238}, {47, 248}, {15, 216}, {77, 154}, {21, 205}, {111, 183}, {16,
201}, {124, 165}, {62, 231}, {61, 228}, {6, 220}, {31, 197}, {17, 203}, {69,
159}, {24, 195}, {49, 234}, {29, 198}, {102, 186}, {65, 156}, {100, 185}, {55,
233}, {116, 170}, {60, 226}, {12, 211}, {46, 206}, {53, 213}, {19, 242}, {78,
175}, {83, 178}, {34, 192}, {63, 221}, {54, 212}, {87, 181}, {1, 226}, {58,
217}, {49, 210}, {23, 244}, {20, 247}, {2, 225}, {4, 224}, {120, 156}, {45,
201}, {44, 200}, {3, 230}, {86, 176}, {126, 152}, {70, 161}, {117, 146}, {59,
211}, {66, 170}, {81, 185}, {53, 220}, {65, 168}, {86, 191}, {95, 182}, {18,
248}, {115, 153}, {41, 195}, {22, 252}, {16, 251}, {38, 205}, {92, 183}, {95,
180}, {67, 175}, {120, 148}, {3, 237}, {23, 249}, {75, 165}, {6, 246}, {110,
158}, {106, 154}, {50, 194}, {101, 149}, {77, 188}, {28, 238}, {70, 180}, {73,
187}, {14, 253}, {51, 192}, {26, 233}, {85, 166}, {87, 164}, {10, 254}, {44,
216}, {93, 169}, {40, 221}, {104, 157}, {46, 219}, {5, 243}, {26, 236}, {21,
227}, {18, 228}, {9, 255}, {7, 241}, {101, 147}, {7, 240}, {54, 193}, {34, 213},
{28, 235}, {24, 239}, {86, 161}, {103, 159}, {39, 222}, {47, 214}, {41, 208},
{97, 155}, {88, 163}, {43, 215}, {67, 191}, {58, 198}, {70, 186}, {80, 172},
{44, 209}, {83, 173}, {94, 160}, {53, 202}, {71, 184}, {76, 179}, {84, 171},
{15, 271}, {31, 287}, {19, 273}, {27, 280}, {31, 284}, {19, 277}, {20, 275}, {3,
265}, {30, 276}, {6, 268}, {3, 264}, {28, 279}, {8, 261}, {16, 285}, {16, 286},
{1, 270}, {14, 257}, {23, 263}, {10, 280}, {17, 259}, {1, 276}, {25, 268}, {5,
272}, {56, 288}, {17, 267}, {24, 258}, {2, 284}, {24, 262}, {19, 269}, {9, 279},
{32, 256}, {54, 278}, {41, 266}, {61, 283}, {7, 288}, {32, 264}, {50, 282}, {48,
283}, {45, 257}, {63, 275}, {42, 263}, {50, 287}, {46, 259}, {43, 262}, {32,
270}, {47, 286}, {34, 272}, {43, 281}, {51, 256}, {48, 260}, {35, 278}, {38,
273}, {33, 282}, {48, 267}, {57, 261}, {48, 269}, {52, 265}, {45, 274}, {79,
271}, {67, 258}, {71, 260}, {80, 275}, {80, 277}, {91, 285}, {75, 268}, {88,
287}, {88, 273}, {64, 266}, {75, 257}, {79, 261}, {83, 281}, {68, 271}, {87,
284}, {79, 258}, {84, 283}, {89, 278}, {82, 256}, {92, 270}, {82, 262}, {68,
274}, {77, 282}, {69, 285}, {81, 264}, {66, 281}, {78, 274}, {81, 269}, {72,
277}, {74, 276}, {118, 278}, {104, 268}, {111, 267}, {108, 266}, {124, 282},
{106, 259}, {127, 277}, {106, 257}, {123, 272}, {116, 280}, {98, 271}, {97,
275}, {117, 263}, {110, 285}, {85, 288}, {114, 260}, {125, 266}, {104, 272},
{123, 259}, {111, 279}, {107, 274}, {114, 265}, {126, 261}, {99, 286}, {105,
276}, {128, 258}, {131, 256}, {141, 270}, {142, 267}, {129, 262}, {128, 264},
{143, 260}, {133, 265}, {130, 269}, {136, 263}, {135, 273}, {137, 287}, {131,
283}, {134, 284}, {140, 279}, {130, 286}, {132, 281}, {135, 280}, {144, 288}
}>;
(II) A more general form is to represent the graph as the orbit of {144, 153}
under the group generated by the following permutations:
a: (13, 61)(14, 62)(15, 63)(16, 64)(17, 65)(18, 66)(19, 67)(20, 68)(21, 69)(22,
70)(23, 71)(24, 72)(25, 55)(26, 56)(27, 57)(28, 58)(29, 59)(30, 60)(31, 49)(32,
50)(33, 51)(34, 52)(35, 53)(36, 54)(37, 43)(38, 44)(39, 45)(40, 46)(41, 47)(42,
48)(73, 74)(75, 84)(76, 83)(77, 82)(78, 81)(79, 80)(85, 86)(87, 96)(88, 95)(89,
94)(90, 93)(91, 92)(97, 98)(99, 108)(100, 107)(101, 106)(102, 105)(103,
104)(109, 110)(111, 120)(112, 119)(113, 118)(114, 117)(115, 116)(121, 122)(123,
132)(124, 131)(125, 130)(126, 129)(127, 128)(133, 134)(135, 144)(136, 143)(137,
142)(138, 141)(139, 140)(145, 247)(146, 220)(147, 257)(148, 201)(149, 154)(150,
223)(151, 232)(152, 262)(153, 280)(155, 197)(156, 267)(157, 159)(158, 193)(160,
233)(161, 166)(162, 213)(163, 182)(164, 221)(165, 283)(167, 181)(168, 199)(169,
215)(170, 184)(171, 207)(172, 261)(173, 236)(174, 189)(175, 269)(176, 288)(177,
217)(178, 212)(179, 281)(180, 222)(183, 211)(185, 274)(186, 252)(187, 225)(188,
216)(190, 238)(191, 242)(192, 229)(194, 270)(195, 214)(196, 228)(198, 235)(200,
273)(202, 224)(203, 239)(204, 254)(205, 209)(206, 249)(208, 248)(210, 284)(218,
285)(219, 227)(226, 276)(230, 264)(231, 253)(234, 287)(237, 265)(240, 241)(243,
272)(244, 251)(245, 278)(246, 268)(250, 259)(255, 279)(256, 282)(258, 277)(260,
263)(266, 286)(271, 275) (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, 12)(3, 11)(4, 10)(5, 9)(6, 8)(13, 21)(14, 20)(15, 19)(16, 18)(22, 24)(26,
36)(27, 35)(28, 34)(29, 33)(30, 32)(37, 45)(38, 44)(39, 43)(40, 42)(46, 48)(50,
60)(51, 59)(52, 58)(53, 57)(54, 56)(61, 69)(62, 68)(63, 67)(64, 66)(70, 72)(73,
91)(74, 92)(75, 93)(76, 94)(77, 95)(78, 96)(79, 85)(80, 86)(81, 87)(82, 88)(83,
89)(84, 90)(97, 133)(98, 134)(99, 135)(100, 136)(101, 137)(102, 138)(103,
139)(104, 140)(105, 141)(106, 142)(107, 143)(108, 144)(109, 121)(110, 122)(111,
123)(112, 124)(113, 125)(114, 126)(115, 127)(116, 128)(117, 129)(118, 130)(119,
131)(120, 132)(145, 157)(146, 172)(147, 215)(148, 281)(149, 287)(150, 246)(151,
205)(152, 180)(153, 202)(154, 234)(155, 210)(156, 250)(158, 207)(159, 247)(160,
212)(161, 277)(162, 190)(163, 256)(164, 269)(165, 227)(166, 258)(167, 230)(168,
239)(169, 257)(170, 244)(171, 193)(173, 278)(174, 254)(175, 221)(176, 241)(177,
237)(178, 233)(179, 201)(181, 264)(182, 282)(183, 225)(184, 251)(185, 253)(186,
214)(187, 211)(188, 200)(189, 204)(191, 275)(192, 235)(194, 226)(195, 252)(196,
218)(197, 284)(198, 229)(199, 203)(206, 260)(208, 266)(209, 232)(213, 238)(216,
273)(217, 265)(219, 283)(220, 261)(222, 262)(223, 268)(224, 280)(228, 285)(231,
274)(236, 245)(240, 288)(242, 271)(243, 255)(248, 286)(249, 263)(259, 267)(270,
276)(272, 279)
c: (1, 73, 2, 74)(3, 75, 12, 84)(4, 76, 11, 83)(5, 77, 10, 82)(6, 78, 9, 81)(7,
79, 8, 80)(13, 92, 62, 133)(14, 91, 61, 134)(15, 90, 72, 135)(16, 89, 71,
136)(17, 88, 70, 137)(18, 87, 69, 138)(19, 86, 68, 139)(20, 85, 67, 140)(21, 96,
66, 141)(22, 95, 65, 142)(23, 94, 64, 143)(24, 93, 63, 144)(25, 97, 56, 128)(26,
98, 55, 127)(27, 99, 54, 126)(28, 100, 53, 125)(29, 101, 52, 124)(30, 102, 51,
123)(31, 103, 50, 122)(32, 104, 49, 121)(33, 105, 60, 132)(34, 106, 59, 131)(35,
107, 58, 130)(36, 108, 57, 129)(37, 116, 44, 109)(38, 115, 43, 110)(39, 114, 42,
111)(40, 113, 41, 112)(45, 120, 48, 117)(46, 119, 47, 118)(145, 247, 242,
191)(146, 274, 255, 269)(147, 265, 165, 183)(148, 260, 263, 201)(149, 243, 282,
204)(150, 277, 176, 271)(151, 218, 231, 170)(152, 280, 216, 193)(153, 262, 158,
188)(154, 254, 256, 272)(155, 171, 264, 268)(156, 267, 222, 180)(157, 210, 196,
270)(159, 194, 228, 284)(160, 244)(161, 215, 203, 273)(162, 213, 198, 235)(163,
186, 192, 259)(164, 219, 214, 248)(166, 200, 239, 169)(167, 281, 189, 205)(168,
234)(172, 241, 240, 261)(173, 224, 212, 217)(174, 179, 181, 209)(175, 279, 185,
220)(177, 178, 202, 236)(182, 250, 229, 252)(184, 253, 285, 232)(187, 225, 276,
226)(190, 286, 278, 206)(195, 227, 221, 208)(197, 246, 230, 207)(199, 287)(211,
283, 237, 257)(223, 275, 288, 258)(233, 251)(238, 249, 245, 266)
d: (1, 13)(2, 14)(3, 15)(4, 16)(5, 17)(6, 18)(7, 19)(8, 20)(9, 21)(10, 22)(11,
23)(12, 24)(25, 61)(26, 62)(27, 63)(28, 64)(29, 65)(30, 66)(31, 67)(32, 68)(33,
69)(34, 70)(35, 71)(36, 72)(37, 55)(38, 56)(39, 57)(40, 58)(41, 59)(42, 60)(43,
49)(44, 50)(45, 51)(46, 52)(47, 53)(48, 54)(73, 75)(76, 84)(77, 83)(78, 82)(79,
81)(85, 135)(86, 134)(87, 133)(88, 144)(89, 143)(90, 142)(91, 141)(92, 140)(93,
139)(94, 138)(95, 137)(96, 136)(97, 129)(98, 128)(99, 127)(100, 126)(101,
125)(102, 124)(103, 123)(104, 122)(105, 121)(106, 132)(107, 131)(108, 130)(109,
111)(112, 120)(113, 119)(114, 118)(115, 117)(145, 270)(146, 184)(147, 236)(148,
238)(149, 175)(150, 169)(151, 194)(152, 178)(153, 222)(154, 281)(155, 262)(156,
182)(157, 207)(158, 203)(159, 225)(160, 232)(161, 237)(162, 206)(163, 208)(164,
265)(165, 226)(166, 280)(167, 263)(168, 204)(170, 181)(171, 205)(172, 275)(173,
188)(174, 201)(176, 242)(177, 244)(179, 246)(180, 192)(183, 239)(185, 261)(186,
213)(187, 257)(189, 285)(190, 221)(191, 284)(193, 267)(195, 211)(196, 276)(197,
258)(198, 250)(199, 272)(200, 287)(202, 286)(209, 282)(210, 253)(212, 283)(214,
245)(215, 234)(216, 230)(217, 249)(218, 279)(219, 229)(220, 248)(223, 247)(224,
251)(227, 255)(228, 268)(231, 233)(235, 266)(240, 269)(241, 277)(243, 259)(252,
254)(256, 274)(260, 278)(264, 271)(273, 288)
e: (1, 2)(3, 12)(4, 11)(5, 10)(6, 9)(7, 8)(13, 14)(15, 24)(16, 23)(17, 22)(18,
21)(19, 20)(25, 26)(27, 36)(28, 35)(29, 34)(30, 33)(31, 32)(37, 38)(39, 48)(40,
47)(41, 46)(42, 45)(43, 44)(49, 50)(51, 60)(52, 59)(53, 58)(54, 57)(55, 56)(61,
62)(63, 72)(64, 71)(65, 70)(66, 69)(67, 68)(85, 139)(86, 140)(87, 141)(88,
142)(89, 143)(90, 144)(91, 133)(92, 134)(93, 135)(94, 136)(95, 137)(96, 138)(97,
127)(98, 128)(99, 129)(100, 130)(101, 131)(102, 132)(103, 121)(104, 122)(105,
123)(106, 124)(107, 125)(108, 126)(109, 115)(110, 116)(111, 117)(112, 118)(113,
119)(114, 120)(145, 191)(146, 279)(147, 283)(148, 260)(149, 256)(150, 288)(151,
253)(152, 188)(153, 193)(154, 282)(155, 230)(156, 180)(157, 228)(158, 280)(159,
196)(160, 233)(161, 239)(162, 235)(163, 229)(164, 195)(165, 257)(166, 203)(167,
174)(168, 199)(169, 273)(170, 285)(171, 246)(172, 241)(173, 178)(175, 274)(176,
223)(177, 224)(179, 205)(181, 189)(182, 192)(183, 237)(184, 218)(185, 269)(186,
250)(187, 226)(190, 245)(194, 210)(197, 264)(198, 213)(200, 215)(201, 263)(202,
217)(204, 272)(206, 266)(207, 268)(208, 219)(209, 281)(211, 265)(212, 236)(214,
221)(216, 262)(220, 255)(222, 267)(225, 276)(227, 248)(231, 232)(234, 287)(238,
278)(240, 261)(242, 247)(243, 254)(244, 251)(249, 286)(252, 259)(258, 271)(270,
284)(275, 277)
C4[ 288, 225 ]
288
-1 276 226 270 194
-2 187 210 225 284
-3 264 265 237 230
-4 189 202 224 174
-5 243 158 193 272
-6 220 146 246 268
-7 176 288 240 241
-8 223 150 172 261
-9 255 279 171 207
-10 254 280 204 153
-11 177 167 181 217
-12 155 211 183 197
-13 165 145 151 196
-14 253 191 257 159
-15 161 216 271 164
-16 286 201 251 285
-17 199 267 203 259
-18 179 248 184 228
-19 242 277 269 273
-20 275 169 247 185
-21 157 205 227 218
-22 166 222 168 252
-23 244 170 249 263
-24 258 195 239 262
-25 212 223 268 160
-26 176 233 236 207
-27 190 280 172 173
-28 177 235 279 238
-29 198 182 204 183
-30 154 276 181 163
-31 287 149 284 197
-32 264 234 256 270
-33 189 225 282 229
-34 213 192 237 272
-35 146 278 224 162
-36 178 245 158 241
-37 231 179 169 152
-38 188 232 205 273
-39 222 147 148 185
-40 221 227 249 250
-41 266 195 208 252
-42 165 156 175 263
-43 253 215 281 262
-44 209 200 216 151
-45 201 180 257 274
-46 259 206 164 219
-47 286 214 248 186
-48 267 269 260 283
-49 154 155 210 234
-50 287 194 282 230
-51 187 256 192 174
-52 243 265 162 229
-53 220 245 202 213
-54 212 278 193 240
-55 178 233 246 150
-56 288 160 171 173
-57 236 238 261 153
-58 198 255 190 217
-59 254 211 235 163
-60 167 149 182 226
-61 232 247 228 283
-62 231 242 157 147
-63 275 166 188 221
-64 244 266 148 218
-65 156 168 239 250
-66 170 281 196 208
-67 200 191 258 175
-68 145 215 271 274
-69 209 159 219 285
-70 199 180 161 186
-71 260 184 206 251
-72 277 203 214 152
-73 187 157 226 228
-74 276 159 225 196
-75 165 257 268 207
-76 179 212 236 205
-77 154 188 282 152
-78 155 175 230 274
-79 258 271 261 240
-80 275 277 172 241
-81 264 269 185 197
-82 256 149 216 262
-83 209 178 281 173
-84 147 246 171 283
-85 220 242 166 288
-86 176 146 191 161
-87 253 181 284 164
-88 287 222 163 273
-89 232 233 278 148
-90 193 215 150 219
-91 145 211 194 285
-92 247 270 183 218
-93 223 158 169 227
-94 201 245 160 151
-95 200 234 180 182
-96 231 210 221 167
-97 275 155 244 217
-98 177 271 251 197
-99 286 224 216 241
-100 178 249 162 185
-101 147 235 149 250
-102 209 254 226 186
-103 199 243 246 159
-104 157 168 268 272
-105 276 204 205 252
-106 154 198 257 259
-107 212 213 206 274
-108 188 266 202 240
-109 193 239 174 218
-110 189 158 203 285
-111 201 267 279 183
-112 182 227 238 195
-113 221 245 229 208
-114 220 265 180 260
-115 167 161 184 153
-116 166 170 181 280
-117 222 146 237 263
-118 278 192 248 164
-119 190 214 163 219
-120 156 211 255 148
-121 254 168 171 196
-122 199 204 228 207
-123 179 225 259 272
-124 165 213 282 252
-125 198 266 236 175
-126 206 217 261 152
-127 277 202 251 230
-128 264 244 224 258
-129 177 172 249 262
-130 286 235 269 173
-131 256 162 283 186
-132 187 243 281 250
-133 210 265 191 170
-134 242 237 184 284
-135 176 280 248 273
-136 253 233 190 263
-137 287 156 192 215
-138 232 214 194 174
-139 255 203 247 150
-140 145 223 279 239
-141 189 270 151 195
-142 234 267 169 229
-143 231 160 238 260
-144 200 288 153 208
-145 13 68 91 140
-146 35 6 117 86
-147 101 39 62 84
-148 89 39 64 120
-149 101 60 82 31
-150 55 90 139 8
-151 44 13 94 141
-152 77 37 126 72
-153 144 57 115 10
-154 77 49 106 30
-155 12 78 49 97
-156 137 42 65 120
-157 104 62 73 21
-158 110 36 5 93
-159 14 69 103 74
-160 143 56 25 94
-161 15 70 115 86
-162 100 35 52 131
-163 88 59 30 119
-164 46 15 118 87
-165 13 124 42 75
-166 22 116 63 85
-167 11 60 115 96
-168 22 121 104 65
-169 37 93 20 142
-170 66 23 133 116
-171 121 56 84 9
-172 80 27 8 129
-173 56 27 83 130
-174 4 138 51 109
-175 67 78 125 42
-176 135 26 7 86
-177 11 28 129 98
-178 55 100 36 83
-179 123 37 18 76
-180 45 70 114 95
-181 11 116 30 87
-182 112 60 29 95
-183 12 111 92 29
-184 134 71 115 18
-185 100 81 39 20
-186 47 102 70 131
-187 132 2 51 73
-188 77 38 63 108
-189 33 110 4 141
-190 58 136 27 119
-191 67 133 14 86
-192 34 137 51 118
-193 90 5 54 109
-194 1 91 50 138
-195 24 112 41 141
-196 66 121 13 74
-197 12 81 31 98
-198 58 125 29 106
-199 122 70 103 17
-200 44 67 144 95
-201 45 111 16 94
-202 4 127 53 108
-203 110 17 72 139
-204 122 105 29 10
-205 38 105 21 76
-206 46 71 126 107
-207 122 26 9 75
-208 66 144 113 41
-209 44 69 102 83
-210 133 2 49 96
-211 12 91 59 120
-212 25 107 54 76
-213 34 124 107 53
-214 47 72 138 119
-215 68 90 137 43
-216 44 99 15 82
-217 11 58 126 97
-218 92 64 21 109
-219 46 90 69 119
-220 114 6 85 53
-221 113 40 63 96
-222 22 88 39 117
-223 25 93 8 140
-224 99 35 4 128
-225 33 2 123 74
-226 1 102 60 73
-227 112 93 40 21
-228 122 61 18 73
-229 33 113 52 142
-230 78 3 50 127
-231 143 37 62 96
-232 89 38 61 138
-233 55 89 26 136
-234 49 95 32 142
-235 101 59 28 130
-236 57 26 125 76
-237 34 134 3 117
-238 143 57 112 28
-239 24 140 65 109
-240 79 7 108 54
-241 99 36 80 7
-242 134 62 19 85
-243 132 103 5 52
-244 23 128 64 97
-245 36 113 94 53
-246 55 103 6 84
-247 92 61 139 20
-248 47 135 18 118
-249 23 100 40 129
-250 132 101 40 65
-251 16 71 127 98
-252 22 124 105 41
-253 14 136 43 87
-254 121 102 59 10
-255 58 139 9 120
-256 82 51 32 131
-257 45 14 106 75
-258 67 24 79 128
-259 46 123 17 106
-260 143 48 114 71
-261 57 79 126 8
-262 24 82 129 43
-263 23 136 117 42
-264 3 81 128 32
-265 133 3 114 52
-266 125 41 64 108
-267 111 48 17 142
-268 25 104 6 75
-269 48 81 19 130
-270 1 92 141 32
-271 68 79 15 98
-272 34 123 5 104
-273 88 135 38 19
-274 45 78 68 107
-275 80 63 20 97
-276 1 105 30 74
-277 80 72 127 19
-278 89 35 118 54
-279 111 28 140 9
-280 135 27 116 10
-281 66 132 83 43
-282 33 77 124 50
-283 48 61 84 131
-284 2 134 31 87
-285 110 69 91 16
-286 99 47 16 130
-287 88 137 50 31
-288 56 144 7 85
0