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 gg 4dD ] ZF-UNITY:threads=6elapsed=5.186cpu=25.752gc=0.864factor=4.977zXZִF! R]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb5s]HFMjuzVɲ\YBBzGJMGphU.xf+Dc=?\?ŵ4ɛ^^Ip呝:c;ơC~8xeȸӶ9\^}c/z hbsk -nO!>X~8¢K:4BM8c$M5&Լ%v;„޲;xHIX)<@ s%}v=d8~Fk%{֞\ejŁ1i ;m)B,|bY4=df[IJdnb|#t`d:]Bz!4 +J GТo#zĥ1]U`2iѸz9 /tNE v/foOK3rջ'͘ "#VRbvV;JJ bC{^<8h]'T_ χ 8\ QgYZ7zXZִF! hk]ŗXiɟ9 i:4V;}A<<ګMP7$P`Zv>pYL%;\X M HץdxIh=m7 LN;=$^8 OFacHA=S}u(jB[Ip|EˈwRӪ@Y)$;tS #> VN)u RqWFS|#^LJS F\HHV]v8( h33*M޹uЮW*ӿ-e>؈6?X'ua,2FqtB&Rbڙ4 >?͢>xLf,_hqj{O&`<g_ !gYZ7zXZִF! N]ŗXi%94n=TԜ0ȅmxH6y)Hv7,ywl4L{J'{Abam0 q(YS *lS#t8T|H`|7ۻ=ûD(`:E5`շhꂕћeqd 1i-"F5rҎ|''L:Kj.6U5Cմ aDDx3T"R&P+ 7rW-t="4FRRy{ShwcMp1_I^!mبu%$ciӽe T\uKkkb!bϻLz"3k;cRJ8.tl`OK#E7 cEa2=2z^PoJm1h.PLHUƁ<`hfNj\L)֢kH #1= 7ӣ8Ntq/El$#^LWB5Vh~wUج XX/h +Hت1b;ĭá\[)u^U#Q*4^o ׾ͯF5C reV?/c-<ds8mЄgYZc6ba52c06996e22909943c51f044db127ff7e8f24cb12afd9789625a4c2e40cdf1e2d0b3aadc16e0 7096d2d28204b110ee8354d8134f0bd997ad3f81 b8551dec3149053f3cead2b9218dbede27e59f5e   ZF-UNITY