├── .gitignore ├── .travis.yml ├── Artifacts.toml ├── Project.toml ├── test ├── runtests.jl └── Test_L1_R1 ├── README.md ├── src └── ConnectFourSolver.jl └── LICENSE /.gitignore: -------------------------------------------------------------------------------- 1 | .DS_Store 2 | /Manifest.toml 3 | /dev/ 4 | -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- 1 | # Documentation: http://docs.travis-ci.com/user/languages/julia/ 2 | language: julia 3 | os: 4 | - linux 5 | julia: 6 | - 1.3 7 | - nightly 8 | notifications: 9 | email: false 10 | jobs: 11 | allow_failures: 12 | - julia: nightly 13 | fast_finish: true 14 | -------------------------------------------------------------------------------- /Artifacts.toml: -------------------------------------------------------------------------------- 1 | [books] 2 | git-tree-sha1 = "aaec206f133b2c1e6ac0303ba043aaeaaa713394" 3 | lazy = true 4 | 5 | [[books.download]] 6 | url="https://github.com/findmyway/connect4/releases/download/book/books.tar.gz" 7 | sha256="9a4e1e4e60bab1c42d474fd7b517d34d69b7545d7905c1004b719e26624fe49d" -------------------------------------------------------------------------------- /Project.toml: -------------------------------------------------------------------------------- 1 | name = "ConnectFourSolver" 2 | uuid = "c01be385-ab27-4b9c-92b7-2e6a77fbe7c3" 3 | authors = ["Jun Tian "] 4 | version = "0.1.0" 5 | 6 | [deps] 7 | ConnectFourSolver_jll = "5ab91c8a-5c16-538d-97cb-84915cefd4b0" 8 | CxxWrap = "1f15a43c-97ca-5a2a-ae31-89f07a497df4" 9 | Pkg = "44cfe95a-1eb2-52ea-b672-e2afdf69b78f" 10 | 11 | [compat] 12 | ConnectFourSolver_jll = "0.1" 13 | CxxWrap = "0.10" 14 | julia = "1.3" 15 | 16 | [extras] 17 | Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40" 18 | 19 | [targets] 20 | test = ["Test"] 21 | -------------------------------------------------------------------------------- /test/runtests.jl: -------------------------------------------------------------------------------- 1 | using ConnectFourSolver 2 | using Test 3 | 4 | @testset "ConnectFourSolver.jl" begin 5 | solver = Solver() 6 | book = get_book() 7 | load_book(solver, book) 8 | 9 | open(joinpath(@__DIR__, "Test_L1_R1")) do f 10 | for line in eachline(f) 11 | p = Position() 12 | moves, score = split(line) 13 | for x in moves 14 | p(parse(Int, x) - 1) # starts from 0 15 | end 16 | @test solver(p) == parse(Int, score) 17 | end 18 | end 19 | end 20 | -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- 1 | # ConnectFourSolver 2 | 3 | [![Build Status](https://travis-ci.com/findmyway/ConnectFourSolver.jl.svg?branch=master)](https://travis-ci.com/findmyway/ConnectFourSolver.jl) 4 | 5 | This package provides a Julia wrapper for [PascalPons/connect4](https://github.com/PascalPons/connect4). 6 | 7 | # Usage 8 | 9 | ```julia 10 | using ConnectFourSolver 11 | 12 | solver = Solver() 13 | book = get_book() 14 | load_book(solver, book) 15 | 16 | p = Position() 17 | solver(p) # 1 18 | 19 | for x in 0:6 20 | p′ = copy(p) 21 | p′(x) 22 | println(solver(p′)) 23 | end 24 | 25 | # 2 26 | # 1 27 | # 0 28 | # -1 29 | # 0 30 | # 1 31 | # 2 32 | ``` -------------------------------------------------------------------------------- /src/ConnectFourSolver.jl: -------------------------------------------------------------------------------- 1 | module ConnectFourSolver 2 | 3 | using CxxWrap 4 | using ConnectFourSolver_jll 5 | using Pkg.Artifacts 6 | 7 | export Solver, Position, load_book, get_book 8 | 9 | @wrapmodule libconnect4jl 10 | 11 | function get_book(book="7x6.book") 12 | book = joinpath(artifact"books", "books", book) 13 | !isfile(book) && error("book not found: $book") 14 | book 15 | end 16 | 17 | Base.copy(p::Position) = clone(p) 18 | 19 | "move starts with 0" 20 | (p::Position)(move::Int) = play(p, move) 21 | 22 | "the returned score is negmax" 23 | (solver::Solver)(p::Position, is_weak=false) = solve(solver, p, is_weak) 24 | 25 | function __init__() 26 | @initcxx 27 | end 28 | 29 | end # module -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- 1 | Copyright (c) 2020 Jun Tian 2 | 3 | Permission is hereby granted, free of charge, to any person obtaining a copy 4 | of this software and associated documentation files (the "Software"), to deal 5 | in the Software without restriction, including without limitation the rights 6 | to use, copy, modify, merge, publish, distribute, sublicense, and/or sell 7 | copies of the Software, and to permit persons to whom the Software is 8 | furnished to do so, subject to the following conditions: 9 | 10 | The above copyright notice and this permission notice shall be included in all 11 | copies or substantial portions of the Software. 12 | 13 | THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR 14 | IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, 15 | FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE 16 | AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER 17 | LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, 18 | OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE 19 | SOFTWARE. 20 | -------------------------------------------------------------------------------- /test/Test_L1_R1: -------------------------------------------------------------------------------- 1 | 32164625 11 2 | 6146 18 3 | 243335424257 12 4 | 5512243243536 13 5 | 22144426444 15 6 | 265756512 -12 7 | 65444437612 13 8 | 17516442226766 8 9 | 7343363417254 14 10 | 74746315233 15 11 | 5654767662 13 12 | 74642572132 15 13 | 51756773145177 -10 14 | 165746146225 -11 15 | 1562527227511 13 16 | 43745416472735 -13 17 | 42434653771434 9 18 | 1626434452343 13 19 | 6513243566177 12 20 | 43623536647361 11 21 | 35544262 12 22 | 33375546411 -12 23 | 427631264721 10 24 | 51615567 15 25 | 543772563551 14 26 | 27534134362633 10 27 | 7234472553 10 28 | 6126741462153 14 29 | 4737 18 30 | 7675456251 13 31 | 737534232264 -10 32 | 2615522 17 33 | 37416146447 -9 34 | 14254 18 35 | 24657443354 -9 36 | 421125247317 13 37 | 441672735 11 38 | 5416317226643 11 39 | 25545 18 40 | 716763353724 13 41 | 1242536267 -11 42 | 7311452532672 11 43 | 51322427 14 44 | 5276313436535 -12 45 | 47413665722 -11 46 | 13167624557 12 47 | 65225331 11 48 | 334275644 16 49 | 54622223337635 -12 50 | 7231776132635 -11 51 | 661613472611 -11 52 | 464652443565 -11 53 | 7336254227213 -9 54 | 1475174 17 55 | 614213513 -12 56 | 657251234112 10 57 | 72247 18 58 | 43214726 13 59 | 313341 17 60 | 3637124766 10 61 | 45713322723 15 62 | 4161457576 12 63 | 4752514115 14 64 | 6571456427113 11 65 | 1425525276343 14 66 | 22347273731 13 67 | 25144 18 68 | 32153635422 -9 69 | 4337377231257 -13 70 | 513432277262 14 71 | 76234731336425 11 72 | 523463127 16 73 | 76325166734314 -11 74 | 72244 18 75 | 25362556661 14 76 | 376645334561 12 77 | 34256765517435 12 78 | 6545423651 12 79 | 223331654 16 80 | 3574515645 15 81 | 4331773512476 -12 82 | 72122463145 10 83 | 74242117222573 -11 84 | 7313245 13 85 | 76727734653333 9 86 | 2231333175746 11 87 | 22523567532 10 88 | 557455364765 13 89 | 12447313567113 -13 90 | 475262114 -11 91 | 1425241 17 92 | 624261 17 93 | 3334574745 12 94 | 545355462 -12 95 | 7344247763144 11 96 | 735537451656 -13 97 | 6524141431 -13 98 | 13116246361136 10 99 | 6116442561763 14 100 | 624741213 -12 101 | 256613535637 9 102 | 45657176263 13 103 | 442317624273 -13 104 | 245541133241 13 105 | 33125264535526 -11 106 | 144476764 11 107 | 256646373 -10 108 | 614124 17 109 | 753626366367 11 110 | 24527634652517 -12 111 | 7714443114735 9 112 | 6114613746 12 113 | 127371462333 10 114 | 372364422621 9 115 | 375335 17 116 | 41166362123631 9 117 | 45675711324 -11 118 | 21114613653733 13 119 | 135441725732 12 120 | 635673616 11 121 | 373243162662 9 122 | 54662765362 15 123 | 333343 17 124 | 26551534743 13 125 | 31323347 13 126 | 4176221235771 10 127 | 76532215761655 -9 128 | 3115364713 13 129 | 575556156432 14 130 | 5544 18 131 | 72744157723432 -11 132 | 12462416526673 -12 133 | 3415552437652 13 134 | 762642 17 135 | 1664737326 -11 136 | 32161451752 11 137 | 473125476434 14 138 | 23644721411517 12 139 | 27164442432572 -12 140 | 72267122544677 -13 141 | 54516132144461 11 142 | 362236 17 143 | 6165621512444 10 144 | 712221454212 12 145 | 3561251232114 12 146 | 3224445327 15 147 | 73235641141 15 148 | 13475463423 15 149 | 22656563463 15 150 | 7615433736662 14 151 | 521244 17 152 | 2176656775 12 153 | 547561422235 13 154 | 746774466413 -13 155 | 63657527753723 -12 156 | 3643 18 157 | 542374177555 -9 158 | 32421655351546 -12 159 | 346247312 -12 160 | 35345615747415 -8 161 | 7227565724662 -10 162 | 16521753615552 8 163 | 113464152 12 164 | 7234616356741 12 165 | 55162243154111 12 166 | 47465542556114 11 167 | 3272634345157 13 168 | 46454432 13 169 | 3175372764 10 170 | 71424112261552 12 171 | 4151264723 12 172 | 2616527553214 14 173 | 457672175556 9 174 | 137324747 12 175 | 1416213444411 12 176 | 11376375724251 12 177 | 664724 17 178 | 1772143144624 13 179 | 326323127 11 180 | 625435133 16 181 | 7172513311461 9 182 | 3512734615664 13 183 | 6141 18 184 | 77673623653252 13 185 | 274547166 -12 186 | 16777772566554 13 187 | 427132473723 11 188 | 1177544326645 -13 189 | 4255 18 190 | 766124556711 10 191 | 26641 18 192 | 37551513 16 193 | 7532172141363 -11 194 | 32156676773417 -11 195 | 54243616127 15 196 | 7162112332 15 197 | 4155 18 198 | 4252362234 11 199 | 3435664531267 -11 200 | 75275774455736 13 201 | 1155422444 15 202 | 3357 18 203 | 5446244416 12 204 | 74322554243647 13 205 | 7214747762562 12 206 | 433267713625 14 207 | 253473155 12 208 | 564347 13 209 | 6624277635652 12 210 | 14754 18 211 | 24764621537462 13 212 | 63236747534616 -11 213 | 76433127114 -10 214 | 154756 12 215 | 57716636322465 13 216 | 44572163553 13 217 | 14431611533234 12 218 | 246335317214 12 219 | 1312453741665 -11 220 | 6644656355542 14 221 | 151611266 16 222 | 614175723132 -11 223 | 55614652233 -12 224 | 2272575333 12 225 | 774436 17 226 | 7413637 12 227 | 65612256572237 10 228 | 4551167743 12 229 | 33457262436 11 230 | 33113476451452 12 231 | 43144734462127 12 232 | 4771475271 14 233 | 74273443255735 12 234 | 25565244276167 13 235 | 76472267711541 11 236 | 267354377265 9 237 | 2663764513751 13 238 | 34412341157253 11 239 | 36262415 -11 240 | 75725143621614 11 241 | 5772323657 10 242 | 7322444321 -15 243 | 75676452332663 12 244 | 21742365545237 13 245 | 234351144 15 246 | 4115434436 13 247 | 356235724 12 248 | 4243132727 11 249 | 363652576761 12 250 | 45464137512 -14 251 | 72412417462734 10 252 | 163413547627 -12 253 | 6635123444 15 254 | 263157275 -12 255 | 72274356774447 12 256 | 514715175644 12 257 | 613137626 -12 258 | 3463121476676 9 259 | 421721714475 11 260 | 476227352241 14 261 | 25474623 13 262 | 54653556172 15 263 | 44763515774152 9 264 | 734231 12 265 | 1673525463 12 266 | 36477245374472 13 267 | 11426443471631 13 268 | 23243135 13 269 | 64317175324747 13 270 | 763735764253 12 271 | 72245465 -12 272 | 64722457675 13 273 | 731374167774 -14 274 | 43623254276633 10 275 | 5247757141475 -12 276 | 5723245227 15 277 | 725231744132 -11 278 | 62535726 11 279 | 147121634745 11 280 | 54564572675252 12 281 | 3115342413115 12 282 | 113614415162 11 283 | 34336261113357 13 284 | 3624277352155 10 285 | 26133344633 13 286 | 143233755615 14 287 | 5261 18 288 | 675714232415 -12 289 | 6454336623 -12 290 | 65513336476641 13 291 | 64177664567314 -13 292 | 6454214344 10 293 | 427243512 -11 294 | 341415317 11 295 | 4651627154627 11 296 | 77335576353573 -10 297 | 46425611574 -12 298 | 2654241342634 -10 299 | 5417154424744 11 300 | 714735322332 14 301 | 613542762746 14 302 | 2477646245615 -13 303 | 65316652123557 10 304 | 14417133756337 13 305 | 722763547244 12 306 | 11517653734222 10 307 | 37516612116754 10 308 | 2672237413 -15 309 | 326731467 -11 310 | 43677113276742 9 311 | 262225112 16 312 | 7673624775 15 313 | 372633 17 314 | 47126551632312 10 315 | 5224647753 -10 316 | 645426746366 -14 317 | 62255641114756 13 318 | 712724534761 11 319 | 72355133126166 11 320 | 4727464 -16 321 | 423122553 -14 322 | 6463666773374 14 323 | 74437 18 324 | 64422 18 325 | 2643763741 12 326 | 574666315 -15 327 | 6255126555342 10 328 | 242365117443 13 329 | 26647763123156 11 330 | 5672724563166 12 331 | 11645253 12 332 | 2116546252 10 333 | 234565433623 13 334 | 77535237273414 11 335 | 2553635322312 -8 336 | 3377247415 -12 337 | 621677243731 10 338 | 44273116655342 9 339 | 4731 18 340 | 172614275636 -12 341 | 47764457314 -12 342 | 31164576774275 10 343 | 77336214535636 12 344 | 335331 17 345 | 754135242 11 346 | 75465753 12 347 | 25134127516677 12 348 | 16244 18 349 | 4531361523323 12 350 | 332371221513 -11 351 | 5356646317 13 352 | 5266 18 353 | 3751262 -12 354 | 3472546632731 10 355 | 422361353113 13 356 | 347342243421 14 357 | 52126766555625 12 358 | 5747 18 359 | 4372325156663 -12 360 | 4626 18 361 | 53356536711 12 362 | 344126517354 13 363 | 4633 18 364 | 7156553733 14 365 | 146575271 13 366 | 27665436154 13 367 | 41214544563657 13 368 | 72266415465547 12 369 | 33142135454161 -9 370 | 742424353153 -14 371 | 4772534631522 -12 372 | 222261643424 -13 373 | 34471146735533 12 374 | 3117336113 12 375 | 31647721372577 10 376 | 27273233516 -14 377 | 15172122517 12 378 | 2237 18 379 | 2111134674537 14 380 | 7771424117 10 381 | 67667252561667 13 382 | 46555672753 15 383 | 273223 17 384 | 4722 18 385 | 6746155565233 10 386 | 26635216454163 11 387 | 446316175327 -11 388 | 26572643132214 -11 389 | 3572164735221 12 390 | 47356251275324 13 391 | 541163751 12 392 | 53411442577133 9 393 | 12656747233 -9 394 | 46534227164 -14 395 | 537354746426 -13 396 | 1331425152 11 397 | 263276 17 398 | 66232514357 12 399 | 12264244 11 400 | 4236455612277 11 401 | 57637214131741 10 402 | 57562635642622 10 403 | 31661212464 -12 404 | 667143131425 -11 405 | 4216153555174 -11 406 | 6575676251227 -12 407 | 1347624372265 9 408 | 463767254 -12 409 | 212435 12 410 | 6673462773646 10 411 | 6372322 17 412 | 35144445227552 -9 413 | 4621664552 11 414 | 362363 17 415 | 336514222 16 416 | 51112571 16 417 | 3627 18 418 | 12465256156552 -8 419 | 3163362652246 14 420 | 16331475247 15 421 | 25634614411267 10 422 | 71552775112713 12 423 | 655725555332 13 424 | 45344777356264 12 425 | 25233766 11 426 | 374246242356 14 427 | 44227721 16 428 | 153322575 11 429 | 5265142714517 10 430 | 66546614371 15 431 | 1124143135135 12 432 | 3436517155 11 433 | 3477122736 12 434 | 632654776451 12 435 | 5561245311575 -10 436 | 31235756126 -11 437 | 7174364473634 -13 438 | 4517417714516 -8 439 | 62765532342624 -12 440 | 227736 17 441 | 6626215557425 -9 442 | 13372526 12 443 | 76424123542 -13 444 | 22765557543 15 445 | 556215 17 446 | 51353616 12 447 | 31554342273 -13 448 | 5742226255757 -13 449 | 6574547333 -12 450 | 1621474425114 -13 451 | 51524543 15 452 | 74445566262 13 453 | 7532242136211 -12 454 | 4266 18 455 | 32544521 13 456 | 43334444222372 12 457 | 214552753546 14 458 | 471746755 -12 459 | 27452375615543 12 460 | 4343356367 13 461 | 731521534 13 462 | 15474326 12 463 | 1143236527474 -11 464 | 6651 18 465 | 3157 18 466 | 7143525 -12 467 | 27674542357 -11 468 | 67125143564273 11 469 | 57277146633232 13 470 | 77133513274142 10 471 | 652526411316 13 472 | 566221227257 9 473 | 2321337253 14 474 | 426147 12 475 | 5162523664531 -12 476 | 1772241 17 477 | 77434635 13 478 | 43121642175 -9 479 | 116612614341 10 480 | 55713565244644 -9 481 | 45342133256451 -12 482 | 5625625156362 -9 483 | 362662 17 484 | 77474477 13 485 | 54227415627542 -9 486 | 132364267316 -11 487 | 2462434577 12 488 | 661715272343 10 489 | 6551475664 14 490 | 26634754676256 12 491 | 3261333267 14 492 | 3154435743 12 493 | 1234224532255 -9 494 | 6543465521331 13 495 | 32746327644337 10 496 | 2433227223 -11 497 | 16134527371 -12 498 | 4757 18 499 | 5531745642714 -9 500 | 5271271753 11 501 | 44753722416 15 502 | 567267376173 12 503 | 42372656412 -13 504 | 214661761142 13 505 | 341566622555 12 506 | 3426456142 13 507 | 1561124675155 11 508 | 451716411277 9 509 | 55556215 16 510 | 251343651 16 511 | 4372572627445 -13 512 | 746634153 13 513 | 57434546312471 11 514 | 622342627 -10 515 | 43416727356 -12 516 | 472674 17 517 | 224427 17 518 | 3447526734 15 519 | 77343421322 -11 520 | 447356277413 -12 521 | 3231537724 15 522 | 57244122 13 523 | 2134573746 15 524 | 14563422277 15 525 | 534712577143 11 526 | 71776343633 -14 527 | 6645335711143 -12 528 | 5736524566 15 529 | 4332626222 14 530 | 153336355752 -14 531 | 4317211637364 -10 532 | 42432175 16 533 | 66746612231276 -10 534 | 7476532341622 -12 535 | 52537755354 -14 536 | 234541 13 537 | 76252256152162 10 538 | 631473765 13 539 | 74644475155152 -13 540 | 757326626125 -13 541 | 6645357675 -14 542 | 133272714731 9 543 | 53551421632534 13 544 | 7417423666 10 545 | 54454224311 -13 546 | 4125341564661 13 547 | 347654366145 9 548 | 176146 17 549 | 64455157 13 550 | 15573256676145 13 551 | 655631444152 12 552 | 4434 18 553 | 553531 17 554 | 76445321377 12 555 | 267734413755 11 556 | 7134774225575 -11 557 | 1353322321 13 558 | 5747415 -12 559 | 414731 17 560 | 37361243217571 9 561 | 52247742264 -9 562 | 5672241227 12 563 | 35545132 13 564 | 152764113637 9 565 | 2736 18 566 | 5131 18 567 | 67743217454126 12 568 | 2243631565 -13 569 | 5632316614 15 570 | 654424711477 -10 571 | 2742 18 572 | 26533771111321 13 573 | 56662226723 -9 574 | 47175323542122 12 575 | 6466275151 13 576 | 333446257552 13 577 | 325257 12 578 | 621454551432 -13 579 | 34232351726 11 580 | 2512564363527 13 581 | 4756324221 11 582 | 5122554611576 -13 583 | 232575377 13 584 | 57516743624 -12 585 | 57211255634745 10 586 | 412472 17 587 | 7715142517313 11 588 | 755411613126 -11 589 | 2171577253 10 590 | 2436627465171 11 591 | 3155567523331 13 592 | 42246767234173 10 593 | 124643137655 10 594 | 5214646432 -15 595 | 57756425547 13 596 | 762562464551 10 597 | 34777512346 12 598 | 7333616562274 -13 599 | 277517225211 9 600 | 3313245 14 601 | 364766114 -12 602 | 5665565125654 -10 603 | 336422732466 -13 604 | 2123222623661 13 605 | 572657366 -12 606 | 4734 18 607 | 362322 17 608 | 21543434133325 -13 609 | 36272522453 -12 610 | 57474452 15 611 | 2511266 17 612 | 11745742763154 13 613 | 3757 18 614 | 437637465634 -11 615 | 2276675463 10 616 | 1337145257 11 617 | 3355 18 618 | 357775342714 -13 619 | 436141354 -12 620 | 16566165516 -10 621 | 431146161732 11 622 | 74424 18 623 | 424264 17 624 | 54141555573 14 625 | 34456426714436 13 626 | 54615341 11 627 | 231357646 11 628 | 56753344631 14 629 | 4525631273 -11 630 | 22257151465531 9 631 | 4274631226266 10 632 | 3464524723342 14 633 | 47713114137731 13 634 | 25411234316 14 635 | 656422433532 13 636 | 24225624732727 -11 637 | 7536242236147 12 638 | 11632474451 13 639 | 231512744273 -13 640 | 26327161427 -11 641 | 5157531546 12 642 | 3736514 -12 643 | 32163126 11 644 | 521635127245 -13 645 | 71353555424651 11 646 | 1356262343 -12 647 | 712342354522 13 648 | 6413661373 -12 649 | 56576416 14 650 | 416332464 -14 651 | 2733 18 652 | 41272571364 -10 653 | 7767633666645 14 654 | 7556555542416 -12 655 | 477731 17 656 | 7121141547463 -10 657 | 34231416237 14 658 | 1625472341736 -11 659 | 21541553311247 12 660 | 16566221514255 10 661 | 33362325763 13 662 | 641461257525 -11 663 | 255337662633 12 664 | 1325654 13 665 | 665565 17 666 | 1411277417733 11 667 | 4134 18 668 | 13625622524 -11 669 | 264762 17 670 | 2263543751 12 671 | 36376254 12 672 | 32762452764143 9 673 | 2275326225673 11 674 | 52747236122311 -12 675 | 2152117764613 11 676 | 3747212617771 -12 677 | 547463267 13 678 | 31253245574116 13 679 | 71326637 11 680 | 35524513617477 -12 681 | 6235333111 12 682 | 574332441774 14 683 | 3237452563143 13 684 | 64572753 11 685 | 4113471221775 -12 686 | 47417661 12 687 | 326475334145 11 688 | 525377 12 689 | 356233575577 11 690 | 2735725121527 13 691 | 374373 17 692 | 3474136575673 13 693 | 53722231 15 694 | 6543311625 12 695 | 23363437544 -11 696 | 24615312553432 13 697 | 65623372664 12 698 | 43654255 16 699 | 533253253152 12 700 | 1462465355346 9 701 | 27674224 16 702 | 2455146 12 703 | 2476553366716 12 704 | 76777547444724 13 705 | 77463637 16 706 | 6452247612553 13 707 | 6653245777 10 708 | 42123365632536 -13 709 | 32224647262217 12 710 | 215364363525 12 711 | 4433 18 712 | 27246531 12 713 | 74513716476324 -10 714 | 76212673773 14 715 | 7242233176 10 716 | 13261755733621 -9 717 | 5737 18 718 | 7257434174252 -12 719 | 2215435461366 11 720 | 5562 18 721 | 61243536 12 722 | 362272 17 723 | 664365147 16 724 | 364735761 -10 725 | 64732327731652 -12 726 | 635756624637 12 727 | 67211452135745 9 728 | 51134133635 -11 729 | 5236441122751 14 730 | 1122122427371 10 731 | 2413514662 12 732 | 435654667573 -14 733 | 742641741512 -9 734 | 727477161623 -14 735 | 33413745333127 8 736 | 24534141354 -11 737 | 465416526173 11 738 | 113414216 16 739 | 6623664414236 14 740 | 17457357354171 13 741 | 233315146151 14 742 | 337272613167 11 743 | 77443144 16 744 | 5465242 12 745 | 631565777 11 746 | 26277547 11 747 | 67367754551 14 748 | 156132615114 11 749 | 2361671166624 12 750 | 2161444224242 -13 751 | 131525653457 14 752 | 417553113521 13 753 | 6245554557371 9 754 | 127477637223 -14 755 | 62551445243 15 756 | 357316422475 -11 757 | 4174522731543 -11 758 | 16446744515347 12 759 | 4727 18 760 | 67345552141 15 761 | 725554331 15 762 | 756315421526 -14 763 | 354414424 13 764 | 4455 18 765 | 5256164447 13 766 | 5246175563174 -9 767 | 4542616123225 -12 768 | 66764135331546 -13 769 | 4137 18 770 | 6742255316 12 771 | 1177773351 15 772 | 7123653473537 -13 773 | 6261575 -12 774 | 7671256572614 -11 775 | 32446337651 15 776 | 336422231 15 777 | 2374514715 10 778 | 3415153323324 14 779 | 77473263764115 11 780 | 654271373141 10 781 | 477751 17 782 | 243255616412 -13 783 | 34236531255732 10 784 | 45265756 11 785 | 453116256141 11 786 | 755162533347 14 787 | 62144541376217 12 788 | 375416463271 11 789 | 1241134156134 -12 790 | 37666715542163 9 791 | 5234327421153 -13 792 | 247426363 11 793 | 73114411731465 -8 794 | 757526431 11 795 | 244133355142 14 796 | 326127325 -15 797 | 75564222555325 10 798 | 655145246566 -11 799 | 3151 18 800 | 3522566233353 13 801 | 653333756317 11 802 | 4157 18 803 | 3453232232167 12 804 | 373357 17 805 | 263451655367 14 806 | 144144461 16 807 | 25512364 12 808 | 633457477365 12 809 | 425653 13 810 | 5246453465122 14 811 | 6522325464536 -13 812 | 726323227 16 813 | 22566535545 13 814 | 6775151311677 11 815 | 6636245447123 10 816 | 41437532 16 817 | 54676617546433 -13 818 | 23564374115674 -12 819 | 34654747 12 820 | 24732455556 15 821 | 775527643 15 822 | 6742253636 12 823 | 223632712465 11 824 | 4577227733717 14 825 | 135556261437 12 826 | 3512336314343 12 827 | 52535561465437 11 828 | 26134314622 14 829 | 74633145672 -12 830 | 466662572321 12 831 | 7241171347 14 832 | 4573217134541 12 833 | 3226623443241 12 834 | 115737 17 835 | 61765435756 10 836 | 5344561374244 12 837 | 73732143441177 -13 838 | 6425133637 12 839 | 647467131 11 840 | 61635636463167 12 841 | 23577341162416 -11 842 | 2421663275266 10 843 | 443674 17 844 | 43776542766663 12 845 | 443533747542 -9 846 | 312627371 -11 847 | 531432254 -13 848 | 3532724571777 11 849 | 47764211357713 11 850 | 171467553 11 851 | 3727 18 852 | 444255 17 853 | 31751635244212 8 854 | 24415366445632 12 855 | 442261 17 856 | 314241 12 857 | 76542744674 14 858 | 621151271121 14 859 | 1525637546 -15 860 | 2347526522562 14 861 | 5561 18 862 | 4763264275456 -12 863 | 421255 17 864 | 6537442374536 10 865 | 772556351154 13 866 | 7566151452 -15 867 | 633573775765 12 868 | 331423221127 -11 869 | 5217574243766 -12 870 | 1572142465324 14 871 | 2741772553 12 872 | 352236556267 14 873 | 1456356423 -13 874 | 535642123175 9 875 | 775751775665 12 876 | 4223774671 11 877 | 544722374636 12 878 | 254531145 12 879 | 45677553421671 13 880 | 32551373567 13 881 | 53325236433355 12 882 | 65665722464 -14 883 | 33446362166 13 884 | 74234273614 15 885 | 11677136 16 886 | 146121641 11 887 | 666437755157 12 888 | 57734117127644 13 889 | 1656615147226 -8 890 | 46633231 11 891 | 716326452416 -13 892 | 24254 18 893 | 75262212725116 -8 894 | 445112 17 895 | 4254 18 896 | 674172474 -11 897 | 443741 17 898 | 1264272227551 10 899 | 56134544742566 -13 900 | 222376657265 -14 901 | 53114372422 -13 902 | 54772246547344 13 903 | 225364625643 11 904 | 1154721171333 14 905 | 76637227273 15 906 | 6162523673561 -9 907 | 5566215653342 -9 908 | 4324545214 -13 909 | 36263267 16 910 | 6427765276143 14 911 | 55242621153 -12 912 | 2514225 17 913 | 22432173564115 13 914 | 57233522367465 11 915 | 6763715173571 10 916 | 3631344 -11 917 | 43473153411 -9 918 | 41255721623552 13 919 | 1175151752522 10 920 | 723622246562 12 921 | 745327174144 10 922 | 271311233741 9 923 | 2527323735655 -12 924 | 55627437126571 -8 925 | 6773162425 11 926 | 7723442251163 12 927 | 63142544442172 13 928 | 34571247412274 12 929 | 33555312262 12 930 | 455322253623 13 931 | 146716344766 -10 932 | 5566 18 933 | 33732622353532 -9 934 | 752435247 11 935 | 47562342 12 936 | 7424275365 -12 937 | 52557165112454 -13 938 | 5745 18 939 | 455364534125 12 940 | 25275266474 -11 941 | 45327553531355 -12 942 | 31152761374542 11 943 | 71313446156553 11 944 | 4112463736157 -13 945 | 23725451312245 11 946 | 216542674413 14 947 | 2735746132513 -11 948 | 414673453 -12 949 | 25451625524377 13 950 | 72355436 16 951 | 6123473741 10 952 | 22271745636772 13 953 | 22153632617 -10 954 | 2772162541472 -10 955 | 15657272771432 -11 956 | 524673176251 11 957 | 41711573464 -11 958 | 345746371526 11 959 | 11725633746 11 960 | 41227711 16 961 | 54133145613322 12 962 | 6227357242231 12 963 | 213546362 -11 964 | 4265573472645 12 965 | 43275226434 -11 966 | 43613216614 -11 967 | 47647724 16 968 | 72154377657 12 969 | 313741 17 970 | 1143157232264 -13 971 | 1172226614712 14 972 | 43773121 11 973 | 6235743126 15 974 | 1263742667265 14 975 | 1357342426 11 976 | 414711244357 11 977 | 246174713 12 978 | 36247217344375 9 979 | 5416635331675 -13 980 | 5611323442 12 981 | 61247371144 12 982 | 47523523552 -13 983 | 52443352227 -9 984 | 562272544415 10 985 | 253733227554 -9 986 | 37376665263 -10 987 | 155365314752 14 988 | 36625416525 -14 989 | 674716531 11 990 | 4347525564 15 991 | 16423537 12 992 | 544356 13 993 | 3642714523574 -10 994 | 5143374737721 -12 995 | 4153417 -11 996 | 12317646551 15 997 | 477253445676 14 998 | 6625244723134 -13 999 | 3675314474166 10 1000 | 6165173152 10 1001 | --------------------------------------------------------------------------------