SQLite format 3@ .;  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   `)rt$ ]S Buffons_Needle:threads=4elapsed=3.881cpu=12.792gc=0.0967zXZִF! ޓ4]ŗXiɟH)0%oor !RxẃO*Ue3".dvcؘk$B9Z'ˣ>RD,_3IaurϏ4,^`%ʴ)+.|my]ŽWi!jdP~S>[Y߷9;1?ő\Ѩֻ~4ـ{dqe9ś\>H6 b; K)aӞ4V^}=5P^x0^(ժ`G6 4ǭX5u}ר2r"mY8\eMU2h 2Dzf}lx71:P~Dyf fmg[ćk^J[#lGmW.?PU7Zu0̼bO_WຮLdo5Z#Cgm3g#뙵=R4UHd{SҒ+ym0n! ]eyzLa49_-'OL1D2udCMn#3CI6H(PD[cw agP/EhPs>z |VDFiQ < PѡluhY'm_ ah Xu}wQ6X ]Sdaɞ_QkoCs#*P}hKcE tGBxP_# 5'+@jO,GX`gS;"㾜@ b̚>ȡKΉ؋B[lЯnc}ٰM&Ҕ7vu Fa XzRoZr$!g 5*~SJ3/QZ֚PAE&7K&υ61^q]IYCגTm󗢐T:*\Yu`HVZ"Soy})z/˾rҠQf{nGS W1;Crˮ)'3*W| g|{Ƶat{o *"M%Rhvs@)]`̬ #&Rqfx n3R$؟JPa~#`DlcׯJO]vM$(8Ú=N9)`\u- ) Buffons_Needle  7nTSBoA|3{8_JtkCD=TNJ$,FTjJQqĂ'bg.j%CB#]r|e O5(8_V@}&d.1yY%3Pz}\:84Uqֵ&xGާrz'Z=V|]>#Q Оoff;9_)%Rש,`v$|̿I%-Lh{5-?A9G@&N==r N*Etubwb ^ (ĸ,e?F֒ym[b[뉥3s܅vx)ЛDPiKiBTy{d"T 6MܪӮ$/sFSmCʸQs& l6j[۵8G0[1&rQPlz&VÌh';8" G@F%@xjV϶>Ͼ=El6/`5Zeͫ6_%XxH zny@ȒٰMn۰{y. )\Ι,Z;kk32EI5z* ^g3]b2nB-Ipݸ4]).`7 ,ʟ㒏 #us5Y&+ߣ '7d_e8ԣq)6(~Ȑ9jzb ^pPCNE'ڛK5 U9*T(Q*^[HG˜Lku >p%'0YH)|*{IVțu.̋ މ5"y3RnRu~W#35Q?SF:9-ԀR 1L~ڎR) _Ey.)rK^#cS\jvK12-6~u7&6Eh+:e<`2DPŸt6ѱY(1C,O^#k$_Q8WX6/!`5F&[Ca"j޲;\bHJ),rIPyޡUAD&KnOWOä|'&|EDS[.Q<Ƨ_n+Ñ鍴4n1eDzud'Y-d7{\٫'* Ҳ e-l*T%u\y^R /%5 |YU@̲Ķwvc'A/{nb=}iu~iEc>- %xh ]BS\-Epn+93?}I}xd$K҆au哾x?~;0ld7eh܎E9AYoQxXp RDqs=g5Rj⫮IAhTN:)|n[OA:ֲ7K7> P$8sH0R *jz=iMtP^FN5 4 (^0;g<lx­qw䦅 `et-5АqrSD ne!R5zkg-/9;?,a]ho5hr"p)o}1Y Y}frS![Dߑ~{6O =GtCg&&IC'kEX*Ҿ)qqǘ#L %N$fvzsF8p %%ʎ0Դas^^bӟj7zPA4"㾱gYZ7zXZִF! QE]ŗXiɟ(0uIU`s..5L⼟0U4[Q9/[Ia<*[,Hw[ZaR}YZ7zXZִF! "]ŗXi%L&Gl$60SDVTVj_U"=08[e$y`Ja h𿛣[`vZ+NcL-vo(oj* +Q qEEԣn?{nL˘JPv\l'("l͜yyRax%mfF{1|hf ~m|] reGe&