Prime numbers are fun. Prime numbers have many uses.
Based on the concept described in the Prime Portraits paper by Zachary Abel, the Prime Art NFT Collection presents the most famous and recognisable paintings of all times painted using very large prime numbers - tens of thousands of digits long!
Imagine how cool it could look on your wall.
How it all began
We were very excited when Chia Network released the NFT1 standard, and we started looking for ideas. We wanted to combine our passion for technology and art and bring a different type of NFTs to the Chia community. We saw many different and interesting profile pictures (PFP) NFTs projects, but we wanted to produce something unique.
When we came across the Prime Portraits paper, we immediately knew that we found what we were looking for. We built a process to create pictures in which each color is assigned a number 0 to 9, and the entire picture is painted using those colors (numbers). The fascinating thing is that when all numbers are aligned into a very large number, the result should be a prime number!
Prime Art NFT Collection
Our Prime Art NFT Collection is a selection of the most famous paintings (in the public domain) that have been transformed into paintings by prime number.
The process of finding prime numbers to represent the paintings took quite a long time due to computational intensity associated with finding and checking very large prime numbers ranging between 35,000 to 56,000 digits long.
We are very happy with the results, and we are excited to share with Chia community those beautiful generative artworks which could become a feature in your NFTs collection and perhaps also your lounge room or office - the images are in 300 dpi resolution and are large enough to be printed on A2 paper size, or even larger.
Here are just a couple of ideas how those amazing Prime Portraits NFTs may be presented as true art masterpieces which they are:
Girl with a Pearl EarringMona LisaThe Starry Night
Verifying Prime Numbers
Each Prime Art NFT Collection image has a corresponding *_check_prime_snippet.txt file with a Python code that verifies the respective prime number - just replace NFT image link URL/<NFT_FILE_NAME>.png with URL/<NFT_FILE_NAME>_check_prime_snippet.txt
(.venv) $ python
Python 3.8.10 (default, Jun 22 2022, 20:18:18)
[GCC 9.4.0] on linux
Type "help", "copyright", "credits" or "license" for more information.
>>> import time
>>> from sympy import isprime
>>> start = time.time()
>>> print(isprime(111115885550044448834588823328231431111115017051433223405054145004440444132000033040328983004418304083330004040888883332850885882333033388033330004440008588551850330330330000003000000040003223333332230322282222882233266800002232230440000445223000885666111771151103451418230266822388885102517775300045111140233307401114440444443040000035822602233044004444503000000003333350545882335103333000404005110441171111114144444114000044144444444400300044333440411830333238322832200030440333333300330000303444144666111515554400444413032328228388822336251114011411111143033230520111444444440044440008622888283300030004443304003004008810038223301004303304444417100441540044444444444453233414444440411033330400330004443854323000220440043000350004443233222200304444504866111541554544444433033522222288882228824111111444444400022282833114444540000430008288888885822830403300000003303345822304266228220040043330004140004403544440011444444323305504440305114033304030030044304430000003201438330322204333330030033044444440000666117111111140300003222888888882688832404411111441444400438888200074441111403032002885222828888823304030033414001775285040655532804031103204305430400334141140300003043230055044433341441333000300300443244323000045443231232230443222230304444440300022300266044414030340444402222289999999688222330051777111444400028596835044171111440044028288622332288832323415004048880040330033040040043071031743403051430004445300034400002300514004334004510233004033004432043330000441022040440444030144304040080004033043220566444444441144444023823869999999962222220444111444444433229999823040414111100004438828688888628202833341414044033000230283000333332850004154004414440303305003040440040000303330440033443330000300033330402230000233334400444440003333230028622233330004033866444444004440000323828889999999982288223400044444440338229999882345440441140330405228299998888622204430005000030002011088330343333000000880004440033303058885558804450330333000033223003000004040003300433003032320440044032832222222222888833330033000044566044414414044530332822289999996962888223444444444114885038998888514441111444444002882299998888883533088888833333043458340114402304440344000000403300030003841558030444033333003003304030030044040330000301530322230004032232228228266666666882833322003033266444414017171444402228289999999962685323044444004111120232266222851441144404444226223899982328233756666996858234443220141400523044330400000003333000004333344322202044003333003333444034330043140300333014343232202302233333332666688888866688662288233233266000004400400440023288889699999982882800004444444114440423322233230444444444110438888882686228223456882899888233304441022230520043004404403003004320332222303204383000000300040344444300203004100440320103043320532332833322222222885888688866222222022223666441114344444400023222668999999986882880004400404140000003330004400004444444040328288823888885220432682266868222444032310040023144444000404044440233222888822628553333440300040044443303300301400333204330455330033322282666822666662666288826888230803233666444444444444004882228826999998862822223444444444171444444501771114023230444000223882222338850222048689989988883004304440454447714040040005440443232228899888822852242000300043040040230300044403333303304400000303223326662666666666666262666666268030830866144111155550001532328826688666882222223344444444517444444417114444404114414440280285685822503823002889999988585003300333044444444001140044444003022698869662888680233003043033403443300003014403033033344034880383238666226666666666668826669966666800338666050444111414111432333882226288222282223400000003557104444415000300041177714444423262888828833823008882999998226233440030000340033044034444444402886668999228988826822303043333434400054000444000230032040344058623386628266686666666666666666558886228558666511440444441500000226228882222288882330404444405117144444440303322223304444433333000388222283433338288699666623004414030033403044400044444440442826688999889992826980330000330304440044004451443203333003040002686666226666696666666666666666669668226696666444441144400000300332222222222205822444444400444117500400444444444003333040400023000011032032044308888998885830400443333330000414004400000400038228869999999986826820300340333044003441444004432333030030448802866668666662666666666666666662266662038666666330054455403000444023322228822203223044400300005777144444044040444114444444444044444004030440444030328588805854444400300040044403330444004440022228869999999898688528304303030444000411440445422030033304408282666666668886666666666666666666266666223326666033333304400000433133403222003300323004400040001771100000000004444444114400000330300004444444044444432004030454440000334400443333000443044402822226288999999998682088330003044440334041400044320420023303302282266662968666666666666666666666669666662222666440404003000000302600533003332204463444440304057777714440004403000332333003222333333304444444444444440300044444404000044411433444444000000444822226888996896998280888503040414440355045430443330024320332306382266662686666666669966666666666666666666622266580444171404400334300232344432223434003000000017771114444444440444440332344440003333304444440444440444444440040444004004443004033044474400044322222889868889282888088854400340440004041034003230234333032422326666666266666666696666666666666686666666662266233030111144444400044444000330320440444404400017771150044444404444444444444444000003044444400330000000000044000040400440222333301114440330000222233686828868828882028680004410440004044304203200243333323022866866668866666666866669999996666666666622666866044080444444404444500004440444044444000000000411711714444444000000000440440000000000000000400000000000000300004444444440300044444444044440443288333222288686688828838830000414040540311303342203243233223232666666666696666666666999999999966666666283266666040055144444440344003000400000040444000000444417711744440444444440404403300044440300300000004400000000400000000444444000330344440044444400040382832882288888858228688344714414000010044300002303302233223236266666966696696666699999999999966866666668522666285033554444175003040000040000000003300403000011711100030404004444400444444400304440004440003000030000000400044444000033000044444444444000044440328688838583030288200300777417404304414304433043332232232226266866969266666669999999996666666622696266223666888003341414411330000033300300000000004444004017711104404000400444404400444000033444440304000400114444440044440440004444400444440444444444033304428882328522322852533000017144144444444404433002022232322262266666666666666999999999666666666666666286622866222800404144441033003000000003000000000033000017751100002258855103444440440044444444403333330444441111114444033000000000000000004440444400404022038833238380228580030330301110444433041004433033022223230863662666666666669999999996666966666666662622666866822280045114044000000300000000000000000044400017751508888859958252840000040044440000004000044444404445044444000550444403000444144533000004444440440322828082230003330444044440444440444004403330033333288228628666666666699999999966666666666666626666862066882223045514000033000330003000000440440050004017717538515859985225840444444440000000004044444030003333233300415551100333000444444444030004000044444002882228833333334440341400004000004404403334030033222886628666666666699999999666666666666666666866662566382233344400800000330030030000000440444440440017711536882866886888544404400400300000030405383300003303333003355585800508888300332044403000040004033300883233444433301714034030403300000044433000333032222322628666666666669999996666666666666666666666626866350223304408800040033003000000000030300444400317711085628688258259954444444400400330444408304003004003333030038000850888888888808804443044444444400330411523304440000041103433004003440300003000333002322326626666666666999999996666666666666666666666626866335322234440000000000000040000000400000000000017711856888998666885985000444030000000004000400330003333000033300000305508551588544500040300444444444020044440333303300330443443000440333000303330323302402826666666666666999999996666666666666666866666626666230033330444330000300000304000000300000000005517775888889999999889883000000000000004000000033003323333333330000323333330000044003444088800044440000403033340030030001030408003000440000404443330323302038226666666666669999999996666666666666666666286622666220503230440000000000000000004400334444440305511175869686999999959582444440044000444000003330033333333333300008382222222222222280330458888004444444440000000034430581143043330400000330440041030333302232226666666666699999999996666666666666666666686662666222008233440300000440300003230000000000440041511110889826999999999882440040003244400044033300223333333330088222332000032232882260083000882823333004444044300035405003143303333340403322033231130023202322326666666666699999999996666666666666666666686822666282208032040330030000000040000033000333330005817710889869999999956622032000030410300403330003233330322822266662266222266662208333882230032222333323044400034005134033840330323332333830433333323023202222266666666666699999999999666666666666666666686622666288238048844030033030000000400033000000034404511718289899999999986222440004004303304030000033000003322262666666228222222222622233322222233332222032233040444543403033034033303323822223340330322303338322266666666666699999999999666666666666666996666628666228885304200000000000000400300033300444004004511758669999999999989834404000303030003303300333300033233282666666222222222226622283303332222333322200233004114000043053033408822288322222230030032000333328266666666666669999999999666666966666666996666662666228038584330004000004400004003300000044000030011155889998999998999834000000440000030033300333033332322286666662822222222226666283333303322322302225823300014430040874332032888888228888223003303030333338826666966666669999999999966666696666666996666666666822038553434403003330040333044033003300000000571150889998899662996820000001400300303330032230332322266668888888233333220000826223582333002622234022322330004443445307030322888888888822222234333333033222222666966966669999999999996666669999996996696666666682333858828440003303304402335440444443300040571153238599999998689824040000306203033403323008238666666228588000000300588622028882800023303232268382226202000444445580088222668882322882832220023033023326266666866666666999999999999666666666999966666286866233232885822340333000330044030000004444044400577150328888998586888000000043323030330333330388302266668888888888555555855558323330222283204003323326222233203040444543022228668628286888832622032333333236862666666666666699999999999996669996999966666866666222283385522280000000403300000033330000000000571150004322882882220000000400432003333233333330038888888822228826266682222888833333008222283040003332262323300000444440032888688262622628823223300233303206266866666666666669999999999999999999999966666262266823580288552230404403040304444000044444400000171750040333333333000000300334022023032303833333323088882222330000003222666288832283330403332330032333886202233340440444033688668666666622820560334033333202826826668666666669999999999999999999999966866662666633088335858222040174000400404433040044544030511710004000444000000334442303230333022000332223308826666203333333333330008008882226262404033333308222252230220304004443033866688669966626223023330400330333356326668666666666999999999999999999999668666682666623382220258222334041444582300000000004400400517710030044404400000344433432302230388882333388888866888840003332223000300338540032266624403283332032624320022520430443303866682696666668822222333300320323202286666866666666699999999999999999996666666826866622222283325582303041100140000033000000000440017710003000004440330440323333022200222223330888888888886233333300000833333338333323022662000233303203263022322233400143382226666696996686822222233330033032322326666666666666669999999999999999996666668668866288323223328583330305150341144000300044000400047710033000033033300083333333223032623333058833888266666283000003080383233000333823440266200033333334322823322230400410332326866669666686886232233033333332233036866666666669666999999999999999666668832666286328222328882258223003554044777400004404444440047154033300323033332223822332233822833332388888222266228803004330005544503344023002303286680030403330026222032224340040333886686669666626862282230033333008222042686666666669666699999999999996666662226662386322283288223265822232234404117740330000003444417114443303304033322232233300032220322023320266222222222230033333300330444034152220022223263030040033402222002320300344032269682666666886266822233433033440862308833266668666666666999966666666886666666663266333223222203888582222888040300417100000330000057175822322440222222222333338262253228232328888222228233333330330400003300032314222443222322303034043310222303232030000043369822382662866262822233333002340082332203366666666666666666666666666666666666203266233332323223308558622288230440004440000044444551771823003322222222333333226682882622333333322222233540044000033330333330503230486340322336202030000301322280333030000000088888888222662222283333233003333422300223302666966666666666666666666666266663038666623303233322385885022288838853004400000330440085717533332222233323222088223826222322233888222228044051114440030333330333000383348204082232633202030334482323823033300333082888988882226822222333332333033032883022333666696666696666666666666666266682286226623333303282333588002222288888833044444008033385717182323304333332223322288222233322222882222304140311440000000003803303330333301820422223223248233330433322233333330333038285222288666228322333332233003302288332228622666666666666666666666666666232622826683322333332238628685032222223332222234403833338711758533332223322332322226222332232333322228544045475400033304004502330233303334132442622322234233220003433283332330303332223322888222322222333223230300303822230326668866668888666666696666666622822233066623882233233222222898508222226628822222222233328171718622222222233382222622323320323332222230710471140000880005033044323323030338403305222086224222323003432223300300000330823338888800320323303222300300331823330052666986666666666666622666623888222300866683883220030326222288888232622828888822223333338711171688222222302382262222223333233322223001744171000003334422800300403332333320000225523202230322022000403023030300033330033332223332233303333032230000030023033088266666666666666666622262382628828008666633888823300322262222822223828222883322222223338711171022222233082822882222333333332222233411440110330333330026622033304333233323330323422252833022232000403032030300033003330333333003223222333333233000032223303226826666666666666666666222266622223332266233338833834032266222222822330588822222833003328111177122323300868282282223333238882223000441031743233233333822232682322433333233330323432303233083222032408003030330033030333332222300000332332230330300303328233386698822232266686666666666628623333333086232306333333000326622228280338882222855500322220117177142230382623228222233323282826283440110317580033333288258223862356043332323220322402333283343823332440340433330033000040333330003322222223223330330300482833088866232882326666680586666223333222223266623282222200230033222262322882333333300332223328111177156833322803230022833332222688283333150171833223882803208280032240240333232332022052323228303863302040303433320003303300444400333222300333333003330030008628333330862282233226280003333332222332322826623828282320503300222222222223233233330332223228711777116833330322882222333338888528888224851710333338223033322863330224324333232332082052323222332663002040023150323330300333333333332233333332333330333033303322323333088322822228222222232333222333345526623388828523830000382222222232322232233322222865111177112222382228832223333238668866686204004400323238230328230823323368020323233222002303333222832622002300023440333003304003303330033330033333333323032303233332332303333033333222222222222022222333033886623223838522823410303323222222832222238203222181177177773233322233332230332308286666628630044043333658833228353322262326323323333222032300322222322232222220020444323000030433030000003300003000004032332230333032333383333233333332223333883323222332323326622222333382222854032222330888222223858622228151171177112222223833332303223582886696688663051458200280022233822382663036233232233222332200022222222202222320020411023000403322300000303333333333304404330323333303323322288222322303333300500000832232222666623322333332228862414032230333332222285822225511171771778222238083326282228522286996628824441432342830023332223223262332230323330222203230322223228202223220320411323323304400033333333032222322230404330432223030332303220332223333233333330400003332222866623332228233388622257143332303032222685233328511111777178238338823326822321828886696628633000322302820322382002233262223333200320222203202222220228232223220034411032300000404003333333303822233332340003303322333043333333333822303333333333322342222300866662232222322382322224111440000323222651623325111171117170222223333262223400368686666886802430332033323322033332332222262033610323322208230222220222222223620004411333300040000333333003330000335044333003330003333300033322223332333332555550822222000033866668822228882238333222238555558833222201222225111171117178322222222622230000468228888522382030033524323322032388038632862833640228333302330063263322322223620010014302003044444003300083333330003335032300033333330328303333223003333322000000322330033223386662328282223322223323222222888888822231822325111171117178222232222233050044855826668568033303533034323328322332030832826230600322333422022020863322023223680042310323302330330333333300033333333342343303233333323032233303333333333333303333223333323333226668320530228322322283222222222222222207822228111117177178222222623333174028443688862882333033320334233028230332330332852220604382330322322823222222223282234342313330003333302233333333330033333344220333323333322340222233332332332233222222322223223322326666833032322282233222222222222222222257583335151171517778232222233331770381432862282222334033333234233322303333333338652225520303303322028222222322202282200242003330333333300000333000303333330330433333323333333223333323322333322322333332332333383300566666682326233262623332222333222222222287122225111171517118222223002217103014323880322200340333322234233323332033333333202223420333333323322222222222322282342343323333300000000055033300004030033303000303332333333032233300033333303333330455233000300538266666822888623822266688222833322222222281182325111171111158222330402311334400304323223443003333323280233323302033323340230222033033322225023232223222322202402040222333305855058805550330033003333000333333302233323333333333000000000333233000051440308862266666232622822233238262222223332222222207782225111171117158233344440004347433010332304020030033220228223323332333323040320022003003222344300332232222202804400442230400004858888555885003300300033230033333333233333400040033322222233233330404774033382888626666223222222223322832222222222222222251118335111171117758300414000004771743403330430030040233820262222233332233022344022402343303022223303322822222003000344332355503330888855555005858223033330033023223003233332303233222233333222323000044032322382866666668883338222226662223322282222222222281118285111177111750330540333341141740033340514200002332220262222233332333032344002343230203403262333323222280085300033222285822226288288822300888822303233303302032233033030322223332330333088000333222223822266666666668888232226628266622232622222222222681115801111171111158233003333040011713000004713040333032220222822233223232002204432230323320044482222233328800233344303222338288666222222826623333388333323233333233222333333333300322322333333333333322328866666666666968445882232222288662222222222222222281115051111111111115300023003000177430400441404433330333223262822233228388333234433230432033300040333333222832222403232230333222228822266282662230008332033233333330322233003333333332222333332223333332226666666666666662301153322222228822222222322322223301711551111177111170040830030047775317440840340300300330222226222223222328233330442300343232832223333033222222322222222510382222222262266623326662300332200380033333333282222222222232222200038322332222666666666666666668000004032232822222222226666622822885111111111117115115002403324477740774573203033033440333322226222223322238822333415330030322333322222883822804368082228522228826666445152666886622683323223030003333333322222222200044400003322228228886666666666622666665500000003333282222222222222222223225111155111117111115334133043011885108500103330334403333322282622233322323822233041333300002303333322222233003304082333228888662222402204082223662663323222333003333333333333323303333323322222222282666666666666266666668800400333000003262222222222223333234711111111111111714040534403000011030001143303000333332332233222220386233382322241023330044330333300033303004440033338888882223222333223003032322222233322333330333233333232223333222333222266666666666666626666666666668500040332233333388223222228222238005711711711117117714400004330033445030411100403433003333333224363223022230222888234432300004432200033304000000000333388822833333262222332032833332222223032333333333332233333323333333222222266666666666666626666666666968004044532233333330888883228833000015171711117117177711555033050403400034411354000300303233833220022022432824322288220143231113043223304000444033003888882623322238885140008381520038222332033202330330333233322333330322222226666666666666666266666666666666330002680333383004000550033333330355571111711111111111551530057140330044110443330000333333332220022332043223322882323044023044444400323044033230328888822333230004400400333033443002232232333632303332003322233233032222222266666666666666666666666666666668033322822228288000000000333333333551171111117117711171557154114543300004404433304033033333302222032232243232222228822230333334114144000000033303228858233222554403333333333300340303222233323233303333303322333303222666262266266666666666666662666666666668030030366620828334003033003303089801111711117117711771557554085103000300000333300000033333333222832232230288222222222222223033304444000003303303888333228282300333333303388300030030322233333338233333330333323322266666666222266666666666666666666626666666500033666666330034440033333888699851151711117111111711117550341403300333333333300400300333333326832233223288322222222203333033333304003330003302203222232842233338383333338880033023322223323338233033330003233226666666666226666666666666666666666626666666000436668666203333000033233666968888751715117711717111117533171033403333233003303322222333303238233332623328333222285033333323383222303230333322333322330422033330032333338333303322882223322338233333330232222266666666666666666666666666666666666682666665003386668866285033333233886668822668751711117711777111157533444404323032300333022666226883222223223333222322230032280440333333233226623333032220000833000323333330303222222338600088882222333330833333332333232666666666666666666666666666666666228266666668400226666666228840333303999666266868711711117711777111117133041003233330033333226888888222283222322333332222223382333233033333333882800003323300328833003333333302223082323335620332283222300330803333333303386666666666666666666666666666666662222666666668504226266266022300333338966666699966111771117111777711117583443222333330333333322888266222623332223333332223222223333322323233222222222228330032833330033300323086266822333335222232283222300330853333330332866666666666666662666666626666666622266666666668500306666623030033333308896666699666511171717171777771117533023533333232322600866208826662262880323333333332302222223332228283333222222038822223333000033043230262866223333385222622228236233330853333333228666666666666662266666666666666662226626666696668500230266233203333333358699666669966575171177171771777711182687753322320326222666266666666226222232333333332233322222300322233344088862822222333330403330022332628260223232380323882228332233330003333323288666626666666262666666666666666622662886666666666544023362026600033333008296666669966671571777171171777711122477033203330262826628666222866632662662233332330333238222233300328228888828223344033040223300223232222624283330333323266238330233300003333382626666286666662266666666666666666226633666626666668000403080045033333333322226666669962217111777111171771711784710332330033828626666666666666622226663333333234403228822222230332226622220000003000022233040332232236233683333233332222238323223303003333366626662266266686666666666666666622266886662866266663033300088300033333333338866666666862851111177177171777711771033333300322226666666666666666622226662323333330440322302222383333332233330000333303222223000333233232220223032383322222388822233333003338266866626662266826666666666666666232662266623662266663003300303333003333333382886666666666887575177171171171111710330030030328266666666666666666666666262023333040304403332222808333333223000403320032202220003332223222323322332333323222588322223300003302662866866628666866622266626666662266622666826826666668830000003300333333303308869666666668751111777171171171111752300004230306622666666666666666666666626332033334403440333222240444408883403000544220402320533032333632328033323333230220883223220300003386660268666686628266622662266282622668366666666626666668833300333331103333330005866986669862755157711171177177775100433332203006228666666666666662666666666323333330414004032804003334145544003000082300323330334400038632032303332333222203888883200300003866628666666666228266226626662326266232666662850226666668000030883033440333333300586996699628751711711171171771775153333222002526862666666666666666666666666620330433220323353223300000044044003333005004102230300003220820222230003332232832888883203344032666656666666666822662326686223266688826662515511115866668333304153333333332333333386992669885151771177171171771175703333300022828662266666666666666666666666660330443304022222222222000000003000030033044403003003030323328322282333222882333332833330444338666286666666662226623262052232666622666515777777771186662333330114000333233323333338882282201511711771171177111771103330003322388666666666666666666666666662668500044404111502200523030033330000333220400004403033000032822322222222222322888223033234414386626266666666662666622663422226666822817711777777711158688000002230044340333333332223333033331111111717171171171171100003332233222666666666666699966666662666266000000004111114422230022223040033322280330440333030003003332223222222883308382833232344432366882666666666662666226663028868221177714577777777111166683300044400000044100333333333333332201711711771771111177177150332222002288666666666666699966666668668522233303333305023332222333044432330023332044033330023333330033223832222282232222882223000388666266682666666666662286633220228251171511177777111117186663333400000380000411402300030033300855111111717771171177117150323000033202666666686666699966666666628268223300000330444032200000433023003300334440300033233330332222380033322282222223388000003326662666222666666662663866032203232681117517777711111711558663043455333388003300033300003333330811171111717171117177117150333003220828226666666666699966666666662623223330000033330441140003023000333000300000403333303308822323333333333330000000328303328666666666666226666686633260822022382228511717771111711754086663044554400004030033333030003333300317171171117711717517117150323322255820222666662666699966666668668222200332230588000333000033023032300333003304330000403833000322223333000033000888822333326666666666862266666666238208223233033386651111777511111174056983307714404000331440330433333033300017177171171771717577117110380044752828866666666666666666666666668258205003322662323333333233333303303300033388844304400053332222282303000034103328330032266666666662628666662666382332333222232266571111111175111753186662083441132333300044033004000033333017717177177771717111717153014414855486266666666666666666666666666222222322004023000032333332330333330000033320158851332288222228288328553333233330082266662886666686286666826665082338032662505177771117711718111121156662050030103003388888003330400030303577117117777177771117751118540333415402822666666666266662666666662222030323333332200803333333322233000305003330322280333333888228222666666822222222222666222226662866266622266630862222222877777777171777777711151551158662503003333332228282804000300033333517117711777117771117717110333004040303862266666666666666666666662262223333303222300000030030332230333850032233222233333333588282666666666666266666628266662226282666622282666803662222221777177115717771111111717711158668841114000322232303344000003300033817111775177777771177711710304400000330826226666666666666666666666222223000000822833333333333333333332040433832622228288882822666666666666666666666622666666662826668662886663036622622257744411111171111111111111111158666223044441510043330011100000323000017111775577771771177111775000032014225286226666666666622666666662288283330053833000030003330330308830003222266662886666668262226662666666666866666666666666282666686662826604266222222217500141515571151744111111111102663045440382886666666233443044432303477111171577711771177117775233331132328822826662666666666666662282282830400332333000003050008822200300332226886882666282288228822286666662222666662808666622866668826662223102222828322217300114045111151141111711171455684477154186668688882232304000303333511171177177771771717117175333818304525186286666226666666666662826233333333333300322822622226288833003322266888866622826233888822226662262282228883322622228226282266233044266230262226617004114451711151111111715171118668355662582288666222223030000330033511171177111171777777111111533555140287182666666622266666222262222333003333333826662866666222222833038822666666666226666803222222226222228882833322622382282822832882330032268288662666571441111541111457711117155111158668886662228838882666222230030003000117177177751171177777117111528114330387026682666626666662822222830558822882322266662228888886688333322662266666666666662622222228822662238223332222233333838823233333302228226666255551714115445011171517111417151117155699966688888222222666682662333032233111777171711777777117111177107113000011308685226666226222666223003266998868866622228338666699688238283286662262822666666288222222222223332223226668032233322282323332222286666657771111154151513411771111111111154115158666999968033333322866662326233330333411177177111777777717117711703571032871040066622222666222962300326996826222668888888888622335866682222266222666628228222282222222233288266628662300266238222338223826622226257771714511141511143411714111445544184411455666858226222828828826662232223333033517777177171777777111117111788173223871000826628226666622330008666668862228828822688888888882662888828288866666255345222226662822222666622222288226223822288228882622835555711140440114044414115711177777111111117711415688303885888888222226666222222333030517177177171711777117117511180170305170203288280228888833030866696666628222228222282662226988888862666888888220400443288888222222262222332223322622033222882628826840415557150444444144444111711114558855885555555000002662228888803333388666666622222233330517177177771777777117171571185110030778333330000333333000886666886666882226288008826662288888882628288868866844304822258822233882222222262282266288826233822005045444140477554414541440417775822330823002230333822045033696669666223333222666626666622233238811777771771117717177775571725110005710000400000440033882666988222288822666688266666855032386685808288266225102302220402803032622808558822666622282208300444444400304100171111111111444771032800323300333303303304403300669666662223288228826262666822223332217771771771117771177771171721114335711000033338266226666626666888888226866288662285500332358826668826668221834703000030338228411777177777158266204444444400500541404404111111111441177103330033333232333333033000823048666688283308888882222662286622222228811777711771157771777771711781710001711588822226222228666626668662622666888222888383332828582666282262203282005050003332385177117100051111777528040300033338035577544051111111111041714333303220032333333303330008804332666288823333333882222662222262662288811111711771117771771711711757710307111182388888882282226288266666688888888883033330338288866680042220113244482200233335177111440001171117111111033333333300551771114011151111115477103333032230323333333003304383333282666888880333333832282326286882666288511777777771777771777777111717715057711158828888882822228888668226888882288830000000380286662300033304586248262322280117114444580541115554444441150833333004417111110111777711110170333330333003333333330323402200323082666288228005082230222332686622282288557171177717777771777717715117711287711712222222288822222222222222000038288833882223332266280333323002668816684130417714444443011155444444440444111000300054151717150777711177777700333303333332303028333200328038804088666628888888858323032283222262222238811777171717771715777151711717115117171178682888228822226222228200000323300333333223322222803002200382315812040517714454444404440005544117117144141408030055111718051114000004440230330333333323030333033032280088040336666888833232222332233268822222233333851777711717771775777157711717115357171177888832322222228822223333300330033333444430033282322333003225402210034111440041544444030055111444541111144115511511517152514400000000003002303333233233038230333338333388003026668823230332222230323386682222033330055777711777771771771117715777115017171177558288228222222228882330000038332225158888880033330000333003223010514444400444444000044444444544441151111177111115111111140303000300000033030333332303332333332333333033330228668668323800333382833330223322222888855771771771771771175171711777114857177177171688888282222288333300000833333030832004441100000338888303040851140044041444440004444451555414117111111144404154154444000300003440003300333033023003333882323303303033303332668685230833303308223200382332222662251571771777771777175171717177171557117117117566882222222222303000032233000322222044403323300832262304022034000400004430004444044404114111777511111400344004030440000000030430030333020330323033322822333333033333330086666824330000033300826234102233333333881177777777771771175111711777178517111717117752822228822230033033883040333883332222223333032822804322257135004330304044300040545044441511144517140300000040304004330333300200303333330333230030223332383333333333330388668840300000003022882662040220332330325771771117777777175111711771178857111717117771828338058303803233300033388800333388333003332204450325171401500444444443030555000444444111411114403000430403003003303333033003033830033332330332232223320332233333303332668300000000000032358226230823223333385777771771777777171111711777175857117711717777180055445330038800003235117117114482333303333003320441440005504440004430085050844444004444111140000000030030330033003300333000000800330333332232322230233323303333003332663328030444003332220402628000033300385777777771777777751175711777177881777111777777700044444403330033228511111171411750002222344033301144433008550344045544054000444440444511114443340040303330330033033003003300308043300302322382322303303283333330330033688558330004000040222041526330004402222177771115777777751171171777717588777515771117715141140033300338851144444141711771022005033333411440000020520040000444440040044444404111144433403403003030303303030033433400030033032033422023322332032033328000030388666885503000004002882223040222622322222077777711777777751117177711711750177775177177171540503304030080511400404444441117700432220411114030400588404403000001104113040403041114440330004000030003003008333334030330304030023324224324820320020333305320033058666882355023000002230582300022666233308477177171777717117717511177111758177117571177711880000440000841140044444441144411113300411114440004030438100004000040511454440004174544032300300004033000080011110344303003343040222200200200233280300330471500305508665058828888883332230003300044055868222571111117777771717177157777111715577117177117777551000400005114400444444141111414114411111440000403300038500000000004144055545517710000330403400333320008300553851510333003041403002223282302232333332331155511485515620511100032033333333333333330005283038571717777777171117771717717117771557117711777777771100005444440000444000444411114417777440044440000500033500000000044455555551771033440004030455233580411303804005171033585447758406222815050338223558345555585177776611111114403003300000002662322332232230511711117777777117771777117717171181111771777111711150411740404444004444440554144040503334403000000000038500500000444445550477150204033440344048110220455043403305857534758553515281262112055582811111115556668588866951111111100822822288826662203000033328111717117777177517771717117777771751777777711177777777714004440444000400444440471403000414030400300030532500000000035411117110004403344002445540583040033455028432026850221523010275631865115826559885851551715588228955171151111155550000080515144444000008111751117777717117777717157717777177717777711717777711400004444111144444500044454504444400414044500330402440400405411114114004404330403000444155401441824155881834128153048058255815030823851585895558855555885555556685541111111544440000000040400400000440117711117777117717777717757777777117711771111717777117140441111777111144445504485404040000041115555000002511111141154441400040330544000440554155455545551151005541504534458438555571483333381515555888358882668888888655444511751144000000000000000005111175517711117777177717777717711777777711715717711177177777751111111111117714441150381444400015551100304155052511111444404040444003304444444482115155155555151755151551155501500183001515823003351515555822888888445558869611711115114111400404400000000517777111717711117717177717777771771717777717775171711717117771715171111111111517144550586855140511511133300455552550044403044444005554444444111555455115155511155117777151155001555156585148260555055828885855150088885585596655500555514417774000054003517771111711777717117751771771777777711771777771771177111711111517117777711111447715111415025588551511455511140045502511140411400303045445800044158500445515515551115555561777715511758155155444458855551500445582888526885128515685541115151111771411115017777115111711111111111711777771777777117777777771711117111117717111111111177777111171541114004600305508380411554300002014822282233333455532805550385000450445555115115558288555515551885550555540058826955883322885155551558858822655455151111115111111111771111111171151111711111711177171777777771171777717777711117171171711711115555117771111715114400302030023051551550000402848813038055503551550455555800005530000000558855898838305858885804503055155545158888888858888686815345510406651151511411544411405111111111511117111177111111711777771715777777571771711717171777171171111171144441544417111111115555045630205408354440405182855155505505030050303005858550301000851033822822115405822888555143044050885503862228338858669885177502222856611111151144544445117711171155555411117711511111771777777775577777171771771771171117711177111171444141444445111150511115445850817051530443334122851020224403300003405002332011514001115058543280030411550026685030404558015541555344140366685155545115888688611155115115555517714551115511111171117171115171177771177771117777777111117177171117111177175571115085111111710450851711111111157144204305554422858200332043303335434853404017170017701155122818620032340322828454044554438158885144083358885143225517175144651155511111111771550441155111111171111111151717177771177771777777777171177177177117771171171577177551551777710000041544444111111110043555581028888803540055030551885044511117171717141551430158170200003030558440443533305026222235111828114423852251155444651551111111711111114441171114555171171715557177171711177777711777777111177711777117771771171577514411114577550033000000000151551111455754047585115882000080338111154544414445511711151117407151115115000328044400558500558235082280455156814045888657151188611111111114154445114417714444441111711711117177117771571777711171777117771111777177111171111177114444445171545403005540445555111715381714441117717528814111558008045551505003055551157557511111411115503255144450385185540552228050500320418552851851557158877771171111144444111115854444417711717111171177157771177171717117777557177777717117111171771577151711177715004441158555155117111440477404115157585535410145334033341555150033041555111717771514411151508511144354115005500558330838553851158128017838817182655151771777144417111510005441117117117111117777755777571777711755777187177711717117711171711571144511777103333088888500000411111105128711455557151151415110287503000403044114454504403557711115151111144551111500544411405504882082330005558021422228511522655155111155444441111111144444111117117111117117775111711171771711771777777771717717117171777171111117774414444005005500008554411455752511551581711154441411117400030445004454545044411141111111771111114551155580333015805041230828504455115504820555813885255171111715111140511111544445511117111171117117777118117751717775715177117771711777171171777177151177580041000057404415715851555551778251151151171551444441711033415440885083338842114550550511505511115001155800300526280048080508800388111051801555432508251111117777114111111455115040517171171115577111711115117757717175178177117711711771171171777111551771884417555047111115771115826651511284171588577857111111714204485444455550005115111111111177483554400054550340040835110050758858288858517557158586222258211111111115117711140555055440111175111115177717171117577117117171175577711771711771777171777771171711777177777777717711155718222251287523110386715581777777775240005500257771441711157565875511117111540054445140503517568051158858511155775820544022511515614441111155555544440555005400111175111115171711117171111117117771177171111711711171771171177771717711555555511115151758555115882575281122543326775511004111171823451117577111117777155198675281771715110114444105110142888555551517777717188544004445555156255555555005551555511111141445111711111511171771177111171117117771177171777711711571771111177517117711555555511555551111717718885715515752552328711571582288811854057114171511554415411711171111111711714701451151155428551155814117155881555533233335888886255555555005551555551155551115115711111171177177717711111171117171177177711711717171771771771511717711111111715555551717777715557751175578552221175511771585157514511140175177114510055715411555555101711107511551451335085822205117880555855500058008804008211155555555155551125555555055175711111171177771117771171171171171177117771717717771171777771111717711177177755555551755117771177581175571502287171541744411717551117150171717111114441711155445115551757151511517547344008828555111115555111711171111111115655515555555555551404114445505711771111771117117717775711171171771177717711117717771171717777717717771800051777771711715717772817825171257180815171855100002257151517775717155715514445752222233303221717111517557511140085144501571711777711111777177111115555511111111114451844444445445171771111717117777717775711171171771171717711517177115117777771111117117111451777771451111589578257825171287755558171005703008557717077171111559115500028718832222223807177777111117715550144488351151171111141111711111144555511155511511711155540000005045175111177177717777777775511771771171171777771171177717177711711111117771758511717117111111159978657821777881188810171088711447771777177177115559118800005771177777777777171551111711111141154005471111111114115115511111111115115511551117111144444454444444571171117777117771771775571717771171171717775171777711177111117117717717775717155117115177159978257151771821428813171038771117771117717711715558515555055715177711171771151117711111111741574851111111171111771111111111111111555111111115415111711111114551111171517777711717171171177717777771777117775111777771771177777171711771177117151177771777775178811777771181122340051583117711771711177111715551111111115718175555585501995181115111178510511051717777111111155174411111711155555511115551555115150555505551171775171777777711771177717177177771771177771711777771771777771171111777717757554111111777777777117771177715722255285558177717777771171177557771777777777715773330595335991155555555578514577177111013533338228175585551771778555111115511114454788855155585551171117577711111775171177177177717718777717117717757777111771171111177117711515515151777771541711111771171752011551111711771055771177777117114441771777715712833898301535177771554111777777771402222441038888051558588851772555515555555440455185888885555557171177717777177771771777175177117771171117117117117777117771571171177171711111111111771114115511151115111115177777777771115851717117771777777111711177777770554551555585788055550015111151515100500000004111262222882388558855555555555444455111154008885181171171177717777771777177775771111777117117177177777777177777571171177717711115111111114171111111511717111111171715111115551577117771711717777777777771777715111551771711722222226211511111777711115111114551180033444404152811111555555555551115177775888551111111177777711117177171718777777777771157711777777775177777511171177777177715115111171155151511111151111711711755115115515571151777711777751777155111515511455544511771700888888511555115550155551114866685511144111441152855541555111115511111585117185771711171711777777717177171711777777717711751711777777775717777571171777177717777771111715555151555718888888588557555555555151775155171717117711717771117155510005555445111511777777715583115000083057748655551517115175023322255515511155511177555555551117751117171775155777777177177717777777177777157117717177771117777111171771777771777717717111711111585758885588888571571511115117711111111117771711111571404551150055554441115822222222518822777322222311551771555551711155002222517111551115555111555111155715857711771777715711177117177717711771777717117557117777755771777711177777771711117717511117111111111155555885585171111511771111711111171555555117777504401051555155544451411712228682878885111585555515511155555517144151044822511111111451405111515555555155117777111177777771111717111777711771777717717517177777711771177775177711771777117771171571111111771111515551517777777771771155111111171551111771717755501441455555544555544171899982815511111155589515111158888514411115031555511111771111151751151517511111515577151771777771777717717777717717771777117111177177711751711771517777171171717777111171111111711580000505588571111555555555557777777777177711777771444455405515515500554114555886815051177100595551115151155515115588517758581154117111751715555555855158111777115171777177117711717771117177777771771111171177711717711117117771771111717717717151717157117155044505055171551855119575111571777777777777711717110551404111775000555344044158875177117443596511555515571515551157751158551154511715155715511585511555177757177177177151771111771177111171777711771711177777711777777771777777177171177711717585115855175555177777777771111981155911118558571175515515557117710511555057710044055444417177777777777117715815111551771777177811885855541114111115111115145155555511515555111711777715771771711177177717711777177717177777711777777777717777771177171711711777777777777777777777777177851551185951155158518518858515517551111444511477743555404404111111551551115111111551115171777155885515177715515115111151115555155159155115555115117771717771177775111177171717777777171771177771777777777777777717777717771717711777155511171111111711111177851555185857155185158158555158571851177157777771715155545411144114885005000000455801111711115555155511777158111115117151545511181595595115551111711177777111711775511177171717777111177711117711777777775777177711777751771111717585555555555555115151555017855577751557555551551185555158115885511771715558711155144415114411080005003800550551117181177777771111755515511111111171141551151551599175515515177515177711771771517777171117771711577777777777171177771577117777111711777771177551171115555555555558011517855571117511511851515585551155118555715510583588771111141401111171503832303388005558117557771177711117821771011157171111111551711151195511555511511511517171171771511777771777711757117777777777177177777177117777778111777117171115051555117771777777771517855175171575515815515581551587717715888880484555717155744141557111550455058830208285775171155771585171577158555111111111451155111115755515551141771517111171711711111777177777711717117777771777177717717711777777711711177717711185111111111111117111115517111111175555518511555851851557585882855885841851787115404411551711555541111144455857111155511777711155775115985111111111417115511515575555551555551151711111771711111711777777717117177771717777777777177777777717711111771717711155555555551551111111111111771171775511118515555815551511555558858250873517780171040547555751115054145455155511117155171511155155155115511111117155517115555517511555155511115551117111171711117717777777717177117777711777777777777771711717771111171117711115888858885855555585555551111111175111111511555515515118555188552548158117588557545041541757714515551111111111111111115111177555557755111717771155551555185511444551155551511555117111177717777715177711717771557777771777777177711777171717771111711117711117777777117711155555588887777151111111117777117177155785551885188158585117810387155441511301777777177777777117715155117715715855577155511111111155551759158111514451155555517555511177117777777755577771717771151177777777777777711177111777771171711117777111111111511111771777111885777715111111717771771777157585855881881868588111815087157751117317777777777117777171157155111151555555555556571117111578514175555155515451155511151555111117711777777785517171711771717177771777777711717117717777771777777117775115551551115515115111111155111111111558175555551715855888228805888888888115875057151115511155117111117111111771117157711177111555555516117777771115171115115111715111111141111511115717757777171751717777171777717177777777771157711157177777777771577171771115551155555555555511551155117111171588171555551718575551111111551111715778871587111551111551151111151771111777511557715111111885551156517155555717555885558815588518555155588555117577717777171715157717171771717777177777771517551777177777777771577777755115511555551111111111111111117155115888177888885778871717777717141545554175877587751155577777711115151111555511111557155155515555551558688666966866666666666528228859596686666999886655575117171175585711555115111115211117551117551111515115111151155551565155551115555555151155555558555555515888111888885178818555555500088000500175855581711115511111550888855115558850551555555155055088874829), f"- checked in {int(time.time() - start)} seconds")
True - checked in 1768 seconds
>>> exit()
(.venv) $
MadeWithCodeXYZ
