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 Y-t | ]S Lambda_Free_KBOs:threads=2elapsed=79.260cpu=127.048gc=6.008factor=1.607zXZִF! ;1]ŗXf1-q恈͐7ӺV 0t ŠdrviJ#UHlyzyߪK@*CHT|kpJѹ;L~E'2쐙4'!YD-,.PGpx*T5),Ius8h$'VV;c)}qLʖ|u!Kpr-1ᵾǹd5 @0/+mo(/Xdc]4W1µ58ȞI(PsJ9<s2>hV3:X @݊ABHqj$Xq&(% m8*D#:}kGXR|a|p7,&*I<5J`7/NBOw{qQ1?UUa\%nTN}­z?.tDgєyݪ[Eu̺o?L,Q? oA2y,G-9me 3la ?fM̈́e``~mk</{Kj+.e&o̔Yy@Ґ{\6,Rds2ߋQ/D:;[8ZKj W^1ϸ}Z=.k5\q63Og /*tf/d|NGrgũiwEk&9*84Öϧ#L'znQcE4C[NZ҈o ۺL&k.Qk7fV|@UۄޕOߐ_&"6z lòyQկ vk-1F 8+Fenu3bT oFpޓ3]M-1n&rb}tzqrcY"O8,+lO]e-8|tuQ~KP)1n;#[Γ'%~8ȬU#$,4" A;M07Λ5Y" Rr-D郒= j.  [rP2 kd[ڃ2v8N gsͽ~e1J6S\:'ENmOI%t%kX0'UMa2/ +,Ql_VJ2>/힣%<;4SaK<[ݰGdu i(p"}.XC:!i>k(ggJz\(eE9g1r{9{`5=Qn~}ຖ+Sϵs؇$tQ]`~w"'}HH&,zHFV'psٕ'`1t%"$ErMI$v JM'"LqS΋uˈe7"y=MT'\+w~#ws܊ Dډ Ss=躠ݫLAre^˂Z_$3'/m-ڌo{ ~H*2,5h&.´fbp-,(sH./R!3[J>G(7M=|d@hb۾PNs 7)D+c!ާٺKİXNRcRZp^tUMpA+:Iw8˯+=)AUK@ߕs *ʟ.̫[!?96~l+lU _u$+2** >XĐ7PCc=<*P*1ldID3?ՖU#x.0WhT-!2OdXz`Qˋ9ZY9~2h2Pgo EL)۠}ag N)^bf1w?3~ܵAJYpH#PX9hN ~8;k,74I2 $ACӉU0u0]d Sg[al - Lambda_Free_KBOsS)91(Dp&6P}0_VRceIW`m=Q @BZTVGEE~{]iE`Ӡa ޴hree["v++qDw{N"6<"T| /0n©+Y#}2QWV(|CsHOKI eۥt}~mdًHn3H$l͇omRe@{>%J l -q0b"ln0%+vGvcI1nз޺o-q@osdpIWT0r_U`\./_ %LuS,HOY+kZCpl4Ff@Q0JPN@tKFcҬ[ph qskilݎ㇘jZ:OuhAɅ5Fu5 vu}:a@)Tk|b!zཎK3rc2j؞YJ[CP_w)IdM0AA7tTnм;Z*ia$TCHXYK1m5}> }b 4#@[n̫}f=\jVa49przV s$]f# Ĩg. Fr.2V[V?lb2(6]B[f:l.Bl%yp 7+;ӛZߚ >T;B€2;%XqMa:wқZH!5FG:&_x#8D5}2+* (}7 o4Ui+vaFO$G,QK&pj<hʳ6\r#doG1@Nws?)PL'kہ#AԝZy9xKԄ%_;_ J6v )\>3N#ou\UXBJ駢vvOuM\#t^{^g]d0NPWtM / 7 YW4$rqmT2 .֚;Oh.V~>YHmojyڷS Wi`537Ԍ32K oQvdR :8TNp=YegL ?c4f'ޜKT$|),[|F@2T>vnP.h ְZ )[gsB%1iU8L M-*oXmH7hJ._ W~.C9 {ɥ)O/]!bk?pyGzrhT3ͤk_[40)$;'Sy>  2&37`̼˅NQ&Sy7+47 Rl4h$ɨ ɤ.Sh86\ giT)[|(i4߽2Y6Lͮ2GØ֤5"R}ӽB&8F5%۪EF?)c(IuQ"ÿ -"$*l&z03|Xn2} Ο48 !Y 2-gjvb "v]?*8 c`'_@uպA [SL~/<\ƽ@D*Fk;ʒ#.vBNki?; Ө=d[xC,Z;³zt|r\EZ{v/*Ȣs[Że7mj/*": ygYZ4481678b78aeaed7de0132ce0a14e98ce563974efa7050467ef8f63fd56cd5cc004bca4176bf5785 29f89a8c8c3de749e3d8f52dbed7d75c52623d3a 397873ba45172f59940d0c48ba0b676d0ac4c9bd 82fcadb9a0ac3a72a990fb991e565cef2cbd9189