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 n L4 ] ZF-UNITY:threads=6elapsed=5.717cpu=29.816gc=0.996factor=5.217zXZִF! ]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb8 S#5ƞďoX{">Ѐ%7 ' }zopd[FCG.p$Nks3.nW4ޕ :P{Ú'oRhShz1K0\(P.|}%cp 528v᳦ӡW^e 3L4؋X6)ٟ{rNDdj{UU"ŋV]9}ʑ+* ?ӐGƕr&ѽLp7\YD9qx2ŸEcLKuo?*RLj]KEB_C\C&w:V~D(g+. A d'Ӑ:eb!/) `gsY%[nfUHB}#ׯ"t VpWV:|dYmu.W}숔㏔پ=)VXԄ31 HV4ؑ,mP}Ew a\t;2N{{ O.*-m%{3+"Sj0Yǥ }%w_p K#۩ʈY2$\40xD9pśrL9ρܤlkYA''X"X x8Z >\5`AG0nqw84  `gYZ7zXZִF! !]ŗXi%EW医~ ֣W J+I!BeFR,(=݆mEvn+Nv jM_"T&oVnYdL=vn Bb 4X-JO3AfT_E5RoпxmQa8~=h|1S( UQu Sx7(m# duj q\mS4<ƺ YHwrU^O.\>IR1)L 3h n߾+6^ֹk?a|A 8a)U3Mqv2:>R,U2@,,5+Kݝ7 1yHFQtnD1Z:PS0B,՞Rb<|~$V3u0㭟XVHr,lmZ]/d#<6J;P/1{l⍼od 5jiJUկUۧz\@ p rE{[jVL+u T"C>?|'](`.YyeO>(o&5xz*?]sǃ{˻0F{sHgP( }nbB X&WHěsARfr) x҉JnA=EO_k=OŨcwr)dIf*R`]D3U|LL|X2@_efvٜbkKOMg R"h0//R8Bz[ٰZ" 2^ z((MsXeOC!tgYZae3ad840f5a3bb609afd04d5cb8faa119c08bf2d78f8eff916f7453c3062e701b3cb18e4d64202c8 1a935ce7bf0661829a24d1136aaa289a490132d1 99a066778d8f927f2832b11b93746c3e9119457d   ZF-UNITY