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 * ,td ] ZF-UNITY:threads=6elapsed=5.897cpu=31.240gc=1.392factor=5.307zXZִF! ]ŗXf1-WHIk0p䋎dh֨/+a"Oj1_E?YgmS%b #^@T h(}zp({:Xs:%aŻzC3TtvXwA~ &7h(vPTDÕso>&N<_klg~F!1j\) eG0$HD獱qѝ@a,;ADrT)q{v#8Z#1ts;^Nҷ߈F8Mh$+YJ jCH]ZIy1]Fvnc;Jڻ- *R_g6l~$D.4A[EDJ}`U uvQQi '2*i2.KcY^:LV!~44Zg ).!{<Ew+-0C9iy/L`/ؼB\3H% w&g@絪'oX'A ,gYZ7zXZִF! hr]ŗXiɟ9 i:4V;}A<<ګMP7#\zud 3s)[8ݏ(Ʈ6Aylg 9 VRx%k\Lh.{aWv.QPo n?Z7p>_a`?)e"O B=о:v?(zS9uUat}#={ǼOΈs!V1E\9m8>B\4 ]A\ pC߻0=5܈9#}!dqDD[ILӣeMY0(9)fnj:0+k52bj<(k0Q$ PgYZ7zXZִF! jk]ŗXi%>o g|eQ_ 6K+2eo,3l!)m<Ԇ.n4Ǧ VA>u%b hnMІ'[m,Y4%M|qx X5; nO dwx Y|yQ$)r4K#y Av*T!?d)f/3JֽZLy!t;3RJt;J牡;#%fU+e:bAH&w:E͋DF!~=:wAe5\3DJ6k%rf pw AL˩@!4s}w($_` K*k0i+PV8rH`csݕqm1eO6p*=CFֿs '~<{#Ĥ L ߧ22/4,y>"K]gYZ0b1de7e48471cd6ce03130e76d40e093a5e62dd0b4f0352ef26758d0b807242b0832bb09719f7d40 d5f95fae1ac937393413f028b82172e6fd68a7d0 f036ea535284a385bafab171efc14c1c89c4a802   ZF-UNITY