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 ?\ -]Nested_Multisets_Ordinals:threads=2elapsed=54.666cpu=103.656gc=5.428factor=1.907zXZִF! ,h]ŗXf1-q恈͐7ӺV d>`;Gؽ8n򭖈:)FuKȾ"1-INrUڇdqȉ=8qn xhFMtiHXX+Xu{|5Z~t*r >ԟ..v}oJ }++~抑UzLް,6pv4Ś`DJ{?rD)H^g^Qd]#q?J)ҫ=e.lXxJj`mU9]Kq{K E/rV珌 EtNLS ͑=m_+ 9ym(mP~/T~@Bas^%T'9qn7/PeAf-Fh*s@./[At;QGIIs6Uip,O[LשXjgsv1@XuPj9XФ=4auEQy2#IRMo[#KmJ 3 ."5&mю_﬽`/vCsCy[6w=̺Yo X!!~#}F]5B/Xmg& YFV69mnkN,_c vJo-&/]M4tt/Ӝ'!nP]/!K{  O`mipT*SEjީ-Haզ U+L b EEf7'_$mbe ttSfjw_->( \}޹' uƐ,n'8u HlQrWp}5/Oz0ϱ^|[Op#>C;O fBvyC|I NMo'[2 qWx~rHeP+gh bIǜ!kyN @Qm:88+(Y%K`V!h*k&:bH̓@PsY`3vuWu xC Jjʣd7 `C9XhQwZ<=Uя@2k@7V/YsdL*\*D7lOLn˓ef"l "em]:tcJ~:!}_H/zp1^ 9t[ QPDvoКS[8,\G$Y`.j{؎'='ykuhQY?zXW4/ ,_:/jdiX/`J_ʮךI{DBĩ>'cI3_d[}fWG/jD$mbDMÇ.39*N t* kw;:4PC-[a} ΰ`E)#ah{gX. Seݺ^L(4Bۛ{ H(TAD^4H֤1䉚S~;/ QST.1P켩圂*rLt"SU"ˆt2fv$>yO~[}) az&NHrR/ϐug@W5mߠ&IO!*G ?B^>nOrS(2AO8AaM%| If$fps$fsanRјp^1h* ~*qo!:aRJȖS*'w_BQmrnTZ,lAR&1)H̄BdBZ?YHdJ9$U|tEO]p7vG 泚y,kJ<[naLsH%]1¯8C{o'Z  s]1V南(ژ ./AώY]sGilۆՆ>í'`Y W”$°Eh!2) 6맑%;i-;7` z 6P L_}Pf[x<I#D4$ŌCk 5{ANi |114q%f+_aMKus %WCJ2NVjȶs$[4ȴŶ\$M]9֗v}(JeTvx y÷BXw*Brbm;o" 㑑xAJyk RV9,Rg(h^R|T/&0Vtqz;: yrS#N ZCO,?pJh?F/BtY_Ԃs;NY; Xad;8jָ\c:ٲ;m,^xm"FӬXxga̐Wp|[Ϭ.cxbnICEE>E9F%RM|6Ŝkx@S _78֠D5${qQrq H7'?u j}E%hz*0 l%pscۯу{N@h!Fftrlmep/b*f`gLkyIBG>UZ!ܬzXU%-WꂬHݤQO$sA+F E\_6^aS,n$tz6c~k};N2d V}v1Qэ3YFwL?,@l2zɌѼedn=h+SK:ʟBH ^7, 4[~!O{59=EV{TD<[xk ZwhOFno]q8\^u# "a_*@&c?!_kBgW w $ZHwkf@Gi:V'BFӠ!&-{[r"uۥ6ȼ }"Dh6Ci%lrʹhH~??p{۠#blnlp&rrTۗ~53~z%, =GbʄP-*2hvڛQ Z5t?jKaUHj!W ".Hpqqzc\rԍ46,Y_񃙳V@"HeOG {tq;_k 4 p-fHRfh7QSڅ1L):ꓪ_&Ӄc.[VF?(ݬ3r:LS/#EmΗ5;\`B"voUJ.u7[mjQ2c]_h$4Nh,9sG &͘-tSt %(3j,LIɡǜQZOI+o<> 髲^+{-F' jJā @l>&U)JY,\ JDv6𛷧k iG#jtPow<Ƈ~`| kqiK=zMz+w| ݗ3V*Ryc@0ũ}73>>Τbuj:1Q3'uy> ]i+!}DhE'ѭ[ۿmY$ ʰ)Y{#r|lb\k )ybcv}~Z)Nz>CPո̭dРR 8jjeRw,Nr6no|%.T+*Ft10*.l=B.qMlr)~$Y K2ZU (2@"T+Ќb/]-01e T#1L_v%vjGRZk @fF-EܮP[hfy(AFZ#V{+0cAG%?%4L Fpz W" t/eHH8`>XtE4XlH=YY.J4 Ła,!"wNJ@ܔɟF,lQE C/OLG,]̬1s?d1zVSh~u&H* gp w]>^;/x!;w߅;(uMSn}pzeC5` b@2ilsΡ7]e]JVG`HCoډ˄ ` jѬv{ۚ<7J{H5YOnk`Y.Xc  y@o{w1?ɕyGg,1$sצRyΆC  XEc~tO d{9ƍz!LI|ɼYh  .eqDl~S"-?*7Z9^ }lsd)?tF^!mQ*+}v8\ xAu~cփҫw0|MۭHoyF<|7 1QEpE^՘C) f+i⍮>\ͻH&a0umjT*7%;ʖ67x:Qo]<ˎ U 3zmnokO>I?hghncPd /34dԘx-ɜ\W't c*ٟ}ÏA eǣ-d8J67nZ.fJ} i E nʃ)lzVڿ0( \hs%"ikD/eJI?b?P.& .E;e3IR'O7f EuJ 3fȹOMhׯP,Zsk@%`Uo~cP9X jn J2JqB߲@qXe;:]>wȴs$d aˋg3RWɳǮZƆ /B Am9EPɩFұP]* Qr XߗIdC9հԹmwLNI8H Eln(2# ƴj/M$Đ{_${ t!γ j lqFr/Dm:D+ks3χ0~)sZn{($Φs︍ny}0)1!Kh=ɐ(zbqw<ڂiAC<1AanboRm6颁).2Fs wvxx q Ixv;{^3XX^r\loeZwr::j; 6 a#eN%;a8vO-UQ|DVfA$g֥æT:'ŨG]{ϒHm^S%kE&i&h3փY5<FEz2 ^@6H ki" mAEx-Y4:]RlS)]8-Ōq t%<4yPY5Z_IȤ2 w-g|\7\.KANgOYE%/:h"zZ+I/ja!iATvv%8\E+(Q[_|1 )oV }5-4yRl o SUS.e'6wd!SzP+ػJ2X^o6*#FЫk3F,ž^P2])=8_k-;qT#a&2 埔0:J]yMw=s| Ԙ $֭naBW 1≧0([Q\`OU2Ԥ8GzѸfЛMtXY69?&vUEÈd}H$2~;gKY,!as8ntv?wȳTg)jUNaux8\|+z3 ꛮ|)h(*kzA.}WLₓn ̉x|{2Se"NsO'f3JQ7;yo%ʷ1L%aۻ0upqC^H?3G G-h YZw;?Q}A}%Գ ߥ[48u ho>r.`Xg_*-X^ ~*JUi%Jz+A>MZmmKE/(My@4TĪ'P Q ٘C\3pGGUOG"cYGE d%%St-n~ӸνH ccC'4 Ms4A^q{wޅhZi~P: \ 4B;bX60wUHyqΑ0ҷv>Bvk|:]\Aٹtx+CsuLշfKVsn<ϥŇ?eT[H!&q46} 7h$g;[mO*^e]@\e06@7Brs}1LNcR]ظ,!d7xjK(!nB"H=j17%'& ɑ/Xf Va^u(ܫW !S}R*#ۮSXlvixiPҌzcApQ~is{}['/g8폝43lƫ:t%z}G ^uF.s U` 순/HPYC;$\"HyILu &HY*{.3$3D)6|$zӴ}E݋i"ڝD%LB1K5#&ww_q~3uCYM`WYџ!'uw[TS3u{x⫶ VvwWluCS~W  uE4= _{P>U0Bբ'` k%"Y=kL zrGw|!al\Va}V7͇L: ,@V= ws^k`c*_*RFvQy]ʭIK71qFROQ,qk!%rl+ͣ ~4<#p RvثJwb#qOPUӕ4'P$fŻm;?gN}ـA?Zp#E$ޗdvt6t dž^=OR /Jo<9Yd,-v!F-oBcQ;ۜAsx).: 2co4X."(JAws[]ss<-[O9F Krt 7f9R!Ry OӐսs4)02;7\1kaqe?1>~qv.MB5gWS.Bl$5TSnXO.є˶Lh\҈C$r5%DgySd8_v|#=gPt p䷈VM}͚yG~68C0 c;#(iHq:Q!"*`ʺeY? ȀV3%NY* Gޠ%u2 @Rgʜ XOr% n9dxR1lg48D<iKQ?yPҮnNs !|-jbK;:WHuoFN~N8I`!u'(1Բ8y;v23H?UXO^Nd//&s۳ yx״KN@XuTx;QFMb%R=#k?Nq݉t.څQb9{2QsXb(C ب c &ݽ:v^S3\c'2d5Cƞ0ֵefg .`'-La@ Ua ~>qzFsЪ^毃%~F"0xyP%PL!vϑ$s8SThvf?$,Zx+ skzWaLj bRy!cIF|_$,?02wo+DGaB%%FoU9uB𲶂mLX_I^LMʕzWnwY !s/!aXA_N!sS4H(yɥU}v+CdrX ϛ*]7ogMRݽZ0~F&Rԟay5ˉeF9P ~3/>J*)3͡ ^sIk!U }|`hôb1ٯY;GB*H,f_;%K