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   a/L4, ]/ HOL-Proofs-Lambda:threads=6elapsed=108.819cpu=137.804gc=5.936factor=1.277zXZִF! ]ŗXf1-q恈ܗ4ޤ9ks}JspSm[ wy]{Ia?c@%m Nʾ\bxظ=d2usp GY0VQ :xEkfB+jFΟ 衻Ws@݆+|@Vhea43R۸ g:4?bU}!V^5'UOMڟmJG3P5zLdBR$ p-u3k8ieapb~[mv=5hqbin׬uK^Vlk#$ϔtȭEfFLU'V=v&)iS2S8ֻQXҘqxZi;N@zOUPlN\ {ڸ,mc`Q>FwT ެy"Amad+ߔkYrRvMfzy ߛj.-hX+NKsH NHE!4!A&q3wM;7ngA+=dXA r$Tɠ6w:bNJMXd QKQJcv cLQktPVT9,\&#ym|:겔 lH畴k]DM0tZTb-"{g#Um&۽l|]ϩ$ps!m[Yr9wF2pu0#)rdٳ= S&aUݥ lrV8V@RD-a7{Ƙmܫ1C;M' J /Y_Hic˫pQ}'AyD78oQ / HOL-Proofs-LambdaLRQ_bkc/"K1ݒGUԪU@qvR~;$$l[[6k[]2`2Z]TI\W !yV1qӋęj63Bm mU|ּYۻ #|\BjFzT) H[Q_|;bݽ^/@/㠛ѕk-ʌ/MD(bcކY@kzsRU|7fۭ%{n=$UPS-𔞮Mlbʋ6wCDmd=%VI O\r}]dEoW@kZ K P @7>tS]4bN5̰m#ƲH#{1&vm\¾rmͩ^6֕ZkkT`(krnX{jYjf쒍/D6Z5Ih2$[b+3&?b+>򞛑 8|7T/}'xN|[ܝwQ0:4wZ®CTKĐ!{uQ~:n#eu=Kkvl e1W+nE&|'=i[zI-JяLZ Չ>ULv{;ZNpHW{$(`?#`h V]zzδ{ qmFv96 ,Mн釣.Uu"bc+bu.M:~MY~*y]9DֱB5579&=!U0* ڨ3$p؞Ǒ(eS٫ҏHpY7t01e1ZxsVX'eV~G>\ib!^@8s` : d S%)6phn ~Lpꔀt.bNS8zW n9@-(P g 9CGw 8ߒ;_^"{BK*1Ҹ 3`MOW d=X1p \9yJL/t=,% nަ$&5IPX2i;J,el XvF;q8䜢 :"]ofJk 2n7t '77vֳhĒ[(>#}$q@~QT-k}杣$͒^~'&41pxRXogX  N*%U' Np e/M91]j: f皔|H8f RLg KufIZ?W.{VB! {=gJ3~-3%8T8R/+.@{e>j _=fr-hp=Q:D?Z6=Րd:-".(iJứ) xblMk' ?@1XLMq`j43Z]x}X$;PKplbIa;3غ ~V@W:SC3y?S5MOsbDG84kl 2V֑X-r"bǫv+Ea|aGhd=z2ZsN i>ٜ[ǖ_A3A*5y?A{E%a6*1"HcרIT.W#rhp(遢 jf޻΃'?0.;-S_3ָ&dMke‘t%9uvp$p֛J}F aN( 9N 9sħ'R0 c8A0n - f^:626(!Pk$iX%hF;du6IS/v-va흽q 6(0g/߁PonmC7|U\nJhՅP)Dž~Kޢ M| ެG*j%~م4_I|@ʯ06)J?ɺ8N 'qdmO Xcxsv 4x[oC0^Mc4MվT}s5",20׆?@>i yRR+jDHQXRC)ʗzjL2#}Ĭ *M3D03/#$}mx-mK}}،b)@973f#&cdOxvr/=73hȔ*{ȏ}} )삂qQM#8HDǜ `Lϲ*b0+H* VMY턂]q+3R W'VE k,@:~+qYώwE$;ӫ?~΅mju߆u❳LqTV v+έlnb'66PpbbbPyű1)?۬L )NW.c4r]q7"crٸc93c0uDzHhX]lAʶ>vs9@oMfzwa|6fQM BΏcUWC^~-M$,DFNUMSo9-5-ͦ1o=[^EfƏ|ӟFٞ д51ld.s=U'TO"~gΤ-!LQө_`%)kjw0.Ƴ$PD*ғ"K <̜zxqՑ|Ftl@Jy{c8iW5O$ԞygYZc0614647f5e24fbf8d0930153754e2408cd19f3ce8e3314a2216dfbbb96c9391593b20fa6b915b86 bc387f1abffd230dcbc64dbbfa2024e2149df4e8