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  #<, S]HOL-Algebra:threads=6elapsed=48.890cpu=162.584gc=8.592factor=3.337zXZִF! ` ]ŗXf1-q恈\T,rB I|2C;" FEIL+2i#% f|p!fA"/,?UQ'Œ3-M@5ĺ+ Z[OR}ӥ͖XqjECHf}~e/|P@ FtBH]3biF͜|ʠ˖#htPܛ2 NqJ|{Se8&>_۾~oJxff5&b<~4 Dp4d]wmnȫAÀSIg6"uu:>7*;STdn{Zs&Q?M-MY]fn*ᙨȊf`R? xRoy:$NLCmi{9Tg(hZo~hra\ں̶}UӺ2T)Z݅$6x-JroGltf;m䄄[#x@vc~}v9%YS` #t<(JwsLaJIQt xBЅC!ep:Tx਒=(wtNh4ﯕ~1ڸ--83ש| QyE/1@/OUuA-(XU,*RoW5|cr:oN),WNrj|A)ck+LD*erP95W-[d.=E? C&0E_{b*|VQ.32Q`x&{HiHɞO,AUXNDGؙЋYNȎ:"lֺ aUMRrØPۉzO uX(GSZCϐwvs5舗5z AiA՝a /! +,>\Z7*?υ7~68Yi$E@-vƼFQMwE덽<' q2 =%E~R7VAulDI<k-9pj5+Fo=GgΈt]D`ٻLT>J?  5m/!uV_ *7=E4Ad[S󴂱dpb*k6chPS>-Zhz<w&_r-ٝ_H+}NS%٥~lrʐͣč)\l\ dc?#9ȡ@P@EGY34{I+uAA9= VZyM1(F,o_NLAtCdk%B&9i7VEz*rzRXW/DF!W[=y# okfEѐ*'?l# EmćZlq0&l),x ܓ ?YD\oq ţ+" 0t'?5x穙~1@8-eiQe%|2jL@U@ Gv&R\{`pw٪ ĶG)T\y .6?fLqQ- 2 Oy4+1|NV$sTJk$; KqN 3ꧫ$%ES {`1"_IḚS)N/Ϛ"'ۧ-<%;'m?VRD"$f W;0|,]e!/c0DkA!?-%hB]N>8LX@I,KDp#|`1>У3 G-٩/CbRc*ﲱgYZ7zXZִF! N]ŗXi%6ԡ_sKvg_x ]s {mK/ļ))7]٨Oon" ۻ 8D-Bp1zQ'lwfmm~Tg+i8NxZ:m~TXC'SlO֬ಠx=)q.& KLT1p}n9Pty6A ޽'̖Sc!yf3nLscd}f75XN2AÚHBWHd(%sbb2W>J,#a-ة>K ۚ>4e1c߉s*K̷U"mvLfpjOfFNh 4nLdYbH,xGU>r^~1 D+r?qpbPcuefBE>`#sjOh #'} ޒ`J\qR]ỵHQWEᬿ0f!k,z9M=CB!Mz) Qܶ!'p;F{>Hh`-G#Wyϑ*r)D*iJ;Χ+E/M+KV ZDEh'H[jq=l#(zó(uO tiɻXMɍ2>/9:9T(-"z ^_z[Bf9nϫ/"} # HOL-Algebra#N˔YeB>}#d i`GYG{mhg[P"r+Y?}KLh;IRNJdMƓ='Eݖ=/ض} >rr~6Ԡ(}Ԁ,* e#d2) ۨlN:˙l&o{2X.,*\DjbCT{fa U/ntHHw0OWv3KJ1C"=x)Z^xkh.h/A]Md0k2UfԫR:>VG)=55^E]d{=s.WD) [FXX#?=@81haRtLwg3VJů)dcƏ( ҆Aվ۱,;1֓TrNrR -e "xu%UZX;K/ْ`0sعH%T[E _s7\]Abc&0l /.˕y)"ە@Q%ԜH)5 a(J-(ƼCkބ+Ƕ\b%qMrƒUP\ҬK B|X@ڪɹ}dVWil6lsW[Uus+s #gnu`@EzrY+86h[!6x%<~ #(; W]fN#X6hM^ `*FN5i*FHh!xK)Ѷ"sy??iDu3`;Ҡ[/7!gpzstfX=IM?O{u*>hNs&\$+;uJ!eF hg]Ra'N!CuS6OSG\n]e{Z!l7F{ZS8ɘdk~fG^Oxç7u,1KݚMu.< KҊ[QS1βuo3l.)MmRX龲~,DSw>֊jFY/t}{2;1: (t~[0yd9cB?;zKI 8R hšʩ+^ Fy%0Zׂ#!PV) `"`8\[-k_ꝰ}F8&\/.Lcb:~WZdBS]zF-?p/[gLxhw,tVy/id"j4:gq#,'!t8.eT4 , I6`iPL% (Ğ}ZBF|p ]֌U5Y:~5t)cٺy[Ik~0zIi*+焠j {f_[ =Ei;7I?uF)N 9Try#=ϮC]Q+aB@0[OXW<=tqk%C.B/Pt^=Vf՝5v) ut͔f?E[M}f. GY.gH/ћzpu IcИVʏET.ӽr<\u!.`ڔ"}_iA.;+ HPCɰT13&djօɲ-N\+bd1t;穤긽Dz!sGGJ/:VO:ݵyI@u5W!NQ6#!׀0cL*5^΄&BesħտmB(p!0~H߄8lSŽ3dK>,&_'CfvT"Љs`3X 4$Q>*a$x?. N&`؉`Ig]ꀡB 51M*8-=ۋn\ѫei23f_"fB0g]U\L71{Tu,uoD͗1ŵY8XƎ0=AJƑo1c@ߩ#HZ;S%n\ݦ3"G'үoaVkNkW5[BN6MYb, R+\{q>Qa؀n s7Flx&cTK+_KiiL=