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 O' D4L ] Stream-Fusion:threads=2elapsed=9.615cpu=12.236gc=0.424factor=1.277zXZִF!  ]ŗXf1-/6vR[]`\Tu}M-*qtjX`"ny#90l)/3aʠ- c}Mڄ=WCň xj/4| #0 x.yqr^g|GmMv[ ɟ_Շ ʺ0 -r7:LG{:\'h ,)Q`/ml)gM,d̢SGamश /hl7_A*9+TR g)@0{zLߎN1ձgYZ7zXZִF! 1]ŗXiɟ>ӇuMwdӘ-y/եnϬ'(v ,vDNH!GCs2~4\;ڠ أ>{<$ҏJdK[ G(O*t7`\Bb[w"HgYZ7zXZִF! @]ŗXi%>gӂj<T?!{=Dys)d_[v~E >P`w?>uP@5JYA^p- df]R Or\ȶj!萾Ԋ_S;cᶁ-l(MҬr?c7 /:Mn da~ql5wǹNY" =b+_U+۪$%"Ż{QƢx0Sϖ^D.rBfx|u[am1)Jc^㾑؇(?Qh`X5%I0$ѨS}IR=̾fOZD6w$Xۘ3>z6R@M?dဈRPɌf dN)ݐZYGmaHGqi Kޚ)a/A')h ճ޹U(;kF#JB];^#f!{AU;{ohir298Ym72&z &mt^;CL`UacMWyZ}6y"Z1HZ4ga-qx(O.dk0ظs8q!3|ZڄVEE ~8. [Em\ٷf93O%3lNm(k2+ %~!& skA3M"/asxuUg(qQXŎ#hsSzPQ7.{.&DfPN3m\R6C%os(5exJݧˡ0O۝ X|ey9 !jO␎ذM݈2 wАep Lwt(K)V:^lX"r{_p*~?6 ie/1>6Nn!;FX kL\ cбgYZ1b628e4efcb2888ada382324e31dbc59799c8b64a70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8 8f9aaadc0b4028fdb119f251913a4fe75c9b47ac ' Stream-Fusion