SQLite format 3@ . YYQ77Atableisabelle_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, "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 G L4 %w Lp:threads=2elapsed=39.018cpu=67.208gc=1.424factor=1.727zXZִF! $]ŗXf1-/6vRZektZZ/BcHkIv[ W %s%/[)V\f!6XZ9c7+1}]#)oB P8=WGڨΛdڍ#qȷ.NGR o EZ?}+T&(zI.{=GI1[uc\Ip{U.Pk S o+E]9wJ^ppscXQӢްQGWiFAO Hl%Vʷ~!)4V$9$]0vں̑,ެL f$δf;H&U^gLXõu~ԉ㤕}^@  Lpې>Pˣ$'@ULas緧Zn4ZvxC%Pfge㵊{"z'!A ْ7|$#)YW&FDi #ԝ`Mc Dȋ$e ⨫:FY {>~X(NyLFM]0YP9zZ[`!9)ڭbs-`ˁSOgʻ*۲y Ew{$De[Rr,cֈG:;Dݛ<-d1D=^_VS`WM"vwoka;{&XIf\Yp3M}LGP*7 mܦ*z"x=4~·}h ԥ_B6Q7ϙ:x9CzGK791m1@e8" E:$67"\{ MVBEOE:Bh.֏zdIC'fࢾ Rqe.h<3H| @>/v"0OQIP?NI1vDpQ c8 :5eJ\7Y]Ikp"^@ J,I7gYZ7zXZִF! Ŗ ]ŗXi%6:7Dl\&tR Sڻ_:dmyqd є~YY} t.9⣞z"4G$"a{Tj \yԻe1T NJaӱzS!I^1Sh!N^p#4^ Uy 7Wkש@V_gih=j3hln.4[gxJB[ZUڢoKe.Vؐ;7 A"˯`Z9A8-HLt8MJ;`@ 0-i/E=KJIh0CkЄiTevtT> _4'Wυ6֋KɻlnXh抅^KQmDsYs );_=JL}p5p{W`lŋ슘흸y҉$!WDQ߮-@N gߍg\ )Ps^4(bP3HEd\E{'t]cUt:a&=+_'ؤb'1Q`\7=^"WfDHhZ.set<,. >c)"FU0 ĹIUDVBUy-Gaߔ~p7 ȵ:%{R$wKl)p,+G@rS[fAʟfcJS vq%ɩ`R4 &9=3II~Aaޖ߾Be#8Prh?37!3ΘW/.8ATZڡa),+V %'H(lG[2Xs$F"_ru yw3ZDAO5d.3p|S2!sb'9n.35?dT+5/4qP(]`fbb0vcEY=z.;&8"aV/hujjr_!#D•:{°+Þ A~ -k @ R`+ [GRtqĄ R]}P{W.?\1)VNԷqrBrvAnɑCqvypu0}7vB3As3p]VtEJe0ʓCzj:Q)+4"U9#Pqۧb 6 4n.KT!8jWDV G#Ng*>,V Ֆ$]OfMhUj̸&gF#SNeN@}L}tV֩>xݿ"S8A\K01qܻ q1F\+`Wb\*Ob͕jG(Ȃ$Y)&mT \BO2l+EaV.\`T7ʫ WiTr/XUvw`BFj$ZZ %.fx1d/9m %'[6&E3aBSʦg-&&ۿq Ѣ_P~ L AaU[3U5 @9F Zjy!8u&R)Ē)<;JWN )V40GeCPzP< 9[jwМs-JƧy&Wuܹ0< -p-GTljС,B-ʯ(/srjH{Ⱦi>TF)?R6y| qjer"̸4/^Q4 }z0wrZD{i)# ]c|jW3+C*)۝Cљ9F=:({*{j-*(NO(3>rMKu0 'oR%%l'^LQ\ Rq bQ~ ca`Ͼ8g;*Iu>u*q>4lgГr9ƈiKΔD0"e*hK^j8@$W̓m\+1P":Ay57a&p>ӁA92- { UO3H=MI5%\SņĶij}>kq9r_~!sC aEM5pO#ɥu ZD=.gYZ03faa2614003b81e0e6351cbe89bbb88b2b39ad7 047d033174dfe12ff4fe7a1fd8935096a1a13bac 19e9e35517a17502088c6d3aa0b479cdd6f8e7a3 df52d5ad8bdbdc6c9c56614a8cc01168fa289248 f0145f4b385ca5f25de81e069854f2b09cda4215238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b 5945815fc19e2396c5725d8d6cd70bbf961a3d4c e9c1612e4bcc9a8b73f0a6e41bd7530da84b0eef 8604b41f1e451262fcd1286c482b758b73d1c934 2171a9640c882a444ab08dd88e02b67368cfa3d2 f0417a96d1122ebb466f01b001cb623414b7dec1