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 |1 ,<| ]/ Finite_Automata_HF:threads=4elapsed=13.573cpu=40.604gc=1.392factor=2.997zXZִF! \]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVJ44U2v)Z{9ؓ@x1'Wިis\B-˿mqO^IYPfů*o?v(O#\r#㱩 T,߂hW"ϑ#e۠cxUik:Z$y±.E/܂%bzLDD:8%`:@"shEG-sCz|H_: ^`V\byeBh{RgKD%ڍW4^?ٕq +SQ̈́f41ɑݗLjK7)9W~uqQL tݯd>KSn~TyZLi [sI5+55N1Ov^8&<֫аE5 (G=0Oe#WVU7XukH1~.('Uhq!fM ȱgYZ7zXZִF! \&]ŗXi%Eb⬗xx y R,rԡ$> 6^2ͷ,;rfm57NMm?<;}r5޾E ŇXq$2['ͣKL9B*~:絋'VMӑL`|is/|wu 2 [ϫ'=ܰW'ph܃4ҴV MxpTT>cL;'b6#j4ڇ' 0r_փgQpw42 !:vɒJt&%xp :DwV{o, Y'?jdzC03@/6iJ΂i\/ Cp+1zi^LBOwXړ0Y8C6 KfÈjKت}pN5|%Z{Mg^2z& /}%̵ᝤƱnñOϞ@>O6J e#<әzZܧBN?[BxHaTR\H9"D.`~"6PȫXAd$M51bDпӝt@Vu~xg^dɤZW,@ܘ6xz)␃emQ7@`c,/jlq䇽ݾɯ2]7󀨻 <^̳]V+\ĔB- |@y웞nЉSω~&m?-wGK($u'FTVchnҜDQ%E˨?*:d{R>UH+mMlw">UB[ (Q(]T'}pǶR(a;}_ ?h@B=;o I0t֎|qh烁>$vlqDdfMZh=W[-ZX'w6N C-&[x j7 g'NԚ_2 /PB54_LZSѐ)N<TkA&ѥXSi$LK렖e?hRH˼=dFX1