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 LL1  L ]/ FLP:threads=2elapsed=22.190cpu=39.948gc=1.288factor=1.807zXZִF! )]ŗXf1-/6vRZlh[j^iWrYWrWzux;6aţ n5`V gҌZGS7DtԪ] eERض`3=RsǾI],?$u>2u i3d:vbYovцpQo x1srmxW9 Ÿ'!ڼIєH)?|KM>Jk+Ɔ=Fc'7f E~{6RNO{38[7C[q5u2hz3HL~~)(FDgz홵nO\!EuY G$O6!rMD5.f`N \5͎N' C+Jm^kl]FKPPꏧVAiS=g'=c(#JRzȽܬ@UiOHK [Q1ě}Yc_:>u5'Z y_i:4LϢ!mLri.g$>S!8CTʔ?71\:ׄϟ"4FeyZt}l r\e]磔, iAX#.l^ds*OJbZ+*Ѐ_-z, `@Zjk*|ЌƣO~K:yU,\gYZ7zXZִF! ]ŗXiɟ6PSוuF3J"ᱝM}t2T]nt2e$Id9+ģUz~u*jg4mMHm5Dny~КWԎK@́SLo?IM~޳#ԸMt/X¸Ss,w/ΰsA݇ԜK˜^'?@fЮ^:'#G}mqE]gYZ7zXZִF! z]ŗXi%;ՉqY>B M r<,Ixn%Que~GjY W_Pm`X0y0j…dȡox)_h-w8·|yl=Af)}Ou8z(c}̌>AH\n|ۜ@˖wSlъbN]v\aC@e˽!Ȏ_U!d:ۊo*GTWg]#8=roˌ3l)?Ͳ sL72Vxy|Lܗ#b/S9iô\,Ls]tAx|0Ĭt7oWPy~@:/ւhM;OF WPG}R1]j_,]L@^w ?LcBZEWxl dչLuc\E"w]kOrU: Fmiu2;D L@KX*{-&{CAX(֨޸y(,P@x" =uraEjƠpÙض[:ž.uA:wISgnobtO0{6pqw$CxjW25C\4S5%}lV lp`;ov?B:L W x I(HU*/(gFa$dLMH&p=[AOWNI ;Ep͸5Ѽ 5e=ժ fX,~0pPrdvT>m"C~ʪLn=Ԝs"EoOG#l{9Ah :?{_$-rH/e ,$8#{@RE?O+x@Z$&jJn8vSΏlhW(X Llwj %gYZc75db6399469d563a2079f652736c8c1f9e7e3f179d8e835726df87c7b301a8f091eddccadfabbca a29a84bba8aa29c804c447ecf6bc83360b3be33c  FLP