SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info jj GdT< ]% Prime_Distribution_Elementary:threads=4elapsed=37.732cpu=142.172gc=2.356factor=3.777zXZִF! b]ŗXf[&Y8ƌ>B\Yqiăx-":e$:LJIM܎74[u.'|<)roQůK w!'́1DٳMĸ< -ks؆qޏHzw9M/OGAB۪v⷗f8%ֱyC\ u^ 6 o&0`$F#8Wp vzzKd|b*q ]:b3j5:q~:PG.(2H89)>\DzlqC2G˵w\{}F:=c7YRS) ?G-AGg4kBȼhR:'[0I|E"sFŋT10߯yʾ%u.T Ls-nO$"Уm[;iʷ2@FgL9rTm#Qn^z'M,Zڜ.Zr.*^"#نBވK[ cSO{ik*V5|.3DXՔyjX$Y6lRw6#etV~XLKY[R$vF=H,xŦ'f>gX:Hw4ub {oG JkD2ɻ8vH>Sth {zὒAb)wM6%3jHUڢ=As/ 2W.Q%nꀬtn"W(x*7$=$5qoj~-}Mn&/%ե;/E~ßGI| | )]!T]O FtVo7dvXN72T 9GX[:(ߍpے1ֆ EM\(a:Ϣ5ඹ-Yr󦋫j@Xa[%9L3, [tVB)ѾT`.5or[((Llf4dXRFmc Bl$io s ӅޗV஻6WĴUy؍ . ꘰ù8q4[bIx5ϋ.-+}3su۾Nݹ0婌`}L<؊[(Ex5=_ ð 6oevD{Kȶ<Χj0..^t";D(L'lS;o^ogp1iNh7K?xn @AjaSlM<3A+5 A<`uK&V9O)|ʤAߓ>+U"EA*;M)t*f?deL3 9H 2RrtXhLhC2VdZzmseާoݡXi% WB+EHC{xZ/_Y_Q p Nu@$Hq=z_ Xrޕl8 LDپ:9)`OŰ47*g%xd0u.9h G ~8m\0K6w!LV`tn4h g_BkčF~e>.>2WMZX=)3vX!$Jb#u53GiVHn06Z a!A(<;d ~DJ <0J8g&Z͐CgY먿DhɌ84f[ȁ22쎥,b~igYZ7zXZִF! I]ŗXiɟ˕:Wl[aFk _)%̕N'!scE S-IwCVh88՛I07MU/y@:3 ártD 40]vXxA=p! XS9u u=:>.d鏭 'l[dž/5;cK|aE#\o5NEn\2i bc_|cfM%둶 }&zeTyB?G.vA›6:Q!{p/!}?*-xΊ"9iԂ|l>!*$馇7, 0Q7&wFI Ad!4=Ԕrl2LXoR@q&rRTʦQ6dbReO=s  G Prime_Distribution_Elementary  `,()}g*a;V S=gYZ7zXZִF! O]ŗXi%ES3l ޾n쯞kwa%Hԍ^?1> mèuPyq&RDon\ a2B 4Lָrz!bǻL*[W.6eC$Y2p?jk ҕmLԛmEq\#hyyy*Hш[\Ú;^E*K><y-i5(xc%FCiToֹ%X%3,.=1h).@*ch&HWpXзD={R!g<'e[X,hy1K"cқȿ-`J=6-YЬHMEr:̚*(͌vHw纄YGmA T%5C"xRB$mb̗n볠-}$`*DZ2c^[W<{C bCz/>G8y 4#mQ