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  1 1@+< / Paraconsistency:threads=2elapsed=155.947cpu=303.732gc=3.208factor=1.957zXZִF! ;kV]ŗXf1-/6vR[2&J/69*aЎur o"UO)s H寮L펠N]͋'H! ~GΫjHs?ǁ 2l=f *ա7GYB!Q ~&i}_E`R'Oz@ĦY酞 W&8b( IE~7s{|Lɤ;(]6{û"EJAy r$OՀL)TtA$z[)fuK:QM kM)ఌVw;hͰCcS'S7lSLO1o?G2C*>Aٕ`݋tgMyw7k5=ԺI^[NHrk/>kϊ{S3tf빍Y:pmߢeZT}ɦۢ]wןFPV *-H0SױhEyz:-~i#5 m/ 'N.K_JC[Ԙ[>DaXIpayKwIԳΜwRs leHR|ǎӕXxOޭw4Q\~w6(ŘY ~i gI.e5C Ɍ"e4/OsvlͪggYZ7zXZִF! ]ŗXi%saLw7/<$D_Ə!]*onUuH$t5-U,G k@"»jXʺ?au4vĭi'Y2 xYkXs5苲pӬ  ;2ȻoPPƵJa`n|zl&Z[4yFyqhJ{rhDs4G9&_(u, MΙ/E9y 1< hSެh,Fx,],of}v!U?YJ>";ă>1mshG{q1w8̸[[5B,'eI{]81x ?N#pgQ9x-ɪnc!w,pk_Qlp i⍏ȋAC@0~@Dž: {ՀRLV8 \O+)C+|CeY¬xO$^^O@gZAx$^|~ˎaAgC ~@? G&izQSt*9dK`?'\[ SX8R2 㣓uj+u 2Drv%F Svl\B7g`dz 'SC`"I&C6Kc\N A;E};3^wub.RI1=8`SA%"M\y 'o;`¾\i&* Jq|m}<9)BtQb`i)7;#.*B SAf%Ik>̳y&xeLc2 $3Y#֍]DףYn\K47ckKś:^W5wo9aX>K^v t@5*iLEgۼ$gJo`_oc(Ul0y`-}jI WN1[`Wn>m.tzjL"rN6+h_/AgZ:PoT3X>$ELuWm1 â m@xUBʹ)h}Ctq1%UpC $-8z7-e~"cJ3gH7-XF&Ն Ӗ8V{'!;.J4A@ܗqhG;>@F&cbCPU W:>iwb߭ЃAఅZy~Xs[[C'DŽ`LJ΢t{X F=@_ <#oдYl 0RHU\`³cC,Z0jqA{p!T&">n]8a~)#]gcܳ_z9R;rxqq2] -)k$o*ygb)uƕ5iZkQ!_drRw OfrCZR|OQ\ϦnoY0vabjIԢUsK c4jQcBw C.jE־GY&qtL6z~!Ю3[eN ҂WY QEa!s&Dh\v94JtU0S>]1N,ZpD)O+OWSsSI!ù` 廱&VW/_a fk9 2GdJ{4̑yxY?n"ҧ!.)~Py"'4;uJ$ˤ@ԐD O6OT/y1' <Jx|~~|#6#jΕ+Eta X. k؜<4lU<{eHF:L?VVz )S^{w3*ޔ6UyPMY+1sG! Srh=!p:Az183ʼZ:@ |o_TrC1Cn< ۓ'y@<ʓu6/ÒRkԟ2f趵 E| uM4XB&6a&a)mqIQ" BOcϠoYA k;RFK9WW Q`s*Z;wO2ƻ!:PfBرXWX9`g\N쟌bܟ.{s'} ,vCw#3>el "3A+'3ʾ3 7i%w rڜ+)@jSBCY__$X"i42p[r[iN7hyĚV Sޤl? _wv<(} (| :)RkhH^Vv v@^<"Ĵ?$ Y0a@TФO8 _٤.g/ٖi77Ƕ&j/: ;!sFɜ e|K銾geYB04c]m{'7,^Pt{9\UXߙ?"ف f;-;n K%({1'FK-u~6췝Z.!+'"DQO/US%CnVwLu@oֿ1Xn5\-J)!9\a*Vߟ;+"pFۜWv@셇@ΞO?K+qq9* ԪI&,yJDpL} X% ]tN b&5͒T찇.uQ! #42m5W;LaVL{ז|FhA a@%aqq)s6nW-҆ڸƊ=s}Zuͳحr\J"1}zx-]z |~^W7Ǻnd]ܪw~`Q8;PE[]A J,-;)kMc㲝c0CY dj d#yEGgyte uJW]"g MLAm|:Yxi5f^eQz}^]o(xrpNaq{@mUM!ЄD>&Dˌ!;23ƚzj|hc1 {a<'{Q:gJBcA ;{]pLӋ}_~7f/=ospSm$ˇ_TIr.pdMfcvs\uG#bl  eWB[/nxDxBtڌ>ogٱa>}f:a~"(+"S4J-)5t}$ s',ASU `\gguڙw`> n ?%=v2 :#Y*4vAV>.Nqp^vK|]YWk1@'Y?ZD@u;)]x{#z 08ht"d"4[;D/MָN !8wXSLLxkd27Ȭdn'ɯ^1Ď(ΎYcCŜj4}d6ppzx5}bG+Ɓ =rCUV] ac6 &_=c7Ur=^{ˊ~3<-+}ɴ_ U[WGH$"/8G /-j ZذnlQJ@5F''|B],BOYJ/E\л#<$ a^6sA&_#_<7 6dd=*>PB#KkH"FA؟>VYYI2W#: f csGvӡDv@ 0a0;Vr7xu0Z} DS<ނX82aп΄g}h~aK 8Dn ۃsiFV\%P/vp=޸O-Nq"W~|‘pRJ vH]-BOG?Dɣnj8Gȅd̐`svZo]_'T"ygV!}ҁt%y3Ї^#$wBjK5AoC$69ۋݏ_P,! Ī2\9JNc8jpwk(=**#q(R7D s;cZz]Z^?5ar$bZ=+[]ADMۄf>``~Nb_7-X&{`Z=x* |?y\RGt*;0~M $F$4jxܥZ(WL@(q)RUˇ9/S"c|ݭOg `WzZ\!aNp!6˸HLrX*A)cl 1^ǩ~#%)d׏n0g92`ఱ C) _f?MB1?s39Xg+{zsqy=41&Ne.q*'T t_ԀZN2&O|(و;oh6aFDqE57 9 @O<&:f_+C'Y 3cˆJjW}]"Yu< QZ`AޤinJH[Wܳ#Q6-#-L3/8IC_z9whi):Ӛ.'Ŝ %tY )ʍQhs3Y3Fl,DoQz,cTf"ֶjª`f+DnOo:[Z WG`l\b/)Q۳4/Dܮg>I_5,vI}eOvp"@Sakwb_t7j1ĬcO0sZKIіHFW֣r.cҟX+oȑlq9  gYZ3ccae0218d69e003da4c5a0348389b45fc613ead c0955b1f12490e572e1204930881955e8df5092d ee917ddbeef1eaf59aaef5072e5b4e5081bc965c9711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9