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  !/4D4 ]/ HOL-Proofs-Lambda:threads=6elapsed=105.616cpu=130.616gc=5.468factor=1.247zXZִF! ]ŗXf1-q恈ܗ4ޤ9ks}JspSm[ wy]{Ia?c@%m] r|AvSz=lO*k{_[yW3דҎߋߚ⦎6}΂r@WZs!?+[ƭV K;Ԍ>=w&:%[?sahDI3oP+pX|FP4[r֭UZיvsW ]3=.Tq#Ͼw3%UֵPg#$ӛIR`VE!)kud5mY]tI-̟(?i"So+Cfh-@ʎbG+P;:'z9祲 V:F]EϳM*O-Q_ws[Ɋ brJl)gifՎAL \we1+<ƥ^y܈ чTv%x72eNjm,٩ r)tU}fΗ?Ȃ^*0Zh&-lD\A9HdmjJю,5FY}?W6mp '-gYZ7zXZִF! S]ŗXi%9(O&u}n&pUū\*^7fWe:!h)IeX]֑=[p=y/>l}800L'?vuz͙B\gk[CU o'D%'t=njZftEĉ퀥y0yx} mI]FۀWst?pTR*K2b|gB#K^6~.iࠌRgQw胏/rmF3gf@9v;x:{ BYBFKK[*I$lCy~9n洛5:+i֝70hM[_`)*Ç!y2eF7'i2Z sl!)FP_? ~ AU(PUdS G>CԈd\$$un9WҴ%t\sL / HOL-Proofs-Lambda,eRH 'B>uRI ojAS\^"cQ 8#Ksc8~ B0MڣA /\IT:U-aH$WAPug@ a2&ct-޻ AZ6/im-['>)u)ȽritUЪ#؛Q>zȧ[!?];D}" #O{9Eo M9 `e8`%ق,Νz4rqbbi親uaVYzº5r%JX:KvpČKCfp sߢ2KTCb [꺛j+Z nO !/ l#:6 dP)OE n֥ MMv4^Ϝ~z8T¼eNQ/k:<5'1h8zE-}/ܸ"^L3wREĹza2=90Ә8qMknq (0ΑЩt%ۢ#&CaG`u&C%b/e8N}O"d<ƇA!2 ߻OvUuAp#8I0B#vbQvq=9l)]PLL//^2b ElC=+I1 )qEV1t_HmQ,/P8(lRw{f'h(J|-[/D 1|~̶V,5ZPMܠ8r ~;k2~xXGG;!N{'NkehrUD_͇{Ӕ];pJk]E&gq8`$&̄hQDx" 鰹9>T¨V0^2iTĒCԖ<Bg0\WKn=pSza6r~Ymji|{՜K2+)?Őb_rMN<}|9+Ŕ-iXWbZEiۀB_L kؐƉϕ b츊6=hŧcLDZ'!M93m(-;4:"ʢՅ($PZH){s&iAaO[{%ffC'Ek^%@5,G!S{hћ1xh⽙n3OBؽOmJ~ ێxwXJ_~܏+itK:Ǝ%ߗ6DYP37lup#%yas@ZZ (X&4Qk*i= vk)۬P5 lIk [WwA:eHc昵6#5Q'hb;QLހ< Np|DKgTyTK<f$=1˰ޯx)GsZigpgt'ohC ;4"ޕJT#& ָ9ߣ`+A0m)DaQ &iN_颭nʅ Va6dƇ#;Z|/I4O%0Re\;:"6-$N22 lH9NǐcU,_\UݒC|;{D>zU6!s-)X:(4>ï#} Mn\,PtYg }K=Z~m(! gπ{XYԿ?g%VD1Z`A=LDvt ϫA5go B! D9 Ȋ [K,o;mh9;ƚՖz \;65:/k4!zs4]A4k%iZ*y1n 7l{.=dջufpf:WKxczFbb;+f#Wmea!rD6H6Eؼ4N(:,$88Mp'iaKDE}!SUxlS|\GC2vA$0>1]V1'i&$/$7\#ڨg$. e.[>5?Z~ArԢG>U6a҇pp % >OCx nB@BTn>yeru2TnNp]]6>וVZ@*tayBr|*]RUD#'DȌKAl$8`pJ4/Nn}( xI{6zӵ"H<8zzCTN9\48[\J+@sxpJ3[PݲmH>ѣz>b2\dusTڟؒ.N˦mIF3ݬ: i`צ$-8ۘ!΢6.JA62Ġ{Ԕ?/aFzoQ>GTdhݎLx˗"bбgYZa5993276eb70b81dc84f4208c19fb49d6177fe1a1b1b23cc4f026b8efee00153745c0e90f4bba172 fc1751ec831dd8fa0ff9b83a957d427dabb41258