SQLite format 3@ .0:  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 {{ $T< ] ZF-UNITY:threads=6elapsed=5.703cpu=30.132gc=1.236factor=5.287zXZִF! 8]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb5綪mN+#Rp`Nw\e{ĵtLww2FIgVڡSud^/GQ\5 L $UџL{`rp66X,fqp9XqanݣtcxQ7xʺEg=u{?)Oa4݈_D 1ܟO>.)UyE>xz֤kp.zۓEQ?$Z|Ll@6g uǮyCf+\[TL}g+^qSOPM2a(ZҎ%XI*ry00\BnWuhJu0uDx! Prh3܋EЫO,I,͙(gj @Tօ;k96RV h0y O]~>FS}8]' s&ցagY#$ͫm#+NL(O݃ eIDlpnSlZIOC# (yR\AH0끀JԐ96 "#y ikA%7䈺XIE!xn* gE d?'1 h3(t}#ӹRм&1$1sR>Q W>j7{xJp3@mN5*Ϳ6( c:cI6q{m+!&ʎt)@!>i0I"lIh&dW&0$YJ.)(=rĺ~X$muCqjF!gYZa14a5799f1c38f6f709654508067cfe4997a0706a52852326379afee2cdf8f94e7105ca039ab9f98 c3cda3330a1f681a4362334997160bd397123a3d f94b65dd0891b4ede28c48f53ba85d22fe13b22d   ZF-UNITY