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 @9 |\ ]/ Locally-Nameless-Sigma:threads=2elapsed=40.955cpu=69.672gc=2.748factor=1.707zXZִF! #Xv]ŗXf1-/6vRZBh S,Xf³@2AdXCϦr v0xçm_Dgme"AQ<4H1cK,R f\pQbg$yNCOck3s0D^Rc>RL[N"L&Ⱦf-{oe!9L5h^j9"U t2[1En+kM!80so)Fy_t]FSc8tv(͌NRqJJQOpVD-<2o =?;sֳ!U AG^5 Wzk z^1 9 Locally-Nameless-Sigmac_ؚWsGlR;N3e[9S6HT<;yY{*VB5/;nty }ɸ Ʃ~Yj+Ͻ_sl*ϣ dp\7ߙ>bf]˯ 4Jp"daъ"#9#,;J؄T}s1boLfi{v]qe359&\>=)O{,3~b)´:WhDygAO3C.{cXzAAv4d Kz%'%:F׾_^n9O@a. MOĹp@ڢև%{}Lv <2)A7sD1=*ػphRuOwe[9  ۼ7 rpeϤwtpBrtԾ"!d᫯(kQ+~!+X22Qwt) EݦF丐gYZ7zXZִF! ]ŗXiɟ11bu)\pJoHmXY?(HA dZTxCIwjI HAf,YNf65E;`\UhpjFp+D7XI},A}O#9wL$cAcnv0~&=N} >׭M);X93:ڻ;0ugYZ7zXZִF! ֞ >]ŗXi%;Ÿi ë]gR<]M[cmXV%ke)"wϥ kq{Y.φyi^e"$/vZǔ-](.l D_ӯg$Z@Zs?Cg!2jfQ2lP.+eԭ!wX8Ǐ7Pbrه)z8sq?1. ΊdX#49*nhL'YIk5ڃ2j:yg Beo9|x6X`V- K8D\mfSx, Bž`b1 R.B '2 eu0`] P9*qҠ{GX9 XUDmr+(mIahR# ygZ{ 91 eGQ(d:#,͇ ?M"&ѪOa=ZvXH}?Xv9גP[NR6@.ح6Cq{3,=<)9$72q'Cl~+ܙόqf4J)ZK3Լ*NN BBk4CXb?;m YmO:W(9Hq8X߄Qk·] Fo&@Gv2fpWy%t &e1qV\ Y߂c%}GE_@ezZ",$(4=tx o_M轢eH^d#O-۞qȔ tw"fģ1U$SY4Jڸ_NH1`SZl,[zƊE4li2Hz}a*Y1։fISNmC/cg\%ϘfXg;T)@mZ/5GzĽ2x)(XځU9X~z~E)MhÞ:tȅnw_w{gNZ޾ 0tAFOx@쨻R\Ʒc|p.a:~ yۍr f+B~a/~{E{G߽OL©'8ʼXdix-Cn|*eE'U3<;⒳*Q?V^W5HSZ|z+_}f@BAmGbjOS  :"LaU Z|wV(j_:+z b)j㟵S< ,)c@|'g3MŮV Kmk~O} dӂί"ӯ''oyDirHZ[tl@ k+s'':iO<*c?ɠY[ۉ&9l AVEtPmEn~BVF]ߖ2"`jT3S3IfPȕ3 :VONm1YVm³mf!H]u//aX.Z} ݞ_תGEA^T Ü|'U(}7Z8? ̊bĜ) 5(FioQoyS? >樭U{{MJ-\@qăsV?{%v7lRj~JYS'AWEr.# j e:M[xڌRm d|5l}*3~K jDkZ[1jƝɲ8̲%zw}E-ѦZgJyn$^8$S,[k6ZQF'TE)} U.K/@?[[WR_%n%@PPQ>.`+L($ASU/X꯰ &D&=3fT^ÑF- ZRaHw6E'29[I/^;Q+c?J|d@ެ1Mbsl QL ҁö Ůl-۫KWhJ>ܭ㈥𻟠JM_Y/:fWag BNY4Jt_(dRL~H9,1b~C _W%I΋tQJ(΁.]O=Z .D ybVA tE̿ڣ$Tыݗia[8Z= (͖ܹ QC1Y:Rڨ!ݨQytSQDYdtrB3Z I3[jf#)&*LQ)ɮ|T{Q? ߮C:yOAWmtl?$V2QSgYZ76abbc1448d8e0c09f574e7a665a7788b89dfdcd79d8e835726df87c7b301a8f091eddccadfabbca 384240766f364b0530b95cc787b490d4a226797f