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 99D- TT\ ]S]Relation_Algebra:threads=2elapsed=27.867cpu=53.132gc=2.816factor=1.917zXZִF! !]ŗXf1-/6vR[O9xFuIˍŁ]"*iFYځ_ci;>vbQFn y`T\X`JYX6wms[XElXu F%:Dʓ|{KOE1f؛GA ek΍*vRR§-|Ktx~[ jtDT36,*&--;Lhɧ9[*k`wTL(}r=}x͆H9|͙0p-PjA'6v͢ƤP#)wΐXJѱ~r3}BO }"˙\n?Cåj!`R0BO6 :+tqRӇk̃r|=hF]?d AKu2gA VlzP0x=ϓ{lz<@g<2Eқϝ󵪛o{ϑ2@Wt}EtY Oc@fʥi`9[*$= oPvJiEbd\Kԓc뗳F_]Ƭ0Nc{<+{A3ٶMݻG tmr8vpƷRA95ޢZpa[!ȢDh cy}ʣCt#?r]JqrGamM-S5@yD_ b2Y\#ew/ۗ66T\1 0D}[r|IЁ02,7dFswM2ba?ZgYZ7zXZִF! ]ŗXiɟi-!%h/8mce{L%֜ܟ`]8!@wG,|2;G*52!9.z3JcpceqqGFY2,nm RZwkx^-%=<#@>kl8A-Ns+B׌=Eմ`2={񴓄TCo SVǓXha;gYZ7zXZִF! ]ŗXi%92+NU.#Sլ [>L`}ROXFJu$ ڰm-eW4wKnޝa]0rs `Pp$j;- yYO^)nVmP cUwaP=>d2JV~ts^UTl;0ifG*lG2He`:,j/)'~..xNo+yvǘ^0b.a^Q i@!zf(C!ueY2"J7`7 Ż&9 L{`ACSW҄oƶVȑ3# ^_P$!)\eY۾X/&(X/^1 \?HWua;?(#55%|NPEh)'IYT#^ԷC߿mw~VV>3f0n2ScGU>c&t?_e.a!; =Hb]2LY4YtqcrSK04:b7Tڄdd|\-?&H=R: @z2zp-3sҳgt,X4Y+^$-i Z,K'Kч^&8cw3@ $2 O 7|1 } RE1򹓲) zBu)OvE!']vy$~-MRx䮾DB?}R^q GBǔb+s# 7 =+[Â{DkSҏӈ_/»5=N'=N9OפD:ΈaA[tR)r,nD7 눙]+dA`E)rdO+lȷ¤Ǒ`.M[uC&KlrW/,so{+ 0l(͋,]+,~.u5G;A훝Lv%&O z`'rMbB|r*ǠbPpr_yq̀>AoWm*f<+1/͏5T芅3jqzXE"}Xejiԧ/ˠ<?7S]g\ +uem