SQLite format 3@  - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 L) < I/]Stone_Algebras:threads=2elapsed=55.197cpu=90.952gc=2.820factor=1.657zXZ ) Stone_AlgebrasF! ]ŗXf1-/6vR[]oSaS3EU(;aQYq^.HTYdţN^}g r|Ts[]UTzm-T *MQjcG:" >aԉ6NgUhjfԗIFAqSa8]BƣD?n/~iJ}t\6I \c?EYna 8 7M-uԄj]*3_b>V?vjKG :NJdCEGCFa,YԵpA/\Xo닔Sѕ Gk9AmR c.MBmm ` 7+h2K 6Y۩R5BW{Y R7긲_; dHܾVh|vb鼻t=WBN KcG-daxo"g6Vx}yBܤE#a"<NH`bߘxenbi L&]+5I,Q~ӈFӒf,,R:XCKY+<_Ng sr-/Iڪ,qgZYX" :_GNeM껧BȒ9 .4'T(@PC—#VKZ4x} E2d9 Q:YT >_"zr Ax̌e;1LǬT_.:9 9ԽC*:᙮g|Uݢ[PRl(:bɰ>u=",0, : 4ǀx:U/RK;+MhkcB 4jٳV<7z`NNـԖ<TC/޿g&XS)h8# pU\M<] \Կ<oƅԪggNU4. Lo$C[镏Q(\v{v.S U54aGiQP̯/cфfs~g?eJIc:'\d*,n nPU|Q),S,p\63S2-[y`iK!wYw5t%2k,U_iu#wlď %I " - ` ӻڶ{2\NTa{"nmGhǣec Lq \ !~ M# ҫW@ p^[\_~fEdLLB |l4OV3降YJҒ\Q}n6Sbm8n};MۇD7`P寠3.*up'$N 'U{Y9I&->3J`0xQZ]o,Cc扌'P3ّ0>`XAi"MH郶fdU(-R58o{#aFdixz!a[/]?lǯָ;W DRqi,dI.D@@sN`W\rn*@m WCqT./ёq1d(CP$/dZg^$ghrQy AA k؉CJEf}RĀ@k OL>Oưk6²oLWéتlU;.Ņ LЯ?$ :ͬfu>cl含KE5NH*=Ƨsk[EH;_~lJ!\ s<-PǮldeyx6G g$ Kuű^"m 0j &Z/$͐ Š^2 qMmTu˲O3rO^|M }W܌+6t:(} bŔVF}Q!ˋ-;R٤qo]lAb޼D>4\M\R.-a;\v و nԊ(ǬL$X,qX:t2qt#/av0+^=(wG 0K]p<.Lea6ڋzMR.'vzM(l#$9w0ɭf̽ /+c0jm= [uiFV?ȞHq`jXɧ_p0/猅Ѕio]&=@?\a}5<*tkW隥y. d*>?z9ܵ76Ėa:Yd_3ۄ bb[!zA[=e%Y@uOP\v. XFj|*I8+ǯaU>e` I\f\x_`!>\Iɘ,"r&" ^2_<{8hT^'|6PBdy tpg^PJw}[B !!boD1/0_.C$7SK7^fa߹><%7n ٟmЈWO5=n=iգUES<)5>z$jj/O7Wn4\ h@m8,?;=h\٥HN_澐=j(0oLYT'ZirVX'Nʒ_?RY1jRNŕXM(WWpYA <2ۖ]E`u$9: µ~y{ 9(ݥG1Eb:i5YR,x&}騼@yKR[ar,O|_nPb!H`ɪ7#Haׅݏq8'UZ7kGK7Ώ;yT1C7DNOQFϹ`ټQni2?/w_0N/GӖdl#ej`!GgYZ7zXZִF!  ]ŗXi%2р=/[K0MQ$:!" ʣkugBéǔÌl@E ?Nsj0zR"~Exv>Cy!Csh! uHan%\(YI0a1ҷ^2VU֛6@pοMfli`rL"3o_9CDJl;F vx5,E(H!M(РekZ!?g,/ȗC7o*#H&'w_ pjb%]c]#WZ7\dg W\[`f1;B 1k!2Rvyt?cRt8KZ֓?}ZD_GՙGѰI?:{,-m#aPB.3 V翔sp!ĭ%< `iYb{bOn}0mޖv={b<$t]N-Q纝f5x" -yh6d @S^'0יgHX׵J.W]V+l.)kgE.SݘKRt LBSfܴoez#<,fQD$#ʂ[v]b 1ԡ7O*AG>GP;F5plBaZծO`5NAX!L|Lb:^f=nq<U ?AI:Ox;ܠD?/ dn58֔9`(!D=Џ9 :!> %A&Y9gi!ͷ.mNyR`piZܢ䦿Oδ HJmj 9MB]>J1m #QQs6x[]|F-a !] ASR(!jlQnh>=7>U7CD:Çr+]eeL*64m[e!a~ne1EsT"s(ttY)'8fVf'9$=4I|?"ӡ{g5$t5Po3ՏxULkE9HCFW}G^M`_2W#>:QxzHL J~UM_he,FQCe?V>; \(Z[V}1q4t W >P+O BB=ɪXIO-@㗷P {b e/FhPU7ii,Kw#^UbXm[R)sOq]cf #_߆c4,(÷ 5PMoTW[tX(}6}"9Ih;z؊p:y?⹾:ߏ+/ T~E~AƧb8r4TrPV1*<+P>7@Ioҹ&UӵlI~U浰ZOd d$Bo'k~θLVCg|yCWҠ}^Iq|\mj{Es$C_XL7X~H*9˽lw)D (+;|k 0}/Da_ɯP Ero %>:AoJ2Ek X3MWd_r *$