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