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 33J $t, ] ZF-UNITY:threads=6elapsed=6.120cpu=32.132gc=1.352factor=5.257zXZִF! ]ŗXf1-WHIk0p䋎dh֨/+a"Oj1_E?YgmS%b Bd!Ʌ]I9itNy$ORgoWPvWT^g qsԖLQX+֌[%4|Y~f!i~Rnn%1!aX.*ˊ67{4<!{{huR>!3JRcxQzcƻqLpxIDDqvtBEa5_aǏ.69ژb (я%t#@0fMRVAmtKsΰLn [Atēߴ=IEݻ\bxr88Mp]wBx'[ۿۏͤٷ;\5;rd2$lӆsx׀^}[zkEi?٬A=޸!k];+ Y^ڟSwпaҲzXm.BMdq}_4YGfQ x@`l 9z T {+Af`5KU-(4sN )o]V@av?Ͻ$?#dd&%jA/92*@\%qzgYZ7zXZִF! hs]ŗXiɟ9 i:4V;}A<<ګMP7"a\zuLDEQhe&؇*d?AEM-Q8rܒ0| Sڦ=Ba@0U N|ۦ,6О05+=_V ~<+cDgtZ!\ ƙpց3wp* iDL6K90aoB[fxdW/m+Il퉵T)o$M(xj9XHݼ/ff-\нĤC:zuW@PnzǬ޾N~,g{ZRj!&1sF[s45y`ؼ kn}Gף)Cc;cR4ܡWUm N{d6S1^P 9)E!r8ˎ2ݨFuvjRN2RѠkaPB=*m/H?(}6%"SfYN%Wv7 <-li-m>. X3(yH Ji^_I]h4E%%+șJ lXRg.(t(" 0_%upj@&IunB{S'iP8xxcOO"\Aaګ&%"SU,CM&joe?IT,TH#s~ "㍘shIJtl)d(o gYZ85b20a69e94b7a2b3ea27548afea967c07a2d76c90a98f9904e3fa18e2ab8a9ec47ebbee782d9ec3 0ca435f380daa3868f617631391ce9a2985201ae 86388f559de8ec3f41d8abbf3db7613bcd6f2c8f   ZF-UNITY