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 DL ] ZF-UNITY:threads=6elapsed=5.991cpu=31.304gc=1.084factor=5.237zXZִF! :]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb8;[hH%ŊE\)zVɲ\YBBM!O} UX{9R!q~T7pF.[6((<#"DR֖bޠvcCE)f)Aς^~2/ ?M:$ZT䣚q[`gpCa׾0X&!ssoUyݙzz@\=J Q%D$-:Zgdf|]ɯcY\^8 Kv Cr:,U:%w/pSBd"r$̓A:FDu(F$[Bh,.3ߔ)s1BNF!sĘ!Z9:RSA#!&, =# UG ؅ ϋ!iy~cRpib?[PU@IYy5,ɠ6m~+/+f^21@ s֜{-B2$lTVPw:hM]|ȓjL;5C ''Ł"@&b[q،+LʀѥD@UX~'4s`fG+wmGiϏ#XHEM@y>LmQk >ҽ,y_ExNuMQ:Д7 {|$9(-7nq;HA&V< i֨|h;A|[/@tXU'{MlP7 #zZUF'-:P6K]v^ YoX81CԘC*/kcʟs`ۜ`eݹ0hLt{]ixC'7jf74p)/@ !K,xEGni>"'Jd6Q\U5Y~/z$Tsc2C<#b0ts56 cLV1@cU<ۆA(h}jSռǼ bc cգь]A+;ŌjۢJB{C+kJgYZ664932a67ab8eb1e26d39d84e389c43cded558b4bd250b6fe2745d27d692ec1e5be14c03860b016c 699c2750aa6909c79167d2f882f78ab2ba56e891 b0b2c04b1837b45a46e8948544c7685b42509c11   ZF-UNITY