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 z ,L, ] ZF-UNITY:threads=6elapsed=5.939cpu=31.236gc=1.252factor=5.267zXZִF! A]ŗXf1-WHIk0p䋎dh֨/+a"Oj1_E?YgmS%b E?`HToty7-)F[/H}6c)(yvRd[Gh$d\ԪC|j[ZhYX2 @y᳔Dwyv*uV=BCLvj>u:Ŀ&pjbj-v7YnZsw 25=]uc*|*n4q:t6QngY677@Iʾoߜ!Lm@]qO/q+GIȯs%6}ܸf􎿠x)kRn;`mV,ٮx1^`R5栧9t@UMz|*֧5˓bQ Xv}vkeF hkVC-Z=}8ǁy'6\1TIa8q?.d0ƈt6:B ʗ60R(`=@cGtle,T^Fa*1 Duz&шCS.{կE7='cald~/`4 3a}T:"m^; ['+*r*+zZh&_꘱gYZ7zXZִF! h`]ŗXiɟ9 i:4V;}A<<ګMP7i_1e[kxfDt'Ra4Aǟ#kqyf$8>~ }z1k6aÔqmkx"fÄ6ķ8/*'|s u]b&x4&i*hdN?FU++e@)*/0yde6jfg<48iam; npG] WB `@6"4v|uNnC DѸ|E40c؋4VKYAתĖ3i{@yXIcYEr-ήXzyRBGъAq<' vS+g!UaAPsY ؇"^m!Ind*ڤ5-DŽ?6ѽ!.⵿zD|G )gh$ Wk3hW/p(%ZƔ`>9'I~it1Qq[BR:R0T{z,;J\M?(*f1^Qv+}hGWqVpG!|=S@7)e~gW' Zn%+bjARG׫a ԷqSlҰ@y\1N 9%V8if *vNZv MJz--˸Uߛ^A)}mqwse!a\eI?ŇN2=n& ҹ+eְ%3*M{VD<_|5_8^7guߚT4;xh b/lFG4:Z r෍y8Ll tM +iu˥0;NA*TTC4 #Y~ʅf:ZN*nv瞈y ;j&;469;!#XCHgYZ3ea7f8f87be0c1b01ed10fca9ee73d1db6559d8bb3638f229a7c654f6777ad6f1e506f774cc49604 e322af0ff8a9ab9aab03f829c19c8026c50ff451 a9720b5dd8cae356d374a17d31482b8fe921c969   ZF-UNITY