SQLite format 3@ .;  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 j DLt ] ZF-UNITY:threads=6elapsed=6.146cpu=32.304gc=1.324factor=5.267zXZִF! ;]ŗXf1-WHIk0p䋎dh֨/+a"Oj1_E?YgmS%b ɞ\*ͱ~"bM*`,rz[?^'UvQ#2/.A⯴kC?s)+=0p6WWf%8׆;x:>hnV D,حǸLc>|MlB%Z8( dB`E0ы;zD2k8}h8m`֖D(Qz%\qԵ :@+)&Nn-nmҭi KcF _a:;6'鸰;axgTJ:ߒ8ˀ'7 n"m;b]P ˏ"|IfL@IknJ=?& \2ah%"œ'{B#H]2 ,L"|ZSMI=@g̙}'~=jo9IJ/W<,8Z^]"Αe@(px%F5 ,ӧ)ׂ)pQR1TAI`Z ~ƞԝoAߠ& 9ץ3]y0M4<9$4n(,֜gYZ7zXZִF! h_]ŗXiɟ9 i:4V;}A<<ګMP7h !R$f}i1Cٴ߯h+/Ne.ۥK3`#yc$ 72̎#96v=vJx+3IvJrk-+s U F}CI"GP<*cs3u̍[z1f&T+pϯק7!5ޛOAZs CFM);(pX{0נ;2b +.GNPĴ1u7g ޥjXV3Wytlg~M t pt/g.5edk=h9"ʖdW^8^Gs\4ܾu ǁK]3$iX~fos1؈J cjUR?e/d,tKrZ"9Ж,k!U%g(H}1pgYZc4d4ca4e1f98212003b002aad647af7bd7774181c5152c1238c92aaa6e4bbb00396561110d931d3c 6f07d9f7e3e9c2a1337b78a67c7d34335daea155 2f0e7f4bd1a9acc8a58deb542c983a5a2e8ed123   ZF-UNITY