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  d d)dL ]/]Stone_Algebras:threads=2elapsed=68.713cpu=105.312gc=3.752factor=1.537zXZִF! =j]ŗXf1-/6vR[]oSaS3EU(;aQYq^.HTūM0mrǓmV=suTAHY؃[+Uqc]iDb[KU G6ݣuv~w7 /b9Mɝ)eV_4J; U ;,|`myp/>H МԱB %*$閉/*GԎZUA  4!B`h3=H$ ~|p%ep&~F%e>[xh2|K4^]s] P_lUT;C|taԛ Y]dg ] Mwq,*HVu&D>6p*jcQaM\8fe/}UDpP!vGJ5zK Vv/(.J)0"~:N+ 6h)] +8Og{μ_:g6 UGwkMQVKakkU'WUUBcXJw~!:ΩyC?--X$ THfLw u>^Ct?,!XI $l0H" ʈxUa'qʓlL3e*[ <>6En7u,ߠfdzQ>7Md`nԸ$eZF6Vݶ -Vb(3G!&p %,(tD>t>v3Y;.uTO\?w R="IƳw /K8r^epɹ*VɊuvjW| GgUc<$㬁Т@znC$rEָ7ŠvR+Z^ {CRϱgYZ7zXZִF! D]ŗXiɟ34Z.V_Jc]uQ{npMfF:/t'7HuރtLG~-OXqERV4"c3rIKr-n-/ fhxv"v7\P0Y\ZE}I=`Vn`9ۓlMT*wu놾w}4$BVִ'uks.3ޔ#:!B\ң0y'*`6ćrhoN3ҹϰ O,,7p4yC)z崭XQH^ްYF )t5(@jSm-L5D}c&-tlD=^V^58dn\iq92k8B{Ff-;JqG,?PSUeDOnQ+ḩVvHt/M>\>`XQ˽2(W$c`oQeX?g! q50͵#ŁMQDJYYc6!̻D/(%Gz>R0GM(XgK47gEJ[C9A{;vQ!x@Q3 {;!^V0%@ zg[Vu]@vvE(=bnAG2M$ikQY?F ma1$q8X2m$>SC9y=()ID #Rĭm<0axR  4̵LS8OOXh^^EigVT2S㢤Е C(GK:ZF] IF!51ۻ.@}zAFzPז@r9,mD.,: L,: (ͪMָ̒ZPPκ. ~ IlC #\ٛE^/c@XsG:Q$gIy\8p!c-a9Jwy&b0m~"jֹkX*I!`H~9!W[tIT9?EcƭPq?ʾ$ЂX*lW Wab3 M~ V#rdu~"ſ:k5F*JuL3LȰZ2' #7c~(QZ d.ݐL|  8|߸_|3zN涿Ȓ&Gll'AiC@7["?I$uLZi}1ReǴܳz  :խ-[ʔO\X)QQf/~Ju#cMP08Uzr+) Iw!j{xK]%a4(FB6rͽ;=#,{I5A?k %SΚƯ4vEGȷPۏlB2RŠ{ A!$p^78u'VgWK]{ʹQE iܝM ~%$>11;[+1SKV<:i}=xb얾 >\H!XQetik1rGK[ 2:/TOE@Zw)1 b 1"S> AG{Ƶ$asfť,E1":~ y4;820^mbgbm./(xr"xJlL)Xszqn,<;=q$UDNZX IHaY~>''~rfD+E5x2k۠D35CP }͔qAnZ#osUGi9#r~L-l jm$̵)Nkh.h IK ԮV #(% "R 2*_=up2uHp.FSm,Pʤ1! XgS,L=#`q"YFb2Z=b캞n8|fH8N@{l"mE?#2#=Ӷ8g6nOWc&XnbA^률~Kˠ*7Wg ϒ3 5+(:YCT6,E;ηfLN w~_`^NtXb܇PkqT_Ok`7kJ&# uMJ4-7140۽m:n lvȁWO6/ (X< *X*YނaEfʈxrnk{*a