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 R+ $ ] HOL-Analysis-ex:threads=8elapsed=13.219cpu=51.287gc=0.440factor=3.887zXZִF! ]ŗXf1-q恈a.W E 2kK+Vg,_w>E e~@]g}6adE@sEGobND^tj4d&#FQ-QFY\OYXi%^Z0_oe&"ʬƧW|, |)z A+4"!.< <KݐMU@LY0'Kx@ |9H_Eԏ}pԫЂe<1G+#H$qX8*w>jDsIfD}!'Aw$gh4vGYb0~2rV Mэ烜aA܍EK$LtTK-UX%Ŷ`CR?gYZ7zXZִF! R::name=HOL-Analysis-ex.Approximationselapsed=0.910cpu=5.465gc=0.094!qqkS T}YZ7zXZִF! B%]ŗXi%>t{SQ*[p&cS!=eZՓʫNr"ipdAj:kE_RgنA,_0Q s/މNH 7*2d!ac7h&}ߜ`Ս>I 0U.$%_{2?) "l?{h\ch @͊*;Zuob n+P"/peE8{i/AaGѪuX<6/;wqv;?COGQ-e)umໜl+VF&Z b&]$6:]DH7kSJĘ,'|1yln0S愥Yy0g90]̂ƦTIozZ̀ԙřA7"WXle;~ [紦hG{V_5̑^T"ޟ[]JA~vI];oXdU нK/9wTL?kAdكz >&?fmz-]?mN\4RIZAbJS6tiͶ`BXa(dR,eĽB|W=J/|]uȮ0I޹DZwUްns1P>?|[lC{%sB~8/Xr2>G޻ tvV3JohMk.+Q=<:/1_B!FghX0*xYR4~­UQ_,Lɗ "rwطzX+\de/L1rVGi"!e{ʌ?}\ro"Vq~x|@95ι~(!*ճ/r%bT '+#,Dt7e]s: mLJyy! Vj&g 0Leq~5ȵ\4I Hi*ۊc%g`kNl~Bӊg6/J#}lӽx( c `X}qِ#!AR*aj(=IQIXH;[#J !SnBq~qHtVr`LEe,}"9C $K} ZgYZ78754e82666fee618e69cc600eb7de25feffb15cc58d21ba3dc8b698b4c6d36f436849048b45c256 c642f89151926be6cc7824e0701f1f7d684cfe9b 5f5d9af270ebe02ef506a6072735bafbbf70c6b7 + HOL-Analysis-ex