[[2, 3, 5, 7, 11, 13], ["1", "0", "2"], ""]
exists: 910
[[2, 3, 5, 7, 11], ["9", "1", "0"], "2"]
exists: 891
[[2, 3, 5, 7], ["8", "9", "1"], "02"]
exists: 189
[[2, 3, 5], ["1", "8", "9"], "102"]
[[2, 3, 5, 7, 11, 13], ["1", "3", "6"], ""]
[[2, 3, 5, 7, 11, 13], ["1", "5", "3"], ""]
exists: 715
[[2, 3, 5, 7, 11], ["7", "1", "5"], "3"]
exists: 671
[[2, 3, 5, 7], ["6", "7", "1"], "53"]
exists: 567
[[2, 3, 5], ["5", "6", "7"], "153"]
[[2, 3, 5, 7, 11, 13], ["1", "7", "0"], ""]
[[2, 3, 5, 7, 11, 13], ["1", "8", "7"], ""]
[[2, 3, 5, 7, 11, 13], ["2", "0", "4"], ""]
exists: 520
[[2, 3, 5, 7, 11], ["5", "2", "0"], "4"]
exists: 352
[[2, 3, 5, 7], ["3", "5", "2"], "04"]
exists: 735
[[2, 3, 5], ["7", "3", "5"], "204"]
[[2, 3, 5, 7, 11, 13], ["2", "3", "8"], ""]
exists: 923
[[2, 3, 5, 7, 11], ["9", "2", "3"], "8"]
exists: 792
[[2, 3, 5, 7], ["7", "9", "2"], "38"]
exists: 679
[[2, 3, 5], ["6", "7", "9"], "238"]
[[2, 3, 5, 7, 11, 13], ["2", "8", "9"], ""]
exists: 728
[[2, 3, 5, 7, 11], ["7", "2", "8"], "9"]
exists: 572
[[2, 3, 5, 7], ["5", "7", "2"], "89"]
exists: 357
[[2, 3, 5], ["3", "5", "7"], "289"]
exists: 135
[[2, 3], ["1", "3", "5"], "7289"]
exists: 213
[[2], ["2", "1", "3"], "57289"]
exists: 513
[[2], ["5", "1", "3"], "57289"]
exists: 813
[[2], ["8", "1", "3"], "57289"]
exists: 235
[[2, 3], ["2", "3", "5"], "7289"]
exists: 123
[[2], ["1", "2", "3"], "57289"]
exists: 312
[[], ["3", "1", "2"], "357289"]
* 312357289
exists: 412
[[], ["4", "1", "2"], "357289"]
* 412357289
exists: 512
[[], ["5", "1", "2"], "357289"]
* 512357289
exists: 612
[[], ["6", "1", "2"], "357289"]
* 612357289
exists: 712
[[], ["7", "1", "2"], "357289"]
* 712357289
exists: 812
[[], ["8", "1", "2"], "357289"]
* 812357289
exists: 912
[[], ["9", "1", "2"], "357289"]
* 912357289
exists: 423
[[2], ["4", "2", "3"], "57289"]
exists: 142
[[], ["1", "4", "2"], "357289"]
* 142357289
exists: 342
[[], ["3", "4", "2"], "357289"]
* 342357289
exists: 542
[[], ["5", "4", "2"], "357289"]
* 542357289
exists: 642
[[], ["6", "4", "2"], "357289"]
* 642357289
exists: 742
[[], ["7", "4", "2"], "357289"]
* 742357289
exists: 842
[[], ["8", "4", "2"], "357289"]
* 842357289
exists: 942
[[], ["9", "4", "2"], "357289"]
* 942357289
exists: 723
[[2], ["7", "2", "3"], "57289"]
exists: 172
[[], ["1", "7", "2"], "357289"]
* 172357289
exists: 372
[[], ["3", "7", "2"], "357289"]
* 372357289
exists: 472
[[], ["4", "7", "2"], "357289"]
* 472357289
exists: 572
[[], ["5", "7", "2"], "357289"]
* 572357289
exists: 672
[[], ["6", "7", "2"], "357289"]
* 672357289
exists: 872
[[], ["8", "7", "2"], "357289"]
* 872357289
exists: 972
[[], ["9", "7", "2"], "357289"]
* 972357289
exists: 435
[[2, 3], ["4", "3", "5"], "7289"]
exists: 243
[[2], ["2", "4", "3"], "57289"]
exists: 124
[[], ["1", "2", "4"], "357289"]
* 124357289
exists: 324
[[], ["3", "2", "4"], "357289"]
* 324357289
exists: 524
[[], ["5", "2", "4"], "357289"]
* 524357289
exists: 624
[[], ["6", "2", "4"], "357289"]
* 624357289
exists: 724
[[], ["7", "2", "4"], "357289"]
* 724357289
exists: 824
[[], ["8", "2", "4"], "357289"]
* 824357289
exists: 924
[[], ["9", "2", "4"], "357289"]
* 924357289
exists: 543
[[2], ["5", "4", "3"], "57289"]
exists: 154
[[], ["1", "5", "4"], "357289"]
* 154357289
exists: 254
[[], ["2", "5", "4"], "357289"]
* 254357289
exists: 354
[[], ["3", "5", "4"], "357289"]
* 354357289
exists: 654
[[], ["6", "5", "4"], "357289"]
* 654357289
exists: 754
[[], ["7", "5", "4"], "357289"]
* 754357289
exists: 854
[[], ["8", "5", "4"], "357289"]
* 854357289
exists: 954
[[], ["9", "5", "4"], "357289"]
* 954357289
exists: 843
[[2], ["8", "4", "3"], "57289"]
exists: 184
[[], ["1", "8", "4"], "357289"]
* 184357289
exists: 284
[[], ["2", "8", "4"], "357289"]
* 284357289
exists: 384
[[], ["3", "8", "4"], "357289"]
* 384357289
exists: 584
[[], ["5", "8", "4"], "357289"]
* 584357289
exists: 684
[[], ["6", "8", "4"], "357289"]
* 684357289
exists: 784
[[], ["7", "8", "4"], "357289"]
* 784357289
exists: 984
[[], ["9", "8", "4"], "357289"]
* 984357289
exists: 635
[[2, 3], ["6", "3", "5"], "7289"]
exists: 963
[[2], ["9", "6", "3"], "57289"]
exists: 196
[[], ["1", "9", "6"], "357289"]
* 196357289
exists: 296
[[], ["2", "9", "6"], "357289"]
* 296357289
exists: 396
[[], ["3", "9", "6"], "357289"]
* 396357289
exists: 496
[[], ["4", "9", "6"], "357289"]
* 496357289
exists: 596
[[], ["5", "9", "6"], "357289"]
* 596357289
exists: 796
[[], ["7", "9", "6"], "357289"]
* 796357289
exists: 896
[[], ["8", "9", "6"], "357289"]
* 896357289
exists: 735
[[2, 3], ["7", "3", "5"], "7289"]
exists: 273
[[2], ["2", "7", "3"], "57289"]
exists: 573
[[2], ["5", "7", "3"], "57289"]
exists: 873
[[2], ["8", "7", "3"], "57289"]
exists: 835
[[2, 3], ["8", "3", "5"], "7289"]
exists: 183
[[2], ["1", "8", "3"], "57289"]
exists: 218
[[], ["2", "1", "8"], "357289"]
* 218357289
exists: 318
[[], ["3", "1", "8"], "357289"]
* 318357289
exists: 418
[[], ["4", "1", "8"], "357289"]
* 418357289
exists: 518
[[], ["5", "1", "8"], "357289"]
* 518357289
exists: 618
[[], ["6", "1", "8"], "357289"]
* 618357289
exists: 718
[[], ["7", "1", "8"], "357289"]
* 718357289
exists: 918
[[], ["9", "1", "8"], "357289"]
* 918357289
exists: 483
[[2], ["4", "8", "3"], "57289"]
exists: 148
[[], ["1", "4", "8"], "357289"]
* 148357289
exists: 248
[[], ["2", "4", "8"], "357289"]
* 248357289
exists: 348
[[], ["3", "4", "8"], "357289"]
* 348357289
exists: 548
[[], ["5", "4", "8"], "357289"]
* 548357289
exists: 648
[[], ["6", "4", "8"], "357289"]
* 648357289
exists: 748
[[], ["7", "4", "8"], "357289"]
* 748357289
exists: 948
[[], ["9", "4", "8"], "357289"]
* 948357289
exists: 783
[[2], ["7", "8", "3"], "57289"]
exists: 178
[[], ["1", "7", "8"], "357289"]
* 178357289
exists: 278
[[], ["2", "7", "8"], "357289"]
* 278357289
exists: 378
[[], ["3", "7", "8"], "357289"]
* 378357289
exists: 478
[[], ["4", "7", "8"], "357289"]
* 478357289
exists: 578
[[], ["5", "7", "8"], "357289"]
* 578357289
exists: 678
[[], ["6", "7", "8"], "357289"]
* 678357289
exists: 978
[[], ["9", "7", "8"], "357289"]
* 978357289
exists: 935
[[2, 3], ["9", "3", "5"], "7289"]
exists: 693
[[2], ["6", "9", "3"], "57289"]
[[2, 3, 5, 7, 11, 13], ["3", "0", "6"], ""]
exists: 130
[[2, 3, 5, 7, 11], ["1", "3", "0"], "6"]
exists: 913
[[2, 3, 5, 7], ["9", "1", "3"], "06"]
exists: 791
[[2, 3, 5], ["7", "9", "1"], "306"]
[[2, 3, 5, 7, 11, 13], ["3", "4", "0"], ""]
exists: 234
[[2, 3, 5, 7, 11], ["2", "3", "4"], "0"]
[[2, 3, 5, 7, 11, 13], ["3", "5", "7"], ""]
[[2, 3, 5, 7, 11, 13], ["3", "7", "4"], ""]
exists: 637
[[2, 3, 5, 7, 11], ["6", "3", "7"], "4"]
[[2, 3, 5, 7, 11, 13], ["3", "9", "1"], ""]
[[2, 3, 5, 7, 11, 13], ["4", "0", "8"], ""]
[[2, 3, 5, 7, 11, 13], ["4", "2", "5"], ""]
[[2, 3, 5, 7, 11, 13], ["4", "5", "9"], ""]
exists: 845
[[2, 3, 5, 7, 11], ["8", "4", "5"], "9"]
[[2, 3, 5, 7, 11, 13], ["4", "7", "6"], ""]
exists: 247
[[2, 3, 5, 7, 11], ["2", "4", "7"], "6"]
exists: 924
[[2, 3, 5, 7], ["9", "2", "4"], "76"]
exists: 392
[[2, 3, 5], ["3", "9", "2"], "476"]
[[2, 3, 5, 7, 11, 13], ["4", "9", "3"], ""]
[[2, 3, 5, 7, 11, 13], ["5", "1", "0"], ""]
exists: 351
[[2, 3, 5, 7, 11], ["3", "5", "1"], "0"]
exists: 935
[[2, 3, 5, 7], ["9", "3", "5"], "10"]
exists: 693
[[2, 3, 5], ["6", "9", "3"], "510"]
[[2, 3, 5, 7, 11, 13], ["5", "2", "7"], ""]
[[2, 3, 5, 7, 11, 13], ["5", "6", "1"], ""]
exists: 156
[[2, 3, 5, 7, 11], ["1", "5", "6"], "1"]
exists: 715
[[2, 3, 5, 7], ["7", "1", "5"], "61"]
exists: 371
[[2, 3, 5], ["3", "7", "1"], "561"]
[[2, 3, 5, 7, 11, 13], ["5", "7", "8"], ""]
[[2, 3, 5, 7, 11, 13], ["6", "1", "2"], ""]
[[2, 3, 5, 7, 11, 13], ["6", "2", "9"], ""]
exists: 962
[[2, 3, 5, 7, 11], ["9", "6", "2"], "9"]
exists: 396
[[2, 3, 5, 7], ["3", "9", "6"], "29"]
exists: 539
[[2, 3, 5], ["5", "3", "9"], "629"]
[[2, 3, 5, 7, 11, 13], ["6", "8", "0"], ""]
exists: 468
[[2, 3, 5, 7, 11], ["4", "6", "8"], "0"]
exists: 946
[[2, 3, 5, 7], ["9", "4", "6"], "80"]
exists: 294
[[2, 3, 5], ["2", "9", "4"], "680"]
[[2, 3, 5, 7, 11, 13], ["6", "9", "7"], ""]
exists: 169
[[2, 3, 5, 7, 11], ["1", "6", "9"], "7"]
[[2, 3, 5, 7, 11, 13], ["7", "1", "4"], ""]
exists: 871
[[2, 3, 5, 7, 11], ["8", "7", "1"], "4"]
exists: 187
[[2, 3, 5, 7], ["1", "8", "7"], "14"]
exists: 518
[[2, 3, 5], ["5", "1", "8"], "714"]
[[2, 3, 5, 7, 11, 13], ["7", "3", "1"], ""]
exists: 273
[[2, 3, 5, 7, 11], ["2", "7", "3"], "1"]
exists: 627
[[2, 3, 5, 7], ["6", "2", "7"], "31"]
exists: 462
[[2, 3, 5], ["4", "6", "2"], "731"]
[[2, 3, 5, 7, 11, 13], ["7", "4", "8"], ""]
[[2, 3, 5, 7, 11, 13], ["7", "6", "5"], ""]
[[2, 3, 5, 7, 11, 13], ["7", "8", "2"], ""]
[[2, 3, 5, 7, 11, 13], ["8", "1", "6"], ""]
exists: 481
[[2, 3, 5, 7, 11], ["4", "8", "1"], "6"]
exists: 748
[[2, 3, 5, 7], ["7", "4", "8"], "16"]
exists: 574
[[2, 3, 5], ["5", "7", "4"], "816"]
[[2, 3, 5, 7, 11, 13], ["8", "5", "0"], ""]
[[2, 3, 5, 7, 11, 13], ["8", "6", "7"], ""]
exists: 286
[[2, 3, 5, 7, 11], ["2", "8", "6"], "7"]
exists: 528
[[2, 3, 5, 7], ["5", "2", "8"], "67"]
exists: 952
[[2, 3, 5], ["9", "5", "2"], "867"]
exists: 195
[[2, 3], ["1", "9", "5"], "2867"]
exists: 219
[[2], ["2", "1", "9"], "52867"]
exists: 519
[[2], ["5", "1", "9"], "52867"]
exists: 819
[[2], ["8", "1", "9"], "52867"]
exists: 295
[[2, 3], ["2", "9", "5"], "2867"]
exists: 129
[[2], ["1", "2", "9"], "52867"]
exists: 312
[[], ["3", "1", "2"], "952867"]
* 312952867
exists: 412
[[], ["4", "1", "2"], "952867"]
* 412952867
exists: 512
[[], ["5", "1", "2"], "952867"]
* 512952867
exists: 612
[[], ["6", "1", "2"], "952867"]
* 612952867
exists: 712
[[], ["7", "1", "2"], "952867"]
* 712952867
exists: 812
[[], ["8", "1", "2"], "952867"]
* 812952867
exists: 912
[[], ["9", "1", "2"], "952867"]
* 912952867
exists: 429
[[2], ["4", "2", "9"], "52867"]
exists: 142
[[], ["1", "4", "2"], "952867"]
* 142952867
exists: 342
[[], ["3", "4", "2"], "952867"]
* 342952867
exists: 542
[[], ["5", "4", "2"], "952867"]
* 542952867
exists: 642
[[], ["6", "4", "2"], "952867"]
* 642952867
exists: 742
[[], ["7", "4", "2"], "952867"]
* 742952867
exists: 842
[[], ["8", "4", "2"], "952867"]
* 842952867
exists: 942
[[], ["9", "4", "2"], "952867"]
* 942952867
exists: 729
[[2], ["7", "2", "9"], "52867"]
exists: 172
[[], ["1", "7", "2"], "952867"]
* 172952867
exists: 372
[[], ["3", "7", "2"], "952867"]
* 372952867
exists: 472
[[], ["4", "7", "2"], "952867"]
* 472952867
exists: 572
[[], ["5", "7", "2"], "952867"]
* 572952867
exists: 672
[[], ["6", "7", "2"], "952867"]
* 672952867
exists: 872
[[], ["8", "7", "2"], "952867"]
* 872952867
exists: 972
[[], ["9", "7", "2"], "952867"]
* 972952867
exists: 395
[[2, 3], ["3", "9", "5"], "2867"]
exists: 639
[[2], ["6", "3", "9"], "52867"]
exists: 495
[[2, 3], ["4", "9", "5"], "2867"]
exists: 249
[[2], ["2", "4", "9"], "52867"]
exists: 124
[[], ["1", "2", "4"], "952867"]
* 124952867
exists: 324
[[], ["3", "2", "4"], "952867"]
* 324952867
exists: 524
[[], ["5", "2", "4"], "952867"]
* 524952867
exists: 624
[[], ["6", "2", "4"], "952867"]
* 624952867
exists: 724
[[], ["7", "2", "4"], "952867"]
* 724952867
exists: 824
[[], ["8", "2", "4"], "952867"]
* 824952867
exists: 924
[[], ["9", "2", "4"], "952867"]
* 924952867
exists: 549
[[2], ["5", "4", "9"], "52867"]
exists: 154
[[], ["1", "5", "4"], "952867"]
* 154952867
exists: 254
[[], ["2", "5", "4"], "952867"]
* 254952867
exists: 354
[[], ["3", "5", "4"], "952867"]
* 354952867
exists: 654
[[], ["6", "5", "4"], "952867"]
* 654952867
exists: 754
[[], ["7", "5", "4"], "952867"]
* 754952867
exists: 854
[[], ["8", "5", "4"], "952867"]
* 854952867
exists: 954
[[], ["9", "5", "4"], "952867"]
* 954952867
exists: 849
[[2], ["8", "4", "9"], "52867"]
exists: 184
[[], ["1", "8", "4"], "952867"]
* 184952867
exists: 284
[[], ["2", "8", "4"], "952867"]
* 284952867
exists: 384
[[], ["3", "8", "4"], "952867"]
* 384952867
exists: 584
[[], ["5", "8", "4"], "952867"]
* 584952867
exists: 684
[[], ["6", "8", "4"], "952867"]
* 684952867
exists: 784
[[], ["7", "8", "4"], "952867"]
* 784952867
exists: 984
[[], ["9", "8", "4"], "952867"]
* 984952867
exists: 695
[[2, 3], ["6", "9", "5"], "2867"]
exists: 369
[[2], ["3", "6", "9"], "52867"]
exists: 136
[[], ["1", "3", "6"], "952867"]
* 136952867
exists: 236
[[], ["2", "3", "6"], "952867"]
* 236952867
exists: 436
[[], ["4", "3", "6"], "952867"]
* 436952867
exists: 536
[[], ["5", "3", "6"], "952867"]
* 536952867
exists: 736
[[], ["7", "3", "6"], "952867"]
* 736952867
exists: 836
[[], ["8", "3", "6"], "952867"]
* 836952867
exists: 936
[[], ["9", "3", "6"], "952867"]
* 936952867
exists: 795
[[2, 3], ["7", "9", "5"], "2867"]
exists: 279
[[2], ["2", "7", "9"], "52867"]
exists: 579
[[2], ["5", "7", "9"], "52867"]
exists: 879
[[2], ["8", "7", "9"], "52867"]
exists: 895
[[2, 3], ["8", "9", "5"], "2867"]
exists: 189
[[2], ["1", "8", "9"], "52867"]
exists: 218
[[], ["2", "1", "8"], "952867"]
* 218952867
exists: 318
[[], ["3", "1", "8"], "952867"]
* 318952867
exists: 418
[[], ["4", "1", "8"], "952867"]
* 418952867
exists: 518
[[], ["5", "1", "8"], "952867"]
* 518952867
exists: 618
[[], ["6", "1", "8"], "952867"]
* 618952867
exists: 718
[[], ["7", "1", "8"], "952867"]
* 718952867
exists: 918
[[], ["9", "1", "8"], "952867"]
* 918952867
exists: 489
[[2], ["4", "8", "9"], "52867"]
exists: 148
[[], ["1", "4", "8"], "952867"]
* 148952867
exists: 248
[[], ["2", "4", "8"], "952867"]
* 248952867
exists: 348
[[], ["3", "4", "8"], "952867"]
* 348952867
exists: 548
[[], ["5", "4", "8"], "952867"]
* 548952867
exists: 648
[[], ["6", "4", "8"], "952867"]
* 648952867
exists: 748
[[], ["7", "4", "8"], "952867"]
* 748952867
exists: 948
[[], ["9", "4", "8"], "952867"]
* 948952867
exists: 789
[[2], ["7", "8", "9"], "52867"]
exists: 178
[[], ["1", "7", "8"], "952867"]
* 178952867
exists: 278
[[], ["2", "7", "8"], "952867"]
* 278952867
exists: 378
[[], ["3", "7", "8"], "952867"]
* 378952867
exists: 478
[[], ["4", "7", "8"], "952867"]
* 478952867
exists: 578
[[], ["5", "7", "8"], "952867"]
* 578952867
exists: 678
[[], ["6", "7", "8"], "952867"]
* 678952867
exists: 978
[[], ["9", "7", "8"], "952867"]
* 978952867
[[2, 3, 5, 7, 11, 13], ["9", "0", "1"], ""]
exists: 390
[[2, 3, 5, 7, 11], ["3", "9", "0"], "1"]
exists: 539
[[2, 3, 5, 7], ["5", "3", "9"], "01"]
[[2, 3, 5, 7, 11, 13], ["9", "1", "8"], ""]
[[2, 3, 5, 7, 11, 13], ["9", "3", "5"], ""]
exists: 793
[[2, 3, 5, 7, 11], ["7", "9", "3"], "5"]
[[2, 3, 5, 7, 11, 13], ["9", "5", "2"], ""]
exists: 195
[[2, 3, 5, 7, 11], ["1", "9", "5"], "2"]
exists: 319
[[2, 3, 5, 7], ["3", "1", "9"], "52"]
exists: 231
[[2, 3, 5], ["2", "3", "1"], "952"]
exists: 931
[[2, 3, 5], ["9", "3", "1"], "952"]
[[2, 3, 5, 7, 11, 13], ["9", "8", "6"], ""]
exists: 598
[[2, 3, 5, 7, 11], ["5", "9", "8"], "6"]
exists: 759
[[2, 3, 5, 7], ["7", "5", "9"], "86"]
exists: 175
[[2, 3, 5], ["1", "7", "5"], "986"]
exists: 875
[[2, 3, 5], ["8", "7", "5"], "986"]
Sum: 0