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  < ] ZF-UNITY:threads=2elapsed=14.870cpu=27.796gc=1.128factor=1.877zXZִF! ]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb*xQ82W4a+I]vngdd}TQxe׽wJ> *O)Qհpn">IJ*1ft=1_&7p|%[ 23=b!GJ&ϴ&jx݊k%4]zZ+M̈V2Mʍe J\˼F'<_"Eڅ+:)'4ٻ 8fVr>Xg&2FhRb6E=jJp'9{ɚ!ԶU"/x!0HAUw:adCț5mL8n0AfGOn#QBeZ]}H_n)Erze0(;Ѿ_Y>a9d %'IQ넠"ߒѱgYZ7zXZִF! hW]ŗXiɟ9 i:4'9Zfw4 _.9)P5Bx_qICr!1\b;R3*3C1BJ Pl ,%P{'RDƛ0S( Q[|{d@3oA/(jNKU&> p#Mtl|7VDT`WvUC!DV$w#r7Tb=[ɳ-ےݖ8-ӗlHg+;ʽ8uK`w'L#M2()_g^~_4Pc֊kkm{PAf`镤쮲R.Sm9l 'aE_ ngsgYZ7zXZִF! F}]ŗXi%;F۩x'CA׌p(puv"7!v :*,jŤኮϕ!Ւ B}JNYjyE>`bx}Oh.{tHpJZ/'Q ԛɷ`&v%жbP_8`B,q\'C,h{1*c#537or/[$#c͚ V^jNٗ=Гb/'`!;`}XuYX\L% /R ;QF?ąd%&}-z:s\Wu(%"M d 0;_r6iT)9ݜ^b͵䳧bsO$Qrf4n|5ǜ lȔ C3N9$t"KL,W:TQgJy 5QA;6uAE6셁H8|ckR~$oTciI`!xnd'=CF Kc + 8H_']}м*ՏdY^-a 8dZ!a>woqq4 em5eۍ|"sA?"  {bW;? nR:0 2?.~sctYh+}y26Pθ7D>`s8IicŘd~)I%{=vX 'p $CnS믞?Y]l3@MA~jYMa9 GQ3z!1~$ni:Pa61,\`ç޳D!*8\%D|DRSRl^ڤl'Y7t~h)Rnh(GxOa18&vj Y\8xJTSa7XJKϝZ,'T'4GEvz]5鞿kF(e`(@=>tH agYZ833aced9418197660062e375cc02ca89d62b67ddd50d23da2fba2fa66eac370561c930ef78815f64 fbd60fda684b26456babcc46f437c22d99729a5b 3414d796cc611c3fa843e02600a59dccdeb91dc3   ZF-UNITY