SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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  d\ ] ZF-UNITY:threads=6elapsed=5.764cpu=30.432gc=1.176factor=5.287zXZִF! ]ŗXf1-WHIk0p䋎dh֨/+a"Oj1_E?YgmS%b KFuS4EGEx#qrzt1gKK!~Hx}4YLk?i& S6'W$nr[mHS`uL{,_Pmi۴2ƄZ\)i*5WL`/׍Xhemxpok<\ѝ,>\rx-9$U°{wv 4B#\A%2ejc݂,1ddbҬ!<'&}~L}6WwBl)!mw@@i kQ 914HY NI =.,2X9ĹX<_yŧkl`o=KyT@s.=jWTyrQ}ϕgG1QͪpӽK."r|*Uų|iY/ RS{q W+>otƼEa+޽W` 0;5ϴ(󒝀:GVSֆf8Fv7]C3Wuf #-&gYZ7zXZִF! hj]ŗXiɟ9 i:4V;}A<<ګMP7"a\zu6~̢a6~Pt뙝,͎͂GƐ m]P71֫R?աا<"H`fB%=mb,8Nד-T( @ IߍE ݸBh( cמweÚ -pi[9!QxЎ$(zr/|t\Jnmy1{Amfo,Ά\ynu?l T)eX5B^'C"J"hS_0HZǿ)ļlF'A&? ?ZoSܫ gYZ7zXZִF! jg]ŗXi%> !gnuYu=OAy]>cߑMe#N\=а⬧}A1{S!~>`0Vփbu۰ǜ'\gЙܕawf {ۜA6Br!͚}%Q աV:TKs+ ͸0!FZ$-1[.Ni`+wEvF$23O'c ɱX-+}~V\8xя%UwtzIm8Źmq,Li[A~}۰!$7 /dlQ⻂'I~4]A mqւ,Hܸ`H*5">`ƱgYZ6820f959801b03d2b7f0cf5cbd40445026ad0800963f5dbb395fbca1ebca428683961ef28be59393 ff647e32411abaf69339c0e5f1165aaee661ad30 6aaa751d6e33e7b316e3bce21c68e8ecb0062ceb   ZF-UNITY