SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 ^!l4D ] LambdaAuth:threads=4elapsed=46.012cpu=117.336gc=2.576factor=2.557zXZִF! 9.]ŗXf1-q恈͐7ӺV -[E(yp;r70R|spmp{x|T~Qe8ԫ-礳]Ӄ7E8uVr`sa9+G%[8⠧ħWZilu?S !+#@lp cEtቼ:T?e~ᵆ Yze$%4;{˪_V02R,

HnZbSm~:ܲvfU5EͤB0Q8A2x$E۲t9gu# 2}ڕpH? ҅WWד%@c` Ԫ~duqٓ%NzN­F&ȶkqqImK)= ǥ(ñڬxH ֲz_@+J`a> |Ns95Z'/ŝ.0 4g~+o5x c&2#V~00_j|q>{qrnOTBb8+AgT<9PAnqD°Vb;0x@09+N ?KL_ޱ1+wzΥbh)o5d_(4: őU{N/*-T's!lB@sϢ%@IvHBV}"-SW,q7NS"w}E+KH;G/to`W"L<~& [ sj0U4+ps iP6IʽڥIbNFD)a+xwPyaMXq0Fr@*DfR[!藶`}ا4MNi"zr@4$5nJ1;X>bմ  5"&&Y93ģgτ"A%1.5H#4`lƒ8x"ܰ?XG' ugYZ7zXZִF! ]ŗXi%ES7C maj]q^tBY'K!»{ iu;{</Ҫ "X@*,mgu"2dc+2PSAmA2d#)w1r/oU; !NE/@U fePj;3J,y[  ! LambdaAuth  D.Cj WIBł a#p*\!> ećXq򘺆9c* 1S$X`yX[iJD. MJ_9kh2C1$K@آK0OXwouwIi| p#ƴ][APV> Sycn~ ?$ƅ-"z>Jy ˖V[;`aCNdrt]GXAye똈5n}ZThKIjJc {žp4t] F4e&k0*DO-QHkWv cَ2y9) w Z(;uLf5\d󴆡YZC,v|dizߥ8S} E 77s+GysJq@#`JR̍H0_Ʊ\P%pC\w^,O;_zE`6N D]_gKUW䣚tʑq"Wn; Hx26 ߁&|^aR 1[11=5a2)?*62껙[Ƨk_0o_;m}8Q*6v)5×=BΟf9{\kx`{ٖ=H#%aΘi`]+u 7i8;EF2;ɺ}zM(y9gTTl,0ܠV{q0群%R3k fbv%ih^\j ypBRҒ]-Todm{7R?9j%\ՙ %ri[dch^7l~e)XC-ℋL Ji}k@J>THS!%^bђ;nh`WqFnvɼw4O@|W8wj0u,q r?zyjAPi{lsǃ_=hAj.<d=n 1(bdj_PT_}e)?::O&ސ@&L[kqOqH~DĞ;آ}=_ Jc'I$H fӾnȯa/I6Lj13T%mf*n~>tI}?}M.yΟ25 ע9${"A,}Ǟ!]9MJfleA5#nGյ eӓ@dz3?^=^ $hLq% F=?D^m)IjT`ykJ둧ukWA۱^٧HͿή[IC|])5I٣`_Rcz )ߙ&,yDa9JYJ]O9ԪBh<+E8r9-Feif8Ux_zc%yo.LyFJ؁h*E+TZ=jZ5\ĬŭoدdJ*CmֵA.ҵ&-Qԃ iSz3l]]r6'20ǁ!xx?{5G̡OI#vH\-['~R丠+8D@U L̀AQB0;H-0!g '=L+{ɟ=ɑ%"Pߛƫ5% {·'-`}.Nn-GEg" Nxؖ>{ 0F/:ξV,ߨ^{y( w2MK3*nj9M0=l=b36( 45ɸxrB0[K2A#Ye if?3p\ 5X9<9E pLe5%L8D|ŻUxU Ug}UwۣZ¥Yn'"*Md=tݰx)ܛ!3AAq }i%=^ P_ Rb)jqZq?YҋzrQ@tn|| bOܘ%%|FsqA< ;8-mV7V'ЕG-nǢSa睲Ϫ+V^;|p!ZDz+$r ,K!""*dI6?Õ,=ybBW,b=E fmY ۝ݞMgYZ1fc178dab86be245308ce513a636207cb473251976b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b59568 b0fccfb6eb99a9c2811cde72d68a677e31d3a36b