SQLite format 3@ . BBh77otableisabelle_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   ]/$D< ]/ HOL-Proofs-Lambda:threads=6elapsed=110.010cpu=138.340gc=5.424factor=1.267zXZִF! ]ŗXf1-q恈ܗ4ޤ9ks}JspSm[ wy]{Ia?c@%m Nʾ\bxظ=d2nfL=d5VRR_v6p̼Uij{)`%UTqz!_ih% nǀOҬ)d9ٜaFi4 ]{sRyp4 .FヶSw06K0 g=%%JJ 9AI-gYZ7zXZִF! i[]ŗXiɟ11bu)]>_ws[Ɋ brYW&9Yv_P-r_L|E# NV@PղVZVEK=)% ]S̕Pʙ:ۊ 3ݬ[  \ePo^Ȧ2N"@ MCڌ) `/64s&'Y A!kx;q;wCHr1ԃ%~qdAQc.{b59\"|G%9[ Vp}4[QqEāY%0xf̸I&DXs_J3,4YQ_D^gYZ7zXZִF! c]ŗXi%ʵ8ɲBn;d,0"qdX=TW YT.M$ƠVKd'VY0fAzL~ZhUy_H\c>Kh9 :a 05}yzw]i_=dW\6:uAK3Pt4._X9JV{V wkꚽo_ۘ׼&OM|wF#M~1 W7dmr W [zEYcj F-Ӱ{bngB鼈O"^uJoboRMTp 0g\sP09;P|fcJ^|S<2ԵS'8nhyM?TƯ׳zSLlwHNk!RH633B~Mҝ.N$.6[uJ @-nJ Ol}ٟ@<;Dܽ\V42%:3 V24ԩCOquzabevvl_155D]9P6 ghT CH0.tfoxLjkNKM$zr]3 B Sݳs)Ty`Z / HOL-Proofs-Lambda6c2 <'p)zZ]%zP]+4VY a6|Yɱ פTwT"յ.7xQay J0gk*{_`0 YU7v'KzqjFшSS͵yDo+&*` se!DBr4pnrin3LR6hpfX'=S ~ rE>fhֹIO٧]t+%;4m얅jAk'/J =t;E MbOsk$-Pyy,8S98Y Hd ]# ,fmHբWMخ6 Y2, sX ZNpTIZ4szy&7|Trr12ݦ5K7[3&Zw,IԲC>;&|ؑam:oCޤz m<sX+ƽ¯ZHsP*,t6[mѽ/kKNfw5f#bVq@# xjϳHfɹRm9wjɤ%V=D`էcȅ{FHKH8 ,/W[S 6a>X[Fҡ/;Rf7V7TpX":!au.A  3l qL2C[ɛ~RwvLLǔ;wφiΓ";atZO?(mԎ[Rm۱T2֪Ou>AtyQ]*jl@5Mݝ4lE+">|f!e z볚@2cMy;huSW =GIaVɒ'G&jBn2"Ίe8jV'^hc x{{Isc8?bv ȅ}?Fj&6 >]IBlO3BL<;xj];] 6b>-eKhˁ{DQ3 .ʌ?h}Ij_DI.U׷.iB#ɡoRXWt+%&Sռ' @bLEGWtGK})d'1(#lNH_ۢ=2#ModqЭTz‹Ǯ\E-5qDl-^)dGLGKV;2VMg8oC:8̖H`A:i7COd2h(u*?qd >C2A;_PsȰ!'sI˥$o+yAtG"-ƻ{ a<bAy?)4S>=u,QV-$Ѵ^o{誟:An6/J8o%8Ed09LdA4_dHwe Bopi'g: -cGsM]A>Le1x|rÂĊF|D):Wɉޫe|=emN Z&5#li`[V1_lĸŊ8;-f?Tm^3ƨvՋdfwG;ܟ.ޒM8jj@RDLBWܫ]AgŽӸyjD3xlݔ-;CXm8jHAiaH31g }E;)cK6 )15f-DOc Y,=HfJD|S ?AY!pstKc 6.[1QvHJ]el9oʂrVV7dYtG#*&#x)L[;!a1EicqUlhIb@YpZ抉>VqE3vxw ŵ8Z^-G8TXmgRTwPF#UJn8oUzY,ufJ(z.G}mLy]"K49S҃>G)2286ޫ][m4z5MkIH4X Zh BA(wJ̳~pg&.To#am&7|MAED^Bo?ejQ`;@k hj*[LtS/feʃ8M(%b""%TU<Q$$$ts{ 'ƌu:,,gHz2l^WpuD  0{Ca_2W2'ě~-W:.I 2eLW#nS>oœ0P$f gYZd610ce807c5d3d99bee7d0e4c2dc613099d78fccbc0597c9f59ed66554e4cc7d1e17fb50ede497e8 8d3c7eb9089ee11efe9714fc788cfec157365504