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 ' | L ]]ConcurrentIMP:threads=8elapsed=15.560cpu=40.419gc=2.395factor=2.607zXZִF! 5]ŗXf1-/6vRZy-`}$=O]a0_(0hzbn0>LaQRIԒ5"@X-zv/)+VkHBТiA?.ꙍ_0)FP k02уTL,E2 Iع>6Il0h˜<\LoI u=h]-Kc_#!{r\"B4r*]"Az[Q7NĴ9cZzܠ5U~>C"'e p"1;rfz1(>ZyITB,a$A0;u[`>P[AMm5jYSfREF,G }gdi,~ .ge}0C S? cy)bwn,7"ԕ22>~@@يt{吠u=qJҲ&}C[JS)˃K2Ӌzl3vc3]2aK, #lrpgYZ7zXZִF! ]ŗXiɟv QnxRɢۏD?wGH*['2f7=F ;cQ{Lͬ=I}V" Y5 h5S!E ,Vk&T2zR 1`xmCIS|p{K<[eWC) IgYZ7zXZִF! m ]ŗXi%Eb!s NYm"kS,G%217&~Fp]Hh=zQ"+?N.C`2$ٶ/J֦#eTCbhH6HC(ee2 Z^4 \Bh/O'<.B2ۓP>P(Е2%F5甭0jXU nTWX6 ZS<;JQ@pA>7W}muK+ E|)”s@4⻶VBH2*}D .C롕玛e1]dI$zN [.K2aѬYX^He4GmFKVf]$MJ)z%Nm/25J>pV*ej0U՘ׂoPM,Rc4 u2}Ñk9vOg&Lϥƈ W0E ^5>OqF񴭩I綍ݍ)* ¢daVZCfDQ;6V |`uDh#r|aBf;Cӑk /NIޑ>?")=A6`x_b&H;)s BF).81:OTq/03_cp`iYqLy#{. ίRE;ȬB?In:4xHWW"&Gҥמ>* #8q3)U9 h4z>U Mr`ᷴ*Al幷;:#'2~,a*z\nL uz uk&Opje V{y{g/-@6FfJX4 SWSaNp,Nw@!e2IxP>}ka.5F'fqv#vAʚhvP~VμXwYN@fɐqKcB8^v:*-ÕY$F:ZIdӥxQ^/luE)P.|#5eAݴ8#haP UG<^V @XXv)6ֻ~P0 :chAރZl NpJc#}}K{ڒ4Ӳ10Kj l9mqq GAVt|cx@,SyΟ-:ˀOa N1Mc˴q=|jlʟM`4aqC9/x]Ա쾬GnxSOtIb&0X냁8Ob< {x ubhmK͐yҁ9ݳTSgQ9rXj6mRn藢};D׭RjjVozS4p;cZei/6{ũ,,J8$\m`p&;9 ǁ*Ka1kt: R4RLkg*Ц%!~EQdx\Gr;R*c夤i@*>^7J`` Fqⱽҟ[d㖍@yePl!弘ysM*I+c65C]4gGU5x 38eTF$veJF|NQ h<+q\$LEDri rOێ1k`,5|