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 ppi)4L I/]Stone_Algebras:threads=2elapsed=61.737cpu=101.660gc=3.560factor=1.657zXZִF! S]ŗXf1-/6vR[]oSaS3EU(;aQYq^.HTYdţN^}g ѰKۓ3itQ,ȘݢLTQg;WUD . GT W/uv+C30*NTo7$2 i/m$8I6ր^B͕|Z1+ uW&J T#qg6TyaaDH^XX6  ) Stone_AlgebrascʦɓgE1 iD`yYε"e[ؔ %:|CLMbP. e!45GS"]upZDccr(ph(d3I!9urDwggi?iL}lns2vXY`Å^|s}ѯ8vŊL0E?r1zδi6lߗ p}-`)Q^(mA@庾/ b(SZ\_ά@PZo5IB 4uب!NΏOaQ6wXTյ`BNIH,5-Y #"{UvNXeU{uyP0YO.|2Ws&75Y4_1de95P w !՞W\JKK}瑩8±$٦/ӗ Rݙrl ?Ssn[l ~;8zҒ #[2rXVSC1Q'T [81%iw3, rIð-JרK ,R^] b*;qJ<݄)t^ 5bX8JCU)>څ\j|H̠"(yO  j_7ouMiRZhDxX7\;nF5RWNbxɼt^ >aAy*l[w.i@huEa5t6d)Ӊx& ) {)S >͔=kh~~V2?9R s3v9ZW9AL\@}T~4=DX#.vvl4S}UnqNt[l&by6Sz#W;t>uD|ߕulɒ(ѤȊ _%?EN> 7 \R[ʬLGfiVg |BYp: k${̆ ˷Z>~:a1VQ}x|AA1HV@KQqiENbs>ZmCN"}s0I;ѐH4m87T [nCaڨCzuT?M-s>)QMvA0B@nښIFw MI:nj}q+>QC;:q-61_腋MI 6:d {ŒJ)\C?vc4ǁpbϜרּ^MCRyctj?ky\YٗmD&aL;X__!Se b #?َ .(,Ab@@;O:,<xۭy[ҕXZ k8pQCb^|x* }Mvׅi\~ bg/:Lvi̓i]lEcbmN@dC~► y콿{.F+V #nϽSX^f$rjkbAWp 6M+rMէ]ԝ_ IO~A TB=23_~ɰNFWwWJuY@3ƒG eyt&QlX8do$UkhE*t: CP((îzs57*٘CΉF jA@eRC+Ƿw\f$WMɮ񡿓0{jk,ʽ %IǾdyY؀~HbL4a*rk}$IN#}t0)Yy*rqh4U.Ͷ`ls~;V݅ hhه f 㸺 X#<~?ӐrWBϮc#Y >X8TRPey]k%7w(|>[74i"L^gYZ7zXZִF! + ]ŗXi% -QТ"*Dx3.Y3J騑v+:mvPzXIx4i"ݔ `Vq,l~+ZM\#FTvO;ó ;18}кҒ ,Έ}E!FlmK&ApXK^|: KIR Yg׍R]w?uM JԝmY#40ڻph,D;`M!2w;p'-""ﭏ;|c'xDY 뙦 cgHbnl(A1NLJt|I7E͎Ć_BFioT烳0/AsXw`ipݾcn_,.dxy#ܠja+L)cV=}ʩꄝ^#'=X] 3:"mI.Ds]PEeM[fku,Xo.C˸KcdYhhBi C(pl38:>3A,~u1QtSjܯ1 c)Ta@rDx nzyJmI`|1Ly>78#i6ƲKӾĢ*ޯo-oܰS-UEp5=K_sd̩pԗ>^HH]zO!$m*EORrnv JQy .EqX 'gg$/GD5( ( dM4S43>0g;ZsTu|;OW?j-?wt ܪ^v ɜ<2:ߞAѾLVh̬&,mhd f R6,F-.Y翱 WwH+TuwG6ɗo c3X_ 091j:@'qFc>y)vPu%9gHo=Oo֙l ÆIe1*AGkܞ`2.}lS0/Z$q= WG [`fa9{'7x, ŘV$܍+Ҡ`9 (bv[؟o+ÿ:<=O:>rjRPM$/&,u;9 N;̀r!ΧkI?{O+m =%XXCŲKDĊ`LkSUЪvP=k mԆ!fU2+6I<rM%r fwsLTR򌵋h10酋ૅXYxW8Qo՞`Um H?_VcTMD(GO}3UGi[6i ;rO0$;fY?950;6Vɹwo@8b[* ؔO<}8fi-UE8azBEPvUO1VS;~xy>q.eg%E qkꆫ1ُF9Bi[t4h‚UڊydjLco م#fh nV ygJF-mvn;t.MQ9xG;Ns'Ō"l%xI41*OB=p5 )#Z,) .w/uE<ǂ_*VVz¸`?*%6~Vu781n mᶉ3a ݹv2 un46|;BDZ3-BΦYB)Xk8a&(5zP~ Ik űgYZ1468e48b8cd656ee8a0f15090fb881e3932ef610 2401bbe8b9942d12551f3d6ccf8eec9cd61898ca 37b10171a7b8848737666d13efd2fb36860de921 48d9eba8bd5553c0053985fef09510164793e757 919b5021253870e67893f6f78d6df8a22a86e487 c3a04239d8a181cfae561485bff71442fb40d565 ce9d247713168595ec46d4a55e36828823fdc26c70d59207b10c0d3f1ae9713c01fe0490a95034f1 a635d9d9c13ebeec12e6b6e83baa37d10eab9bf955cb2df89a305673eaa04d6d6ece4ed9987a14a0