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   p) tT ]/ HOL-Statespace:threads=2elapsed=16.584cpu=19.140gc=0.776factor=1.157zXZִF! ]ŗXf1-q恈8\:[Td6(Jx3[YZEeȼE<6]B Ȧ|{ !VJV[rxpc]|•~K2H';AG R@3*{<(DKg2W7{=B[G@5yJԄGU) Ƴj>U_׬]|ͯ~x0zd>M#ES65rN] E gYZ7zXZִF! ]ŗXiɟ1.F+hzl-M'-Mzɠ lfm.qeAR*н%:u$Xk&&+[կC/u;/%#mN.+"j^G< >O_ {;FygYZ7zXZִF! ]]ŗXi%;MJ;,˓he&2 ֬Тv*] c;)=@@;@6#DDTԙZږgPlv'Di9'&,2(xr=>/|Zw-D~Osh@:}f }+k \1DHlAfI[wk2,\<#dEY@w6`JkI!p%Q?u_aZv8nXn44]CEn} ?=%!ԩ]rNo 0vx鏔~DZ-k285"ZGQp]]cbhE[ws{n݆g,g߁MW&2δBn??tԻ35nfF#]ũI*H?iew$m5u?K{Hg@4LSsPi'cbEU%&6)n2(aIoR1O/$RzqWD}1{B1BWY;-/-{D(wꍰAB퀿@K6^岌 hZ[HLrww^J+u8>خ.Ҩ/#J Oá3񵸣MOAKi]nSUJ9eU9H`>HxS),KD!eԍIӐX2>s(Tyq!Pƀ =uRM?GJO| 3?1ᢔ;_-C9ʓK$jlߢyȋS#5_ Q׋3< x.L}vFsr@iD`qiq4 CCCsԄˈ猚ߒ%_~N,-oSV5m[9趠_y+sgM5Y.Zk*3C)b,*I_nf/}gkM1C KwWܔ*VӄŇe;*?zyt2ׂf?Gr7RbR& ɗ=YZC+JLD^}/ݟ ,gYZ88e73a9c1117dd377bfec27f31456fcbfe41203ed2fed5b8463a719e2f3fe546c701ac5c0e920ab5 cc137faa7d41fea458e730d08d19187f36b2fac8 ) HOL-Statespace