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 -TL ?/ HOL-SET_Protocol:threads=2elapsed=57.210cpu=107.308gc=2.056factor=1.887zXZִF! { a]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVhE|wK]az"k kl3?bxI6@K=ެv\AO<֝By:F]0w@[U 2N|̒w <5t{M!@qD'<|aRxFU_ Զ: *ad + r"l#Rgĉ(&8pP ΘК6PmMT< !H @tZC$N<>6W[y:oD C&*QNdά{Q.9 `4f2YJ=͕v\stW;4AyeIŨ$,qIK65JeD %Giiy:{MYPÉYW<kR$w B4uŝ%B %k@&|W7eK3 O\y8NIPL\뤓*M "8Wx(<0$"h|}`ynD}dD`՞ERX4C60ʌx Ϭ_Yr *8* өHɧF}LFg)gwi / J*r.'2Wn%9aaC1^\lz?&C?Gw&&?*BPyhK/vEdh ow3)^(Wh ,s6+;ZT/3? >W2!a~͎Ls ,{Zc'adMJCB05M N .FD\zmr6Q$mZVvqO侢m*kk #c2㎽ƙP&*: BWNka%Ȗ+yB˂~Y=XjK>\2V;p=r[DSQtcEL{Yuʧ{thř;#YK'wH_ejCocVƈ,_ 1=<>`K%&EPl]!?i@g(@h޲[UG 35XZ7,ɋa8,4dgRt5*gd$dnAOGcIO HK9hcsAN*m@UgAFMM~P&58. [a xe.80B%BT .fY{LtX #k_{8w`|ܔ0uͱu$6[M*N6~ U^w̔)"ZIial!^~2ZcZYkʔD>`V\Y=_Uf35:wuRY:4"R&l)t\ψ"L/Q5h6:,ا =G6Iޔ(y'T+ -![ V>>xa.Jg OTΈ@BTG|>16#}wDHw`Y_sySs{\G7b/#*ƿnńI?@`q ,qDm@-_܍m:>Q/*`qa-c`{&N 0fj8> b |P)s_ZC'0w0o!p4s 2$Z2av-)]cJrZgYZ7zXZִF!  ]ŗXi%B1`N~7AL4 A$}_Q # 5}b29 "PeZv^95+r".V"!S=sґGoXd&z ɑ.ȅ|t-#Xo-c iZq6v{FW0] 1 -DE獖.CٖLP7"%;<ҫ4;B.:%zs/h2 x>|S f #eBo3&!-F F :؜GAsp\rJlW us1؈Uj ,~Y BU!%B5$bDž}=Qoi`bOt4n3{T5#H.Q#laqX1q#V!}@,+P#ɢ5Z 3V)i&C,lOiNzfSTh}4\!bvϪh?w涽(>?PR,z0 DD84, "5^[[_UWt@%FK =hHt|mf`,ɗkTSğr6 PR{Ox4\y1Vh ng7u֥@1Ji.U"94utʳ4-'A'6ϞE.;sV3^t̶KϩF˗l[׀1j5R7pz./K\tT_nx0 `aӖՄ`i>l68B]_SJLY+T* \ mS*QPr5߷t\nsay[zegf•<` ^Gx?StLF tF,~Wp< zǖׅ3hT*Z6{ ̱,_O]> 5K[j2Y7,:Ʃ|W2#]]y\a<ѳb';P ѴXeCg/?(f[|OH4r}Kquΐ 78` RU^O+  4iM,eKpNPi{mˬm QSD~5ӡXrxčW@5xW(U]_4H3AJ\=!6X$o@J>fE]H/$ Zi"ls1a67zHE~} uȨ%pYZJ9Ugo+Ղ?5;R>lS6Ϣ˗e=t%o6V6,+dcEK?~i|`PR_l @\R-ouQ@륷 ZZsi(hDQ{G#vuuxh')3G%fEȸ3Spz9ӷPYܴ#`/2Ӣh%✩eSƻ\ͮwL; U0]+8q.iNJr}qeKVU[lxJ܁@"t'F1L<2ϗ,؅pyª_꧎\L|YØ!^ {w%C2+}crb5DtšX I8*&yd(7&>tz1D]-%Svj 3-[:$wgr$9s {G?q:~fI4|xH޷%bv<+~6(!xm_*7e:$~Ƒp鮗[4rUI{^p;'%UAYAt(GW ̼9?,ed|' Ћ|?GгCn WDV8Ʊu,f-b?O-TBgb2YL/_+ ҹ;^J'qS${[p+?mTc#N&pJ#6|vq;98`32?$)Y¼&alծQ"ڈ?fZϪ0طu}|:ԋ Nc3l#K (ң'*NѩyK~:IeD͍^WPbd4 %57N)~b[IG^2!۪*b>O 4BWo$ac?vw䯀- iDY8}hZCƙhFOW1-[{?l" X@-yuQ7(u/%!b)>&Ǥ[A=uU"q*-P`R(*^?~c;P2] vb:;))&-=ѷF\> J"--CZ 1Q2;;72SY yHǓ4 #IJȬ+;ƉԔ