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