SQLite format 3@ . BBh77otableisabelle_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 zITl ]/ Abortable_Linearizable_Modules:threads=2elapsed=106.172cpu=154.224gc=5.484factor=1.457zXZִF! [7y]ŗXf1-/6vRZ\RZܸvkp {Xjas-\_D>3L=H豸W"t8C^4g煓6vlŘμa V3P`hTBK4+t|J;?OJ)V݈OksRep`>B̕鱬B j{„/Mu?3p-jmxXa4bbJv%HB!%I.Hځo?JCq n|ca-Gd߲{;pWͨ*N{[?crG#-}@DbU|d|lu_ cGd%-eT&=5.,i=q>ֿG@ ^“ykP]dlha L ފژf._ @z[!>E. K:4=[fN4cpĕ&i +^JOj( . #~6ceag,C,\$`dp*1IzI+i+afy"vDp9LMR/ϡ d&ܕ8duv #$;&?<7S%j8uBA/,/V ?ӟתfv٠V"0H۹o Jul8Hr7nih="6Ns09/}NrÎ݈(‘díOZ!e}G CY΄idQBwb.V~ǵlj}iU"̀iNO׮AŧI տnRi1bH/K\ՉK5$hM'Df79|oض Yoc 5`71**͙/FLg×N-2'<lV#7,jʅ\TR=2K٩Eɝf&JP op(hFž&{O(NgҽOCIp'+6ӭdI |Фo'W"K9i|Fn1:3Yxc6rk ZQ$o؜(L8F' -$ ? >s vbR6{{]GBzzMٟޞCB]1y"$T]ѭ1H;ޑW ,0_] )/ js(zw[Dߺ:SQsW"Pq9x0A̮Jva_ѭ–)q?჏xQC/B=uR խ\7Y?-[2Z? P/iigYZ7zXZִF! D]ŗXi%qP5#MimKvǯBq^*v9oU[n,ǒ&;G0S?{6Añ[IծO?+@a"o ؇Z{1n*`kܸ͗_r4<8 f%zq"L2zb:*sbS*'I1^щǥLNFD2 Dăks[eo "!Stsa֚=Ix)7|^bb()^ ;yݦj«.]0dLFsIF7N`|;cBU(QZRzآ;, : aT%.Lr<}O=d_kH`b.{Yn1:n\o' U0FXyZ~f.J|r<"!"rhVKSi32I)aJ$Z(By\\ ˤ8hNq}u#x0m8֞E@R| X|K_Ldn8(+vDuߌہңHVCXS1F)r HpH!vh BzafˢyF/k8hD bn-IR۷ރzt S^غ=`2 D 1G`r*E O茄s7BȢrC:凬McOLY& ex3qjtd rq?a 8֪6@'h:fT_9]3o !I Abortable_Linearizable_Modules;ӻ5(.h䭪 $K4V Y fc|8UJ`5|Hshֽ3Rb@l}bu,/xʇ3ѪHx|*Hƒ?- +Krh 6BXT:jo5B5=; N7nޙӂV}xh/a y׾0^\`Pއ?m<.Zjyz#rj4x`dU>.zlp[`Sxj;\S,RIק7?G] ӌݞ@y&rp4$*Pʼ=>5.2g ˟,xLڌNOʸ[&b읙ZOdX%UNv-VuETKb;7ݾϭYOKt<`RF{Xw!';Ph!Ǔ@lߞq=*"k'KQGA{OM/]xA37 KKZZJ"bhhӾ\\% Kկ5yU\WE >%;>ց~g;ʠZb#$CҐ) 71%J9}   4d_e6WbDU^ޔqap*UR&lUNx zTRpNљa/؟])xEӉ!HHD qX|B \kWMzP3a a/&x}>wXȯEd3\N #¼ZTJKv kY6ئyO~\Wt6ί61}f[ΚoP]0%ȁo!ęU-fh^GdqUgI HPi/6zbJA2>3-=l zDo@q\(M/dur:K2VѫAE$q7?"krɣcc)FfK ߪ%wRE |$6%M=̬H#h1N0*00n]pzQ6l 4[pJ{| +4n9*_DenW. AKvVGï6rwmHJ81Ļzо9r<|Ee%s00ёO o *Qa(F@硉yma mQK p)?'z"+Mk.x_ s@\kX?ZyF1IsY&n <2$jq}Phyb טی j'%(oVGh h_xtj>;$\jsڛ.Q(E%P AtWᑮ@(LqK]ۭ@0K+Fq\pʱ##]^ǚ;q2^z6 c秭svol!G-80A[_%Eiȶg]"%gvk]S.ma )4KS]n1EQf" oT sO8kĢdС񄵨g~1S/ ɟoHHR'v{ʾ= ~O)TPb&#}MӪc~&7˙]įn(o4I9; PPR-e։dmK4 @O dض[xeLv-9&ND_-:#c^$M39FI,F!T@ɣ"f1ڴPe桌D?n&p]=B*\x P@b} 6e[ϗ󻕠w$*iZE)T~4,Ó}+t<)%Z dFgUxVN#NŶjP26bt$9EMa Agk:?\c8Z]tro53!D\Gc ƟJ%'"qu :qS'0ͬad׊ttFs䫕4ezy(ޱDmHXG~Py6nU;hfU%t@R$iطYj+Ja8dݯf׎qs(ĦIÜbS?S-#pbr-!8s8jzPq"R"nhf!L3ey;̶m7I`oϭVW) 杼LQeUw;(NcEՠM)˃̐D\PR>Q PndH~lCܟ""4ŀV ybk^$OO-oqGrߛIw GĶƄ~f狿&v7b|IsSTl}6a;hMn<%'r/ rpz2XȊcn2˵K=h=bƂAcS=& Xz91 6ՉKU0qmǙɝgK[O`fBڈ(isxms_LpNQe[y%eJﱬ'!E >[âX=R׉_68& r#?)!J`[hABc (*gYZ7191c49414816c84a8985a202775af509b2d8080d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e