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   ]5D ]S SequentInvertibility:threads=2elapsed=52.346cpu=102.756gc=9.408factor=1.967zXZִF! -"]ŗXf1-/6vR[]]VN?tx^A0EoZ$!0\P6b k`Vj_)~r2ߚ^j^.@fP(G9羏u45\Vh'UeL*.'D-ቤ3 l`+lt8Ja/ sYd0;jc2ML[z$̅'Cjr7n8DcGof=eb3ՒI7QA NǧYWd:#~٠9$,1"z9J񃁓K1@"OIٻ|-wg+is{%T"B4;ÿI }Kqi++lQb SiD6 HJ4 lҗ?yj*# 죯m9pV%P݀ -,b ^,[VQG[m Ƨ2,b"ȭE/\?1&*B[̦PBx6 T|_S0,ϓ뒟~g;/X[r$?MF6eǣIq/|],2 5 SequentInvertibility#E|q4Q';~갳HZ <_QVײ$Jcn-=5OVk, W+,ǁ0}S1}?.dmNɫ2 ?hMPbY0* 3RIj0eխអB,B=[@Gyuɥye!)`I>v GX'ۛV6!+17SZVdB6k2/ы3{dyrnEOp굄? +,hv+ ΥSm@w|G8kz3W+ᖯJ[Z[r> ]\e:z! 0F^3 s$\qzPU_ulDX2 E[ǙO`0$ZǕ_ųS#8y`mRu*V;6"D<J3{]ÏEޠzn?@J A8(`FneĖ=*\-q9g뜗Ar@ۙ*J(W˔\["|К*9zy>YBEC1ǢooSnh򵆄[aa՝&;)g:2 6.7|vEP/(\gp V|R|E}5Qjocݑl0 JE7lA dHm:`WW VQᮇR\Y;G[De[ GDVtn# v,qbnZ~:$zef`]0}pVVe٨!d*ƚ?ܑ8'Q6k"70f;sO*F 6D߼WV+* b`:H q:I%cXWG/\jKi{mhwTadvN=1||'PThN?]U2`N.w<ر 8Y:+YQ]t,ߒY5`,Q_2*GEi̞EhdpiGi. v {3i-Yv8V_!ۯeoiEKr{Tf;!~:E3 [0*gLW_^TKryJ\c/5FP-Kb12(VPBՠ!)񝇯4uVdGUR2!'Ύ(~ ;vC;cA/sBֳ,DuFT%L7%I됛Īf""]\v۔q m qI2OpZ,ִK zKB7=a?N#֡암4rYr jwS,5T{x/^Ŵ p7ѷnK57.Z^uFnh=me8=Zp d_ƌ+<'aJuA7u鑖J(c2~%'gGѺ$Qbt| $Dn $#`EdɁG"W+= xhe̿ȷR| YzcOl䇧p/Sš!I'nј@$%%}yF07'mJx~O]v'9/ה;iv\$ϗVUɑ`zXP͌糫J/\cřwr:h*棳];%l'qd';Ŷm'*P@de$w Jg%=^jH<4ALGyn-}ti9TءV_O .Egl2n McZlKB3NtЊѐ`MZF˽U2|{DZgYZ11f6966b6785efd8aabef1e4e1b40b4867d9693bfa7050467ef8f63fd56cd5cc004bca4176bf5785 29f89a8c8c3de749e3d8f52dbed7d75c52623d3a 7b4e4ad0c078ab206c2a55cfc8d7c15e75b86740 0e3c1623b5da04eb2c030f59ed1b2958e45ecd17