SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 r,\l ] ZF-UNITY:threads=6elapsed=5.970cpu=32.008gc=1.4487zXZִF! .]ŗXiɟ  Q KUuu[8&uK۟6_`mRca-{\:DJc|Rr5|uEVXTq OA\:(.Kb5k3+ ѻZ#!Fx>;,b%rzŖD &[Sy(u &y,.iCya6HP7mː?7=p+3?s_v*"RoBϧPTP:b鷟g7+WSl&sJłԋ $YFhGhn"(n]YNߊB?FeyP+FF#Z{5trR\Eiw{@u)"#ȕʡ+%?b-Z&:áBVp,/$okc>E-\6=H-}'0[yn5u]CT: "c&Ddƻ>B4Ch)w9576b[N@:鐲JVm;ݬ6݋\yqT6L|:Hu5w 8I5!I]a]I#t!QZDܛڲqހ"pJ`&9LgYZ7zXZִF! he]ŗXiɟ9 i:4V;}A<<ګMP7jlt2&rTwUK XbVNS=:Mnժd8$';޺4.Q^\%'Cs^=}+ER7&<=5nP6W3 Mr] 3PlI<:ז) ylZIT]xL'ߒp !K̦ԉd-7|owXwG~`Q؊~F67,cW=GsnornPy_a4fk>TeJ"3O5 d⊡Aqb;fUH!uf~asʃcA4 _F@ gYZ7zXZִF! $ko]ŗXi%L* HLr:]p/oH{5\GL-Y^$pO!+ -uN }@T]ÎH0ʪɨlyy? ~O#9m`(-/"K6U02ϑkQo A0 Qz\0uav/:a =1<1@σ'QLt%0Q`@˽6>X p _p[T@KHHrFTS4 I*:%1ivÍ`\4zn*H) B|oWD-רQN}U1Tu4,c,8/8k]' ܃δmTK".27UR|)WJZ9=BSS3' E0(El7eKj7"l{M¢`k Sܑ6eexz) ⸱ 3}E*0*>2H9*`o.KoM"@+xs}!_ M>Nr7|uPFCRt>uf ajq 8`qH[Q1tV  O_$Mw˷vwO5䳦\ [[݀CzXVM 0,7խօYw =Gdex %t;f<,US֟R2e))3"JEe/\S1DىӑZWrʝ<xAαIk0c6Dvw5GOh/+Y#]V0o ΧʞsF& G HOpXgYZ77be4ad1dee2ca6d7cdd3a88e5d25c534b14ec4d52d50d10ccdc465a02bf994ffa404cd98f184ab5 75c90d096984d6064f2ed9ac4775c780ccfff1e1 04a236c1c9226cc6dfafcae467f1fcc011b1b830   ZF-UNITY