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  , ,I1ll$ ]/ SIFUM_Type_Systems:threads=2elapsed=60.007cpu=104.536gc=4.384factor=1.747zXZִF! D]ŗXf1-/6vR[\w5G.`cxY݂Ngi]k\S3甼IX-vm(B ]UU䲘+gY8Z[l@@a d2߅fy-mo =a=7.B䘕Xc"3ĩ[d$f+Yg`U҄}ȴ-j;Apz&HQ~95BH}Yat72)CIX[ r;F2Nw˼Y@0ta_GzЦԴJz$99N |Y>+>\e嶾 3c @8|'*䧘5?g8Sg~9.Em֙*(,j*4[ӭX.-;yS![vS}MLvw7ҺV-ԶRH0,eF s=7G߳DYRRV]T"wU'(De&*C'-B6P W} NkE`8'HPrbW}zk*LzæY) zxgYZ7zXZִF! I]ŗXiɟ1˦r pt#M&")ohEduf}]zq0sn7Yϸ 1 SIFUM_Type_Systems!-p5<5Gh>(`j$Kf2!M SHӪ {>5eT8'ԮΈp( ΕA^YH.JmQ>+3:l\kOC@=]FOyaڅwJc; X=Pl+D.e 1&#k򾣻c8##k 'yuQnø}l(1( ^s?jQkh՚@"EeY|MY5& J[Z. d.eF/7 @$,yt^Y^W,_<|r2+(ږEcY~"J)yS?r1]54ewNWj?65O(ǖ|4 ٦d=@1dp,Q m>SosFm.(49wzݦlB̠L̡]YΣR3m@X龒//VZ(8?ENlY Uoy)sѬszOHNAR>6QQ{ \7Ԥ'A{8xSڽD"求! T!$EDttr[l+-xVZ2$zjOH|C@D ;Db"m>m|C.6A]>RL&JU^x' jgT(櫗 H'xW<2,U3Mjfq(xQ?`8#W #la`S3ȃwi (!l! ?r.ֶ {z\8tT+IOGBJ_4si/ j{%PcQ~2AU &<9vcv=jo.I(5.XpĆl}A'.@ aw%dXq2x~e2.Mt_Ǫ̺!uU'p VhrTx&G`‡˃~jA%tBU񕙓sW|GN+ [QtorT5Dbr&شWCBFjQ:RLngHnY/}fLU6~VJy̸S@4X* J{Vga,c8+{A ;=Z|RZReATBXO0Jeg鼲=WSۉˊeSWʖER~cNA1e,ڊ&ٚlSLԲp={tN_ Jo9\rEn@t~)}!}H Bt2A?mzU'C6g툋aEcmHJ\+KDi J ~!Xذlp+W4[;t%\Nq 8b{8 K7w `Kfy%1}>֒]*i"Ar/Ms,X{saN1P\9gQҍ:tY=Jf̈Xz$)XiY2s[y^[AG!u7rJ Sma}1z" 'A?'C$;cs,Ҧ<I0s ?$DX/0β-%9,z/H\]D^z/`oSⳮBR3ҵ{dl҈Wکa+xzop6q@jPBW9[-Z'_ ֎Ezp/bSKޖKe 9Z/ƀAW$Fdޫȧ9 왒'P(Fd, 4I[SFov&rfSnH^'&dVm(Zl(:;\ƚ\ާi i>:ch6Ck _!u(Ѵ/n5=۟ivvbUz۬eәJeuNpgύ<ꉜDAY0WwB@nUPjqP)\l>k|cߞ)>:krAP 56jI2Ҋ`">XhkNA(9Qƿ(mpol5Ŧb)[~f4 jAi)5|Mk2B0Q>(KK*yXyIX`7|r?K[ԇ8CN+)wi1zXC[vIUqs~7i ?_@Zwש7>炆L~61"z`arhIkHEMM(ٟvN@J!\xx!`;`NK݀Qr>zl@7^!׾K l5M]_nɔz_ RگEx-iÙOCuCTھz4|Omrf%Ҵ׏$gl[6;XNiZ[H;/B/YZ46eme5͌oAxNs  hur;`3P[ -- amBqOg܎Fx0<- ,Bƥ H.'LX ""* gИ+ =^h® >)}ޒeP9_T M$c:WB͈ʺ;aFS \WǾ*&z4j8oO0 %@(}i\눗5b%m ~47^:(M,7_(uek$şp|&ۥDٴ,ΏFOҟ!_rkJ/DErǟ%YY܋)ZQk70/[G)XNz i)s\.3-F8mߠmv^m *aխž*D"}!b/og߈1.LPhvӷa%NU o%dWZF*涝p@`E 9x Q^EZzN0ڻ\=^ Pi хqYN7ĕ 'k7dH;JưR2AoXd6&*m&9[xODUAUGG8}Z!2hv 7۬]:GM^6Eo'r•Sƒv~M<&O#Tux9-.AS— j(Vsbg^MP-u Y~vN3(,o4.$Z W͍bu dME@sW;ZAך2˼ Ƙtjz LtN&ۈרAeTSmӯU\'fen`[ }IpǪjENIѧէ})`: @/oДdt̡KF^D)TN