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 )4D c BDD:threads=2elapsed=75.075cpu=141.332gc=2.712factor=1.887zXZִF! IG]ŗXf1-/6vRZj3ZX7f\{4= EK#fdD.vgAtJ9LY=ww}pz)>}T4s_-/o03,R:ՊH6MjhBDW x$z B.7mYϖdl`Rtbm/DAq#c{mW虩{Z`}Oә&$C=1)\)j¤Ξ{PH.i->yOʈK)_KYhU*x.Q}cgihghϑ:xyTm"|[4 ߐ`\o߃ 2)?39 kƟܘc͝iFC-K<ʝ=&ۨ* ag%2ӝ ȝ5y0LYB!vy5ta6#B 䦈@ף~ e#Kw{BPaКWExȔ1Ɖg!`حK#?`<#h8L1 B8=c-5n 2K{dSAߓJSnc-.p W7nRy0m_a`zN㇣_FU3G /%ݩ89a,DmVB`X@@8mc>J$v5LKkyd&`#$Qb_$j#pnX3᳑+)hJԆ1@Np`RF;A@-9獵(IL L7ڳ4\Jܼyc?&Ƚ`{^Է;C @B8xFE0 ?~->Sq]LC~O9mLd.bDeЮ;0,,Sww5ǥFnZLr.͂?nM+Y¬hT`f;*kLM~;F1NL^n³ͤl/Ph 򿓨+NYQ$B}R*gEJJs Q"߬v%vE.mEw=ioh7Z_Hb=3lb >u`8[X_rM+z   BDD?7shWj"vwO1'|K|P(AwBl- n.'!⯨tA߄'iR7Qk_Bܕf ϢL]%ۢYpRR/n۲d6ɏ| AWKT[D#Tf^/Dְ3:آ?s@X@ŧ|;leFxl"*[tcT8H_kÂ4Z8 j^#sl-ѥhBgTǩ夸'&ދ*)=)w[DTKzk7XÎ*M0}D˜8Ver0 YWc) %cN H__ws{ OY6˨VmZ ΢؆I>O'(T Z'm*a劥H̿ D<_LI9/Ie` " Je4XInz=Ax4Sz FYɜ[f*f0B؜M9\6sx5X˓S uaMSa. {Tk[BQ.GW-+@a43F'+xȿѹQ|Y*XKOpj[ nٜrمB?WT`x3vy^#tx΍ D-ZS^ 33|đ_mA#`V()b%]G"4ى9DӂsHR> sgl-BLkTF202 G.v sbABłcgoBf=Auء CPM/Wk=!+Q`HcW(m-ibFng3U6N5b_DvwN_-v:5{^vwQu#H/9-9ivk'P">XHuCJs1<~gecEϫnɜLV6摥Q7m0)k*ag 7;$i9]v؂P!t3 )@}(VܤJ_lW5ZCeGM֢8׎_n\1,ʦ>+2Ą+!@$R;,%WKV?2v1aa0BQ6!=IQK@&7OX&Ҟ槕cP Ixer$l $Q% [Uv%SaGOdk+~)nttڕ\<郗`SƬ&> G21֡6 bDy, Pa +_b*]ۙ.Y 2nrXV؊6Z R­+NP(DW<܌V;ޫMׁ)7{^կ(wPY~2ȏ ߙr)% "ɵMәbJڑ{\$/+ ua*Ӏ ~#F֡­kCgP+qс /\-:5.*f['{kR~EgSzG.E|<#밠àQ3'sF vhvX(TؿcT)3u >wh$gjve~n4 ܩ5jh(+,<֭eLPP=0Tq}^`z9'[$7NBmP#踷9:B!I@Tf$ّ5{lJ0fs wJH;-< xEjO {l /Zo?XK+ r.tĊzH+2Ѷ&KDI3d~"OjYPNbP;u."~T,3NҨϪ.j<$Ʀr8.釦|`]v FŎ>VȠb579uy*3]K$ u 2P ZV6ݼ̰yi}a$5y9JTMa' ClL rѳtj,z8Iy&g0mlQ/97#]~+(jkt].u-}Ue Mņ^o7I6SZh`]w&^+,B*h4M.i-ʽAx|/ҚQ 5*\J4 XHkH5\MD믏tٮ8s'YuuW!m)\.O?(molPw S4{#KZv_º_UgS3bEirC|?_ QAtwH;HPZ'bCpr r,ڥQ @k14K*gAfP|! R 4w9AN{8BBخ.Nk&pv\Mć@gWYUQG  ؋gaI6<8OJV"lzzXV;8%g Xul˜F/N/E [Y\xٝy!n$w{Y8}$r-눻Ԫ$P:]VyT4J#Lw]'vg9ܕ],oC%r -BUY[YA=j[TlD\ k-PàzuאI# w"ۂgYZ019954d87c5f58892235d9ae80daddf7d6dfd21e 0826e86fa8e82c4c20ec9eff31d8bb50a7304636 0909d19d7b559c15778419e3eeea99709cfe2065 3959005fc3d8853b50f07ca4aa783e0d0fefe4fb 443a551e9c13c542235a4ff4c753993dd761508f 4c9ec21b63f2210566e859946fdd54905550b062 4d1e02ed60e121180000bb8f1d0a4c89e2a31d06 6174bd33abcefd603606294075ed4c44a2d9454b ab9fa2e8b982b2c6f1afa0e073eabdec2651aa9a ae96e81b03433e2c4cccfa87431aa542362efdc6 e571d058f186594fc4da486cc4f8eb7a738270a9 f5ed676762578e1696b91c9310b62ef3f98cb687554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 80789bfdc258f80a6ac2a3fbaa86eb0bfa4065d5