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 I1 $l ] HOL-Imperative_HOL:threads=6elapsed=47.078cpu=68.568gc=2.228factor=1.467zXZִF! 1]ŗXf1-q恈1$1|-~yߣGuS'טΪP)"Gh"0"ϑvi}cLU&0?򓜛f?愊W )+ru>8L}Q9N !G a>s~"{^Pΰ6ho<>ThF7phO}jlohU qYHtna`DE;Yem6$XaxE=ujGf(UqO-W7s~JcͅNMfρ `Aw0 1 HOL-Imperative_HOL& iw5 8 ?G<#6n,,NWTʚFX-Z i(.lOE!70wp]VG`cΎPS^Y.jQ/wu ~,ΩxOz!(\#Mf YCIИhYc0z-ZCWtd(j* Nsr~WŹ 5X`$Ӓ JL9z/0_AP䚒Fי@럍Ӫ?={K>@=;pDq~)sC(TӰ{gAPwr2$R'Vy /F7"viu脔ieH2 ?6Ǝ߸OBqhj ꀖۀSɨ7J<"GKKR8įΖGkg-ԒHBbbL}2Wn_Li2 GIgW)f4c0ieV;Շbiz1:w=z#8;,T !Y2/Yp8~˚,Xr{ !?: ٿC(с94S,Ob.FAL1:XQUcC Ǵw M rak,a{`TJIԐةL,V 1 F4|W$2j w,X; cԱgYZ7zXZִF! G]ŗXiɟ1nhЦx"n_8N]( eOtd;ȟF6 (+j(Sc@g31HDj#NSZgόe硈~"8I9@GZhoqym61 'D92',IA<;Z -t>S#i¨XuU _Dw ~_Qn48UHytig0]2}M n3)p|&PBPd 11gYZ7zXZִF! W p]ŗXi%;SkiKhx9|4g+I#gª&"XHI>Ig;Џ=WsmE]nRI!>!n{wke1ʞe<<,ׇi=Asg6] O. >)`@Ō|ªc9 5dbrRQVߖ҈*xy8i#뿗D@4lB+h #lO:󆘒H4zV0/N7b ͋x,$tOU)O/WVz&Ҥ2])jvuc0ڀ6Y@C"~B@wS//;M(saD߀1:~;lyeN'9]#<<~%K$r{5swXYe83CkmM50thuz|^UCx3k5f /Y9J3L h/_Y ᪯h Q}RPϑ%(r+ZO>HV$I] him/PMKZ3b}h[2|tMI `$5* kmiC]xHAiY5Nְ!ZOY4`|6{fVr3lتscpU&Pgc5EMuE+ơHu/A&NS_?vVOhՑ&cLfYM ,R>2XIw&0qYxH*sRkY߆D2F ΃ )LO4z;g$xz/n+++*׿[ Owj7L]\Ul{\XC;b rON wީղ:T(QT dnZ%d_h,MϘGAfz&_ bN93z-7@pڪ{J+8FM,n3xQK^/xֿ/1ݺY*\wh[  B)@pcj,:~s S/Ծ+zS`}L ևS%nk^+c x gIVTP4b!FP}=t]~ "F诏˃MoRYEc %B0/PGaYY Vl2W U^j^; (Y.Ul(ea}]u< O|=遼h.vF)ƃi^[PyR:u1Jc934{ޕv V|]_U/ $)܈p] }.XMP'.VO "+v$ 'EQ+MA>x% ʺp3ؼaz &F$jnޜWk] 9UrCт F/MS/L Ke"/r+ kp` Mg=*ii?Y+[:LEaM=6uvW /|:ai i7ZNPFuUدjE\ =؈p4`}$={uqր8紂G2'ճR}jf#zh2~Vid Kg &U/t<;zj|oYǍfJM;(Cf!0sJX5TVTIHk"j#!44'*o`QVOraung3lg;ob6' TRڻǯBM2TXӌ#}׫3א 06=4, I4+9P04@OlD\Lz]q|߫%+9ev *b WyB:ૣILy% {~;"mXa,\aϭwy+rB*MI9!*b~_9-= Z|+ش2PM!"5]NIK0]Ob!o72-j9,]PawHI(CKˋvMzd۬:xxFDF*ؾjgYZ67d4cfa7f8c65a7a099ef4e419c037f1ce612b2fd40ca4cdb5a529824fb7d177aa42025673a71052 633e17bb1fe2d387c6bb1f2f01166d06622686a6 b5b0b64e72a1674f555c4fbcad929f2c1ef60ad9