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