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 KK2 $D, ] ZF-UNITY:threads=6elapsed=5.995cpu=31.864gc=1.248factor=5.317zXZִF! ]ŗXf1-WHIk0p䋎dh֨/+a"Oj1_E?YgmS%b :ޝ/ KWB5[=} }lH44³|,ޝz}N'5;Y-evcŒr{u/~}St!^Շga\ }};…O;IxS}rD s֝$k/wl A4SOճI ]_lTC0I $hQAMhs-J&.NE(?0:sZ|l0"[OQƸtv!8v(uA}:[ӤVEA0zUI2ZҫWVS zɧѭo8QN986Pfs,\"񢥚\<&̻joidXlC1@=5VJ@XPDi +9T1RXk"=ޢh/Tjb{>\J>( i@bj/ V$qn扈P]_x5ziw8 mKk忼,eG֪Y" m%8T0gYZ7zXZִF! h\]ŗXiɟ9 i:4V;}A<<ګMP7h !b~tlEh[: 1;XU]8Ai鍪t%yP;a#,Ro[;ucxŨLv}pRBst2)T4h˪Y;ە魆Ӄ74ZP}ФD2];^EͫZ2J^"r;w/r0TӬD]0Y3fk^2^5AWZ\vc-NB2c& 1$T թ\"n)0lo(5^ԡ gYZ7zXZִF! $o]ŗXi%GrAseY1-gxY۠0^+\ԋ!0]h̪y"^*g'pno*()-[x ^oRÊ?>K[)uYf|oa'_fx >N:e4#4Fd_h m֊+~o*)OND8Lg}ZI .zF )-ꘒ4 (ЅfYq͒k*i~3 4b߂ǫ$+@z Xb"#3IN(s@yH@%K>ɬ B4:\<} AWvQ#C'<2@Z% (辱=Yy6Hͯ u<ڙb-LQSqz^Bz*I&zZh̉&N,%)8|mųBpn&MUwtsqnt->AV; 1ZGqwe~b/A7=//WoRZ.˫ca[j+ӻ;H6YHڃb~)knckIFr$y{?jdQ6*JYYhhQ%;xuV!/v^zJ- 7X7$mC]Ve%""0 a@|~ ܂`U?Xq?HKgMgYZbe95ea86ee4d6c7a2eb27c55f0cf92762ebf860e2c82039eb3757b51a1431a9f137ac66d6aba80c0 d62fd74475697928427792d732d221ef0446bde3 dde3d7b65bf9371052d78f5eca7b4befb1ac02b0   ZF-UNITY