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