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 % ,t ]w]Routing:threads=4elapsed=12.276cpu=34.300gc=0.852factor=2.797zXZִF! ]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&X 2M]M۠D~kgtԿv@]/bvY"3.͑=Nɓƚdx[^m_2^Xc1%7M|2Sr8PIM6ٶlvMO-Q\_@* ۮdZAWѻeٮ_ʒ'++aơ=4? Oݏc)m~;Y%[} uو GJ-ފt3rDM9Q["9uҭ*&L%n#3cPzv)lu:D%{ڱx H'MBśϡ#CH@ W*y {K;}x*BoɠP&~N+z{dI~1q:fhEtʀFgYZ7zXZִF! ]ŗXiɟ1˦rnzx <@0+gMLk(5Ĥ>x?ͬM6^%VNKꆐ&>z%aYLN OmmP&YNa&Ŧ(9B7¿5htR>kCbNGlQ j$X2IPYۭyoEln0{D\աΗ1gYZ7zXZִF! X]ŗXi%Gf MBNpϏC#?nA/Wo-]EA̟}FчX }ѽh3դ^DBMNu^/SRP;GelkCD?:Xs=ih=^fή*ɠ:RN H`ù$ <ВBhxXc+.|ws-Y={kuYoP *{69^:S2QڭEz7WS6?wfM7xh<|1 g)u/c Q- ~lYIّN~f6RR2<[kxP\XsK~:aHErߝpGC$7 bk9]cD؞왑 L]t]>~" n8n2o҆3eDDH>H`&QwSg7`6Kᠢ0[*sQ0ىػT5KbZ`"̮}ktnJ?7Hq2T3f U 0M{kz 1zv7L(q݋z vn",LKN:L1.ðCBLZ>lHUCf2ɗhG-asrlHƦ Bxb'K7j pqr4Ƅhؼ\i!{MR(V5o5)w_w (3n3Z'@P Mн@tyJ6LFE{+ .zh&]|$tN-% pEa4؏ Aˆ ͩoł6ՉI*a?oC:ABd%;3P>E\pr``ݑ}F\ F߸ R@ ! Aqo˔X`ݟ k+xeh-eQz( .rX !1|\