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