SQLite format 3@ .  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 QQ,) t< ]/ BNF_Operations:threads=4elapsed=12.091cpu=44.032gc=7.856factor=3.647zXZִF! 3E]ŗXf1-q恈͐7ӺV 1̗e&$W$!>έhz+>뤡,[>u:^Hq5/CK5ӝQIgx:em T=hк!V!/tk1m14h3-zU{&Y=o EUgϘ)rW愝V|t,D2%zi];mIC9@@^ԣ[HOX]0λBoM[{-8z<=@k/uY{{![h=E ΑMT[, ]ErK^ ca WPnv_6I,]~vmy;v)XBwz0%.nBBi(oDZ휡Ihf`42QkA=G#@[%'*R"Tky -b5c,Ed(2-6?>8,Ht߶v|Y G;O;C ƽ7W\n4F3l,2?3GMw6"bjN1U=sܻlHd %AgYZ7zXZִF! ]ŗXiɟ1˦r90Fn0''ztZguT~QaR"gcXXp9{|wikCn!lOt-YP&| #b39ӿ`Q)4l@Ny6&Ìn<% NQ=n,Hd q)^⭒AXhr;w0S0sBX$l *gYZ7zXZִF! eZ]ŗXi%Bh޹2cRqcex=T0E.M#.ݸ sVo3583_GE w,D]62SOS™sf00CLl~c7h E +$ٺ83 ơjfo9Yӟ"5&,]Pe&W:=M$ԼhNj(A$c'5 U+LQDK(TIE-y %N+00NRqlR!cox;$>۞/W<븿κ5 @["L}/ZqLHFx!Zrlm(1lh]k2aHo8xߺ&fU[9wO K \${TlM)ljZċ0;p K2p1c@*W?0AHMg-6>R0:Õ)wh hᶻ4v}Ny+Õl %[Wͭ2j 8.ؽ` i cUr(Lvت'Pغ$nAb `(@]KtZ#:>1\ۨpHvh/kՅɌ(Fr7i"M$ܸY2j|fbc)ClJI4T!eT'+5s[&g#A*L Ge2L} XZ33|7[/c_ !:u(ڒ"Η VݸVPzj]"N bf~[qe.Y/h yYa, EO=f0ڇ*Kgc':v?u705:4(h2̦RVvF\r suˀΙx[b5|gfˡ|X ԱXzVO7Է,xQm)8!&#݅Ѳ^JnMWwk4)ٟCo /3 ;Ns֦e7B7.OQe:b#.e䑽봧;O315iX 58e=n*1^qy(t+FTB'Jߺ<SxV~%rȟd2Fpa'5\<ƒe|=!)(I|K19\'W*PL~Ag2KI TKQyQ|Ԏ)IϨ5*HJ* #$3]n)xø a7;d <%aK*׿OTm*0Z} c])x\+fN:n,58pq]ExG$ J_b&k$1+W&om<}'OW ,WgYZbc51c621034613429c5339eea565bb42cb1866c13853cc710de37a8d8ae8e2ce10739760530fc782 24be91445dfd95ccebd8630650aef4cacbc92e8b ) BNF_Operations