(define a '(3318 3978 4285 4361 32950 33168 33201 33280 40290 40502 42045 42667 42680 43482 43974 44162 44189 44384 44433 44815 44821 45194 45437 45590 45706 45881 45895 45900 46059 46335 46644 46645 46974 47091 47182 47307 47738 47742 47855 48063 48752 48841 48844 48888 48907 48914 49890 50053 50058 50191 50194 50684 50989 51255 51269 78004 78026 78027 78028 78029 78030 78031 78032 78059 78068 78069 78105 78120 78138 78140 78141 78142 78143 78144 78145 78151 78159 78163 78180 78210 78215 78231 78236 78245 78284 78324 78353 78359 78367 78376 78408 78414 78446 78453 78454 78477 78490 78517 78518 78524 78542 78550 78551 78553 78557 78563 78573 78574 78579 78583 78604 78632 78649 78653 78677 78697 78700 78730 78771 78776 78779 78791 78816 78836 78883 78900 78920 78928 78931 78940 78982 79044 79054 79058 79059 79068 79100 79110 79114 79117 79150 79156 79167 79174 79177 79188 79190 79210 79323 79345 79384 79433 79450 79456 79458 79473 79476 79527 79555 79556 79587 79624 79633 79634 79638 79673 79712 79714 79763 79783 79793 79797 79798 79823 79837 80099 80109 80143 80154 80167 80200 80232 80234 80245 80287 80289 80303 80332 80333 80348 80360 80371 80375 80403 80462 80469 80470 80478 80489 80516 80517 80554 80561 80568 80581 80587 80596 80601 80611 80623 80630 80646 80664 80681 80685 80709 80710 80736 80745 80752 80757 80762 80774 80777 80791 80802 80809 80810 80829 80830 80858 80876 80894 80902 80908 80931 80937 81036 81056 81121 81133 81135 81142 81159 81174 81198 81207 81244 81253 81278 81284 81336 81355 81373 81377 81378 81408 81411 81425 81427 81429 81441 81451 81471 81474 81500 81552 81558 81613 81620 81639 81641 81685 81724 81726 81728 81772 81777 81811 81880 81884 81898 81912 81949 81960 81963 81966 82002 82018 82035 82044 82048 82062 82071 82078 82127 82138 82147 82205 82229 82243 82254 82265 82302 82311 82315 82319 82323 82359 82360 82392 82403 82445 82467 82490 82500 82532 82537 82542 82557 82572 82579 82610 82618 82631 82634 82638 82650 82653 82657 82659 82664 82677 82680 82718 82730 82766 82810 82843 82878 82901 82911 82999 83030 83044 83053 83099 83158 83176 83188 83201 83202 83222 83234 83254 83296 83347 83349 83367 83377 83384 83411 83419 83426 83442 83443 83458 83461 83485 83503 83510 83511 83514 83523 83531 83549 83557 83574 83625 83636 83669 83681 83707 83714 83780 83785 83804 83811 83836 83837 83865 83867 83899 83925 83948 83950 83982 84011 84031 84033 84042 84044 84089 84102 84105 84122 84202 84233 84284 84291 84301 84304 84349 84361 84366 84372 84373 84401 84408 84431 84434 84442 84478 84488 84516 84522 84560 84564 84645 84681 84688 84695 84711 84772 84782 84814 84876 84878 84889 85003 85036 85054 85055 85102 85144 85161 85183 85191 85210 85218 85230 85309 85314 85316 85355 85370 85432 85485 85487 85500 85510 85549 85554 85577 85611 85614 85671 85764 85785 85793 85796 85799 85802 85814 85815 85864 85868 85903 85933 85938 85949 85997 86015 86023 86024 86043 86050 86055 86067 86092 86094 86153 86161 86174 86176 86192 86246 86263 86265 86266 86283 86295 86298 86308 86315 86338 86364 86369 86417 86424 86445 86460 86487 86493 86537 86561 86600 86601 86614 86617 86668 86699 86700 86720 86723 86731 86751 86763 86795 86808 86834 86835 86838 86841 86844 86848 86854 86938 86943 86966 87022 87028 87031 87042 87045 87052 87064 87065 87066 87068 87074 87088 87119 87131 87143 87173 87183 87200 87238 87243 87247 87279 87291 87294 87305 87393 87469 87470 87479 87525 87528 87532 87533 87586 87595 87600 87609 87677 87773 87779 87818 87822 87841 87857 87859 87866 87877 87878 87885 87914 87917 87919 87935 87962 87968 87981 87984 87986 87996 88023 88040 88062 88103 88118 88156 88157 88170 88187 88215 88233 88264 88317 88345 88357 88358 88376 88380 88382 88415 88465 88469 88519 88546 88559 88576 88578 88597 88598 88661 88680 88780 88792 88824 88826 88853 88874 88878 88880 88895 88917 88948 88988 88995 89291 89303 89313 89317 89331 89337 89341 89345 89401 89412 89422 89444 89455 89456 89474 89513 89523 89545 89589 89629 89639 89644 89652 89657 89660 89695 89720 89724 89745 89759 89762 89776 89782 89800 89809 89822 89832 89853 89862 89865 89866 89888 89910 89974 89995 89996 90015 90034 90035 90121 90134 90179 90182 90184 90189 90193 90247 90264 90273 90298 90306 90307 90333 90347 90358 90366 90370 90396 90400 90434 90438 90501 90533 90576 90579 90593 90622 90624 90633 90637 90641 90656 90683 90691 90693 90699 90701 90746 90776 90779 90798 90833 90844 90875 90878 90891 90939 90945 90956 90978 90993 90996 91021 91046 91058 91069 91077 91091 91101 91117 91126 91145 91161 91164 91177 91179 91227 91234 91239 91250 91255 91283 91297 91303 91318 91323 91356 91364 91368 91377 91386 91391 91396 91405 91433 91438 91466 91477 91487 91533 91542 91552 91594 91603 91626 91638 91642 91652 91657 91663 91713 91723 91773 91784 91795 91811 91812 91820 91846 91850 91854 91855 91861 91864 91882 91885 91891 91898 91905 91908 91924 91935 91962 91965 91966 91994 92005 92066 92070 92118 92130 92178 92187 92206 92210 92217 92225 92268 92269 92291 92306 92329 92334 92355 92398 92443 92511 92527 92580 92641 92647 92681 92740 92780 92798 92808 92824 92835 92837 92839 92902 92911 92912 92937 92996 92997 93018 93027 93037 93058 93095 93131 93132 93171 93276 93338 93339 93364 93382 93394 93405 93427 93434 93469 93525 93533 93548 93564 93569 93584 93599 93612 93619 93634 93640 93649 93659 93696 93788 93790 93836 93937 93990 94037 94068 94070 94104 94177 94238 94259 94388 94441 94450 94474 94527 94566 94609 94630 94653 94676 94744 94755 94762 94866 94906 94990 95003 95027 95045 95070 95071 95081 95103 95110 95114 95119 95120 95121 95152 95192 95194 95225 95230 95232 95253 95294 95309 95314 95320 95328 95342 95346 95409 95413 95415 95417 95426 95455 95487 95493 95555 95562 95563 95607 95629 95632 95659 95687 95691 95693 95702 95730 95767 95792 95796 95800 95801 95827 95830 95831 95832 95851 95878 95882 95892 95900 95908 95959 95995 95996 96010 96026 96040 96054 96058 96059 96064 96066 96098 96125 96170 96225 96250 96301 96304 96343 96350 96361 96388 96433 96435 96468 96473 96507 96509 96529 96538 96546 96569 96605 96619 96626 96663 96665 96668 96679 96704 96744 96752 96776 96778 97030 97108 97139 97155 97167 97188 97200 97207 97224 97266 97293 97306 97323 97332 97356 97404 97460 97470 97511 97513 97519 97590 97591 97605 97633 97635 97636 97637 97667 97702 97715 97764 97767 97786 97812 97830 97845 97863 97873 97883 97914 97937 97949 97979 98003 98006 98017 98028 98032 98036 98048 98053 98056 98058 98085 98097 98105 98121 98164 98168 98214 98270 98291 98293 98320 98328 98379 98382 98389 98391 98397 98399 98443 98454 98459 98502 98521 98524 98530 98534 98550 98582 98587 98620 98625 98631 98662 98682 98687 98719 98744 98745 98835 98840 98858 98891 98901 98904 98977 99014 99033 99048 99053 99095 99161 99173 99180 99206 99234 99235 99261 99262 99273 99274 99317 99319 99327 99330 99335 99363 99378 99389 99397 99431 99437 99439 99498 99527 99531 99533 99553 99560 99576 99593 99599 99605 99609 99634 99713 99721 99734 99766 99771 99778 99785 99796 99842 99868 99900 99920 99936 99939 99941 99948 99989 99991 80035 80036 80102 80103 80506 80924 80925 80926 80927 80928 80929 80930 80931 80932 80933 81283 82306 82318 82450 82665 82666 82667 82668 82669 83491 83492 83598 84491 84887 85280 86534 86962 87032 87033 87034 87035 87036 87037 87038 87039 87041 87042 87043 87064 87065 87066 87067 87092 87093 87094 87095 87096 87097 87114 87115 87235 87713 87852 87853 87854 87953 87954 87955 87956 87957 87958 87974 87975 87976 87977 88364 88685 88814 89520 89521 89522 89523 89524 89525 89526 89527 89528 89529 89530 89782 89783 89784 89785 89996 89997 89998 90060 90079 90117 90118 90121 90149 90513 90631 90744 90823 91010 91049 91320 91321 91355 91469 91691 91784 91849 91950 92004 92329 93274 93641 94120 94151 94201 94227 94239 94249 94263 94469 94563 94587 94603 94653 94673 95533 95776 95954 96028 96057 96363 96399 96444 96518 96609 96664 96679 96694 96735 96736 96770 99830 99831 99832))
(define b '(44189 47095 50194 78574 80542 80802 80902 81877 81978 82158 82159 82160 84997 85018 85246 85247 85248 85249 85250 85251 85252 85253 85254 85255 85256 85257 85258 85259 85260 85261 85262 85263 85264 85265 85266 85267 85268 85269 85270 85271 85272 85273 85274 85275 85276 85277 85278 85279 85988 86035 86304 86606 88559 88702 88882 89403 89629 89832 89862 90614 90701 90814 90766 90941 90977 91011 91234 91312 91404 91587 91632 91724 92282 92306 92311 93599 95382 95409 95687 96096 96115 96237 96253 96345 96350 96445 96488 96707 97308 97827 97844 97845 97846 97847 97848 97849 97850 97851 97852 97853 97854 97855 97856 97857 97858 97859 97860 97861 97862 97863 97864 97876 98645 98646 98647 98648 98649 98650 98651 97827 97936 98155 98160 98977 99095 99161))

(use iset srfi-1)

(print "iset b a:" (iset->list
        (iset-intersection
         (list->iset b)
         (list->iset a)
         )))

(print "iset a b:" (iset->list
        (iset-intersection
         (list->iset a)
         (list->iset b)
         )))

(print "srfi-1 b a:" (lset-intersection = b a))
(print "srfi-1 a b:" (lset-intersection = a b))