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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info =4Dl ]/ Universal_Turing_Machine:threads=4elapsed=224.449cpu=704.344gc=14.632factor=3.147zXZ ִF ! G] ŗXf1-q恈͐7ӺVGeBD?a ;#!y[7⬯ Mku ,r%+\'i/ô5^m!Q Ƞ X6=Qēfm"ǭm#GWF=.Iv`K7[rEQV< 80QM=+gFY[A7kXD7t};ߟif"V2³V%kkqA|pZμm!'C :J"hw8Gw^^ҪjBW -QqH>,ާhqQ.8]-E|L&|zsUYy=ǎ; |m$KĿa!G@eJ=fyݤ,~5vP5xP1Lkuk`]j@E@,Q4W !t=6ܑ^Q~M7\ϺRDPl[BvB~fͬDq<[6+'w{ DV ,}i?l,QX_if ]1\0^]qG ҌAH~EMA.ħ-.Dg4s&K:U[A7` qW5_DHel MN@4!JX <<1$ I?cY 4\r=^.ϊ],/-jL_Q+4Qt|- y<)]02R=0Y s笠|2x65Lg(%@C[ KX uIT +``zˉnmd!~1P/Ǧ^v. ;ߥ>LKr>)Y!Hx^P?mKasK5izcׅ?:&e/=> z ^k^d^쿈YGDdϐ94fp GB-wg ?tRvZy
k*0?y6Zc{hNg;R!4$%i$M8r5KY"muMFVj8(UTEùt=ڴ4.?_x pRR?!ߜ(+b蜞d0_j 6"
F(=͎A2. Im(9|L5Vc4n5w($<>U[7:BikyH<'_Co6ծeGy|9|ݮDW$ \3s;r*}-^kߌ[
e5Kh < 'x5 |V'JTYe;6ʛkedg9 F5qx "4 vT.9"FjO"O~`Ɩ#)>@D\eg#%y-r601kd-Qm-]H>BWM?$<