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 k <4 ] Trie:threads=4elapsed=23.622cpu=27.388gc=0.908factor=1.167zXZִF! ]ŗXf[&}ynZyI k|KEw^]am܅j?Y(~޽@"dp5-&yZɫIUѴ,W{~r-n" \ȩHy)*_#fꤣ9f eC/oj t=*dƯ1[ua `;M͉ԯsYgڧSaHXmZ .bhds`r"Rm^I\TnV@ĕG@T AF)R_:dEj1~w!?Xohbg,pv?o0SIV+k~އ[ x효O#R[)2u0,Dua!DL=@BXY?{UrɋfT&3> C#, Wst'%SyٟJ,.A\m6]Tgܖ?Rg= vc\a?eńJ)IFZ1I8`-$w;V}R3kM}ٔ3ۙKZNxgYid"栜|O?j(8?hksQ-}(}VgxX1O/s"M!Xv+!Suf|/P 4>ދicC^WEXR\zS Bߑ8B-rҫj!+yGE!ix?Cb!JMgsMNYq|fN=v+ U3ѺN3f@;܂$oɋe >Qu直0\oXڑF{u7joVl Kq@Y;z0{<0p,;&}#r:/(%䖬 K$*)H*?*TQk+HDיuvm auBsr]:qgS*`KHQ"= ϸw Pa/0LY+oxvH\ 䒻K4MweڍnC%ϫN,# 8d\ w9+#/'Vk"Ճ:کj/wqIb/—zhfXEahc Y(NV]lTiF.)FBRqDedVq 0Jsc@|4ͳ>qv{:Ro0ٻ'@1ۤ<HX3M#Vn:>rNK8 (!mˤ.D( Ǧ->*սy(ȶN{!dog+G>" Tu) MXkwZEGo& KYV:9$<#5amMWq?ӑ8tA3OK7=vu< X̯)V$nyh9O-^اǒ k'3n:y';85(.GByKsNdH<{TO뾌[@a犵)~ඉBՓ>7UB/+{F_x.ǫ x/NE%SLhn8SE#4N!wL`b-d-8 azo+a Hx #cHN~b?tR[-$ ts0\/k"%%V+Cg>|ޛwaʞrOEzX{> !XFI3ÎʥK-ݶA0|\GR* 5EmiL`E(7gYZ76459be77027c7e5c5f7d764768836621861c9521795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b 7fc961cc80e3fa14142bcf04a0c8827ebbc701be  Trie