SQLite format 3 @ . B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info , , IlL ] HOL-Bali:threads=6elapsed=59.510cpu=218.544gc=11.816factor=3.677zXZ ִF ! N.] ŗXf1-q恈73w@9!Ӳ) F|b4@'n拏PCRY*]tQzI56}?c?ƚ 2KO{U#~[Z2t*R5WpGJƚ`Y ]Iq3*&/?XHkzz&R^(7"GֹĈpj5N2tˡ_i<`&j58pk%nc00= mJyKtxBTPNZwyl+u~|dtb_z #-{IX}pZS[3~ArAbkI9kr+Ր|PMZ{5CnodG>vlC%u?NL+È7JjOfYhlޜ-lO:x}?6Tc2HvDyërdP˄b!PUL+BPԫ/,)ٞz?n`$"Z*>.`+-ę4ʹ[hwAB"Sl]&G9DK2-"$6r2+űx40DžTV7 Mm_)]vγIY*uXPِ:< HIOL?KM`p{(_MWZ9YOÂg?h,kɯH>}S}5$D,h'!QGeǥn``o*!M~R`;3F3K)\\# \rͰZML^>lMY]D}_g0'ݧ Vlc;mQ9k9:6LC&IGr^TT{it44d6!V1&/I/ 픉||o^ZELK5Y w$ i2-=|r&5<똱 2-9Q5HV. ˞dsSba*~އcH1%C3W&s0S#;l@Sǹ~ُjf%䑌Q ,nIj!Im_ҏ}0ƴ8O>q*j7."֯1kbf3O~f7gF7 on,mfV7v%QTkdednYtnkiy\2e{h?@sUIOX+uCl,QLSQ5Z6"G Ugӎ~L;{Xi#V"b TxX^^ik7wdKՏzuGvzH8*1
vb~ZC>@*;ߟdjcޗhTG1Ŏ U} j/
2A~|;;RbvLF"#ӽRKZ^0i%Uvڻ%y@
_
gk!3
ⳛ[f*0J'J傷qO;mA[wڜ坒][L3NEdN"t.9ЉH'>"?&߬p2doZS@#y~+a1j9LLwrW"WpZ\kaMT*! hPª_d>Ѳ|]Z`,/wÏ(#xN}tb|x| ]8XGkҨpAˠ[or*DCooBwl3L3JqZaIB]7E V{if;?<#FO"j#<{NXw5Nn
&&BDgktN0 5OF=H4wµ|Ru^CF?7-[FOMn}3vck/d4b( Sś|2 5Kg YZ7zXZ ִF ! ] ŗXiɟ1Dw7v%[y j/1a U_e/GѰM۩Bvja` =RcYC-۟WOLLwchmytC
^ѩRzL
4uz7VpBj OHO>8gCl,5.#u) ;KϙhۓLPlj{Gĥa&eUx9D˺}1gR1) \:qxHu=GA'pv0IB>3i+Yz5)cr\c<*Vb Xȉ)ęz?gÆl ?h瀏Xl֧.[Ɓ*4F
{,ƋJ:,BzCZ{Ao^!?5
3X)n T@-9F
ɱg YZ7zXZ ִF ! ] ŗXi%>Cµ_ ެ㎄Ңɀ$I8wWnR t[wvn'ӎ'LE[ _ؽf4cj/IBm$` ]qféX,YwHc"s/.t"3Md:G^ΪNvԛ{1WLRIH[a@4
\zAeñjѝ.١# p
'WtSY0K{0mE|)}P
ImS.ڏk,AV&ݩP*0M"I\)yd8 i2C_TldJ2C9mC6cW""%k&hY
a0[ar߂OFhp#X;ӓςmO%>t$|r0>DO2jTߴ~摈,R<ҸqR|Ţ%Ja9A# =Vԯ-I4Sr"#_UI&4B13 Zu(IU}v6r0NL