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 7;$L ] HOL-Quickcheck_Examples:threads=6elapsed=71.341cpu=146.352gc=5.392factor=2.057zXZִF! _K]ŗXf1-q恈?X Vd!x{f(Ǟl<.vɉ:s 6]soP!¹s#'Ҏ!O{Ne48ʮ]u cK֑ ؞ 'f)K#X 6+ľ\,J9AGchvwơ/ϸ{@)<8Q3J qTumԉ0L1͊jlݹ{>!G^:r+M~ %"hF֑6ٌlr?r=Zq.W ґodϻ08XoQvF35=nwĈSiQ+O# VA@6HO&]!p((n\ۆ㴅 ;!y'Ny\̒a*V7GmH HT)3ft)Mtq>Hg-^j£$)SHKUS%O8G^#vʿ6)  [7A8жr8&\5]ŗXi%@Zq3aǜ̧DPG^QןuA}sȚj+]˴T3芎: Y5iibJeg|+|w(Mjr)VH 1̵%ԍV5GR?S4m?*cBv1d74/XzaˬK*9PE),ȴk Wa݌;>+ڼHx;%^1=F$Cd~L|. (yogh KNÒ7pFG̦FG:cts:Q%j#tg1ZwJAe%~?уo '{a5̾%TϲpeljtYa,أHbh[n=h(wiP&r ZmR_P6 rZqsxl6a{S%j nLʚ<2=48%6F9]y,ɮ56ʾɺ!BUy8/^Yo!Fb4F\&Ol.oU[;rmlTp`ӷb'J% Y7CcyCC[a~m GT<17#l]~{Z"U[j=GF7at="VjhړZM ƒ*s% 1Ͽ^was<5ճQq¦0Fôd|n& {s~eF;?g2#SI]L 5CuѢD*XF4WLs5GTb~ unVH }$kR&RRP s!5!Vo "]BY}Cм[ ?ԁ2u耿noOo ސ+г ܦv0{"KKgbmzPHR^Z$<_Y*ܱZA뤶K}\||e!2<s\_ O5̯@r J8n=_~tj̵;en?=\?0 7 ]2N\JPtAZ A Ub( őC][C*K(c "@ɨ"s;ZʈA^tA UK|ClGǁzE`&na_-{z_#dax[XIݧBxثQ eYh";C廯ne.nΰ:= Pz[-4Wqhgs!^ w{fßbS-OaD{NЮz9DongA:lvz'ZF XsY [@<͖ ?dڂ-A1fxjR͸\?.Tg͹ 2^YqoYy%c%EVC.8yn_]@%վÉ Wo/뻯qEF@  f^R\MDaL]o]t[>fIa 1 ĠRTC\[N/DzɅUj 83}€a&'0FgT@:6|]u\?Sq0 wK:%ɝ_2ݨ=e(TWW=N_]4Q.{}2(po%6:D5Id_ѡoH:7GtQAI ro=e.@,y&=,Pw'!J_YxXi "$4(\[Va0m "+g _cdު̵rbO }vYwԇR nџ,;XF7-ŶفA$fc*Ja~Υ :Gkh:[BN|sdcMJjqO܅:[zR],trH,9 '2NtkAak0δ)كQ$ `I,8jك 3>*[a:WgUe^o.k1" ~YZհEER '#ͫo KB{ZQPzg(Jk~gT%g䈇_?s 0).&mU-8NʖŽE6Ș' &ϟ[)kC*Pf } EKhS\#Iۉg$BdtVpI[pgأxQpmKǩ~T`5pw4њfBJ_yaۈٙx.MPH߫XиxNޥh<_jxĔIM>h4ug]f.Sq$ ,sSʔf$W2-@';mo*#?ۯ%;EUe`I[}cY9 ҠI:tq0}V+h J܉Y9)0᰺ HI hV 9̨ Sw]MO!s+]E? BY\_GCi 1Yv(+#p^s%RLM͋`kuj 3XJgYZ93182f800686e9c05ffae82f0ff65abfa15475a082279e0e1adf83bb56256dc19b76e613b9ff505e 63876a40702696125354f9af72dc0450e7ebf321 55b5e5a6df082aa55ea3bfc9cc68b710a1940ed2