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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  ,\4 ] ZF-UNITY:threads=6elapsed=6.080cpu=31.552gc=1.360factor=5.197zXZִF! U]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb9-Ț8֝\ܩfctww&[t5e d:3Rnrglhꛛtmp@FOUވ@ʍ+yc)8O$ ^=ߪn'9\9埐}`#~oR]gp\"^8w B>'\(ȇOkأڄHf偡+ۥ-.+4 d2sf4`~;3kVض?l=uU> !8/P& A]fFa /!cPP+ăKqN-fsҨo^r`D?C|F tZNjƳrF ƥ|#L]Ãnz1e)rq5AL 9,@W0 >ypUd5>R^D?O/PS#iG;ʑ)ISd`IVEf6eP\B]JOu[Yl OaS􇏱a`o/c}cⷱ8jpf;#ha.PYS3ٹQU6B٦6Ȼ&$\aIgYZ7zXZִF! hh]ŗXiɟ9 i:4V;}A<<ګMP7zP)Z@ܴE71|kاpƷ9xj^Vd߃֐5~MVAWrC7\ӱ+_ Q 5O=teWwJRhr4(DlŲg`N]`56+pD }Ec0(Y~c+ҁ20ns ǛӒAU>-SuL)3%رC-ƲM@܄HT>҅c,q#%M^Ǒ%@?p:-i9lJɼcD]p7$DP?_fr]'[8} s4gYZ7zXZִF! qS]ŗXi%> t\"w_us/h-J7ӏ jruƉu]8Xs zjS (:`3faw2Ii¨*d WDWs*/+UYAEvHȲ%7 "TRSs>3I4=EZ᫝:9dZO`$rd:aAF7:.إ팤# h)mV #*d!#$AU0n>Bx>JhwQ&AhbR ;\uO~)llrc%y~m 6mhճ.ks ت!׽-SY-!ӴIA i2 ݼUetf_9N6lSU"_ϩ[rVwqR,)xh-..ٌlewycC|WoOo ؟?13zQћBeW_i2U EZ]s[gZZf,K^$DRv$5\ b:yҿܱ?;Z,7 Ӥj/$n O-&g*XS3C |@ khSDc;* Dczxk@|L33c=OβRj]ŦuZ= rmn D=VpL~YVųO/*,t=s:?~MKyr^L+5ZJkUVYs畒@kwF ;KKns/G+)\1;؈q7N\G>gYZcc633a43a647de086b8e45576197d55d04bfb404d2759733082b448cfff319a2231d0a2df2f8b2b0 546bf4047585dd440ffd7dcf0509745d4c3fffcb e9d235bf3f73ef59d75c801a585d3d5c6708d216   ZF-UNITY