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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  P/l ]/ Dict_Construction:threads=4elapsed=52.919cpu=100.548gc=7.380factor=1.907zXZִF! V]ŗXf[&,Xr–wy\TtVqCQ-.ˏ,cx^- Gf :tSJƇUU(W$>k 6CZlCWT5 ? 8njtt-:[`ݸ;y.~f[(6u,`(M| ,VS2xb+j4S, ӔEe27NJ'J^ynX#i|,H6j^Ih8dn~Jc2@KD`;ȖII2$G0Bcg@/b*xoMZ 1@Wp'/]r*(.a|5Iĸ6NGg8Ol2ͮЙcc :!ը~)j4x',ԸkO(]N}Jqpc8вSޗ(qZ!lƛp?g-M@ÅMjQ]HKv/?]4Y&/`ϻHZ2QȜ?5$Mq?[o8_jSWڃ;nz|(tsEeOvPk# eb7u;cʼn8އF0% s)0l6G fb&ZMM[ms*M]fU^- 3͚Aw%o1\9VT@!DIȰ%>cXW/|qoSɂ:t'fcu>7@hǑޱgYZ O/]/ Dict_ConstructionDict_Construction.Test_Dict_ConstructionGenerated_Code.MLִF! 4[F]ŗXi%B|hM o.:^Cꎅ~)^;u"/h;m_#DSʅbIh^ Q5iP7%!W N5@ .HP&Jb" A'}=*fhԯH<![\3hsk+t7@Y ;:.O {3?^kMv5! =`mޯ] {\ɼtv w>anG#kV.,7`U#1F?^Q} >#i.J]KP=XY ?Q=Q`zr`g ͤJ ۙ'uJ]jrm0Yʋ4۰6UK܃ڪ_*PShaUUE<.NӏcZ)D`4-S@9#ǁDCI$x-)A [fImi`0Q}"{1v/=lw)?y JVq#KťG A 6lw[8 WW1 K spH|*C< $BfMVg$ʠh.,4fl 4aP_QRэT])tR8ff:i^͚@ٳ8*A`m1jRdʺ*M >AK  f7r{b?fxkEk?/P-a[OK,-4M0@d-$B〣 -`9qLeuΡA`Ɍ6W"A&CNn.;%_"1%ĵJ7W)8,Ļd "KY qHɋI6㨩; : DQ$H)b5nW\WMz)(TQyK C쭠yqp ۓN?ksrD<]m W t&T9dI^0잽gׄ{P&5t~.p;gy0\(z QݤE')FSFt5]Bwuvd30V}=֔A4 pV dP0 29d1qt iOtrVK]bóФc47BZ9y6?C=r@])WծfOh0/Ψ]u׉'ZI J]!u@ Ju}Ս9@z^'G0rkiXshPoEC1K,Ut ?km)l;٨H՘-^YIk4"[LKn\m A-0L jέXZ4%lmCmM|l 4!\ҭ[ TN)xԨZ|w y>| Tm8D9VyX!0t\PK$P;! Z3MBt&]9YĴ(M{JrñJmhAi ]h,$`fU_J&<-JK3X߭\, H.Q+™rnۃC#,QJaz{M鵬$`0ۆ+ Zy悥y29.-!7Hoe!\ pbQ)'/j`r=]R'ՙHG?WWo}YɵWNb>rܜdtjī0'>(WP7}Sw4\u_UQ2+ܮmu6/Q !Ɨ[<7 1z-/d7+YeaܻbqB09lXƗBy,Dt3(r2b~Jjgi6S}[]XHd2O ݿ7A= 6yO=g𘸥 NȦᓹBz\@fm*oRTdKє{3YD22벝`S# &hjZV%`[cgU:i/4\ '-DWقS[>π_YǕuE֖df_:i]>} .hG|HŚ\@؁ݐ IDSJHk{8+mts8E*HuG҆aJ9<҈Tx*o A5h'ֽǵQug>DHh@(`ms͍W&eGbH\a2LC\jWݎV.gǝ{1 R@w Xaqzgwl0B~Wp$Μ7߇mTO~ 7#6g(R\ \V^b8 c39c #\,;tl\1^)AW`w3Y+'yA՘aM kz>lo U5LSY)RY;:=qZdN8k4>{Σ'k\u[ٴ._LL0"q?ܖnz  k=͒kS{ՆON3 E},zCD+^*y'x1{ARv1MNjn O: H1-!3;(]Xܷ}K+׿h_eJ{{ ׸C4x]l۞`$n>ǔoʃ4(vl+wSq "K(ݠ~Dux'};; M'/tFƘ_M%~4 63EHLŭF3`K|~b-3_g`NL8ƐL7a [Ǔ%-.0Xu$-Q#Vrh/7*7PW(f