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 : 4t| ] ZF-UNITY:threads=6elapsed=6.220cpu=32.080gc=1.284factor=5.167zXZִF! C]ŗXf1-WHIk0p䋎dh֨/+a"Oj1_E?YgmS%b 'kfьm .0$D ? rdYƢ\)0_/%эagzQ-/cw0#M1fd0~:hU܋{J,jҖhZ.)L>eJsKs@FLX{<@6=%lSv(ⶊ1= B|@%T쥭PXNr=_k/o)륒cژ?%_5Kg uzMX"`Bو'Go#ϿlDўu5}EL"ŋpPb&4>im6ҥH]+= PL֛CMq!r~!dԴ';|&J$IL)mB1_C:Rsԭ|%+9\T!{vVηq)0&G׆]s ZY9 TX;{\˨'E'i&^=w s1<.^A]IG%@?y )P2򬰚|AƊFn'W&0hLgYZ7zXZִF! hq]ŗXiɟ9 i:4V;}A<<ګMP7%ZDz(W RN$$SawGiz:Y>4#7TZhEDCDagYZff5df66afe26bffdfe50d46d7bc799f0bcf1399562dd5ef845605834f99fd219c6113e6e5d2ead3b 272e8eb3064ce6a12634e35f7d5d9a615e9b898a ae3e312b207cb6abf00b26656a857f9b9a5a3f12   ZF-UNITY