SQLite format 3@ . BBh77otableisabelle_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 )/D<< ]/ HOL-Proofs-Lambda:threads=6elapsed=112.322cpu=141.448gc=5.612factor=1.267zXZִF! <]ŗXf1-q恈ܗ4ޤ9ks}JspSm[aYa+gi>6I}?Qz:mw:Yv'ݵ'K5Q6t͇@Ipf6zSKBsBڤAV }vZG_\݇1,yj)k~K.=zεZwp,:ǧFG :xlJ)wqS/J* @sÜ#q̆^.TWWZHn3xZXdчCq4^Np+F}I|^(R6!54|W]Y>vs]v7|eO(xÿ&۵õGRfD(pzM2JIo(A|42x U->&HZV9 tӐ3ަgYZ7zXZִF! iV]ŗXiɟ11bu)]>_ws[Ɋ brн9Y$Q@! U䛵֫iPg5%ȀwB DiܮVg jC#_apB݈_7I hKϼsӊLT&n~3fX  } ]-*Y8W֜$Um̿ RDb/_-+q7N?38?꣉*xt芼[zj2MRb(ImƎ7a nUxqb+bZm ?CPf'fkӁ_RKVgYZ7zXZִF! W]ŗXi%94ǥ5dvV0ءx3aWpy&%/ &ZbrcoD2,n ܗsPR:$t'F)QĴ[s$7ѻwjN@#qU΅A><2q / HOL-Proofs-LambdaZF@%4[mTlsQ7ɜ\{e )l֨ȿdW+4~|\i8F[YX?)Bɿ_ $913d },7"(O%y&O ]CEv4(VmǮ[i@N$b{=`ߢ^Ao'ȓK 6:zVgI6ewcynTvZ?]Ykfح a.3~!e_.Sg8 C7dWZ XZtK$ T5im'գ:GlӸ K**[;:>p'><\g6EȽ9W*3ђu7(4χ?I{7|˒ղ^O[yPin6˜k~Z`~[E +wKSXҤlRaT~F Ky{͙sP9R{AD$!njhR nFNs&4LvDK<tjt<|d [rDI}o%l n❬(0~:vm_'=ݽ_Gp_nlsHl XnL"*61% UJ Ď2Xshaq@O {>xdnVs&c_w_f$F=Mэ} u35>dc#H5N㑜-`r/)f$ݓ D-KEܗ}me3ՙ`QqNQk98|6j6R]r%‹akήٹ|]xԦʾ3D^n=K]NIǐ&Zu8rY-<4ϣgUpC&s^5^ZxyAd6Y0=s Wc2Xۯ?uhʆORuUZS^u߭tsE߬/I7> 4bZ'c KqBZC3GmmaWM!:M ~. .SZg[+zՑXRPdL<P6Vݡ? <q9p>\/JE6ߗwO{ aA(qf Jm^^S|2F{38/41>`Nmx߈NG4SϾ7 VP΅Ǻ !%#Eurh+eZk?Nd]C/Z"{ihTZ׉,x[R-^bGy! . zpo*^^+ĝ25vH&tIw5?\_-o2Rs͆`O8Ž{7/rȡYl^ p,3X[=~ CC+˗#iv|?ULxKX<ˇ64a)M%ݦ5J }>1ȑɫvGȢljQ[d;a 8Id/ewX@4⅝4ɓ"b5]iySqoVDUθcUC3_dz~泫]O$umy F-eRdx6`WBNڭŕ (78u#F3@ƼJC[Tڃ2qo^i`MN.ϿtםM~L!iSH_ ?Hevp dA0lC]+MYm}@dw5M4.2UV}elY?*<$nkKǟ& >Tpph=-'=r9ƶ̝27L{5֪HcBޠ)ssZ*@sHyrhG^dVmԄdL9/礿Dž`#2qBơm}| " @2Ie9sVbU+Ae '6pGcP\jVzP: X;#%M3Ġ&n!8)z&y:0*ϝo>-9)|쨠 WNXzX09FXm|L4^\'s'i lͼ:. t`ٟ p;6peo YhҜg';x~kySaD ja)>@Ji}lͱPa1&CbQ +}!tndCe+\{͑I |ZrY+_!V jJ U^ϫ滩/8 2H|´3VER_3,obo=hqd:^6@A*1̾Eu #?c@%bE$ZCd {csQ?R@MXɎon$ejͦbc'}TζȟK nA! Gi9.rfQ]{1?`c$!"4^(a{`@ƈv`PQBWnZt; >/{7A}ӊTX]y+*ƚd. 4jڠ0p;$oLݬG=J;$CDPm1SYbJWˣpHVPK"\ ݂wE h`3[o󣉓)١ YFS(lsRO^Em/Z#qA>فnOI?M!ag FևsQmn0T42m% ՝Ze! J3 | Zn}DAh2}S1gTۊPc@ݷ9G1es=;ê[6l5=OXRS*ŜQ߁ȸ]'ppJ5{)M;;\ v~Uٮᭅ:v#d^H%}H٦#7Ô [~p7O(2sIN#ËN<ƻ - 16q yf7R'2fl8sUr mcH$Q^@dI Uxw!`_((9V.`$j3٘Y"Wv~-n>\9It94lۺVto9O`zF(LDEӟ%sM