SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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   jO `$(Fa˙"l- h|XT-qB^#i a"F)IҾUAB(͊"!A$}=V*`:d]N.ViCY#629q\6YP667i+a I s^H#+0|!B0B"/"c(хZO g&m*a+3Pb@ۥoAG&Dvd:[G/´VG8!_fF\fj (Axxx\IǮЂrW".,'!H(Y~qcΓ`*;y]kk٬ } 'E݇` #'ܱ-Sr_]kJ҂ =v "Ϋس΀3OZE!Շ gyf¸qEW-`hD'9RXYU|<0gJStC.WӺeF&8FDұ4CqayXe6pV(wrK,2<#z,9`s*18[W"klHAٱ|F*g}RBJ+XT'Ê3x0+:oX! `F 5_#e=8Tmo:%bxR-IˏRAJ@9oH%\֍E12Ȋθ H4BW`C.7RIfyf$!['s+[ t!<2 d$`v s8oȘfz_րxwxD3 5v|v8cއ]m@ayc?/qR`:BoX8(b`CMpOo\YU2SF+KOwY% 0 ǝ>a۵swނBt)a+1Z\ʻ?rGzʬ{[P^@RUeP8sU铉lR^JMG/ex>b8l,>W{5SaNI/a=麟ˆ`"vflq*~s{Xw@BvPO؟unRO!{}?a?Lʏm}K(ݴ2h%;{ӳxn11.e6<󘑕>4WJ2 @Wa͵2&=4}xklzԨdz_5` +<|mQHMU(X}6b Ok[^ d?"CSdZz HX%McPZ֎[KFS)XАm-%By]2T^:$BHȸ*<}Ge Epc'H AW$|5$FǐP7X֒e)c!l <aE4^j 4TgK2j.^f>A6ˊJB{8lbL o2SZ'->Vq#&V9s$yӝ1ŏ(A}mwY*m=3|UBRD^aOf Kyk>`VYZ9R%0PJ)=["HWiU47聕tM$4aVez1mXirnfc`# UNs1׷<+VJ&Km0'Q+ЋOE׷ܻ~ϴv't`pp-]k VX.ׇ$^dyF[(x>d&W^%do?Od#7 %3Ӓuǹli U[w|?škiwmLKlP#tf+V'GnUzʨ; v'wB *d|:A4x KpVz, S͐sLRO5Z+Iò\gP&*em">sHoEt^CiXTFX c#Ϯp n=jLE!={ˋ([+=ZV7F= A"zyTvAsSK([2,zA 1NtF`VlYd8_C۷rwW\ʴavW`EЁ%T4W崵QXDea8, m_ Zj+Sf   SS C G8bϋ_qe$"Qs9N_d -._Qf|k^$-~sBfi0+ ]|5!f*ADz|3^f (ĚT&pFw3%h1XDᮂ ҥ,uCIV|/5HC>/z: }Y-.+$҆ X w2H/ԼL@tx}T历d-g2zs,/&$G- 9i^WX?HUog㘆`^u~V/iDFiO~1'VEy5Ծ3Q~Oxa'Y4՗  _ޣSUGu'%%KNzW\d08g66O/`:xDWDGBX T$}$707pILQ VR{Ǭ_.,ZY5;'dP}n~GD6( oPF M@m {yOMpjv+N#R0ȗJUs81B#b (#z2vO &7ǰ#~HچLͅԻ CQDJNe;lT.SufXz+FzUWq@Q[iR=:Aoڗ{d \l6[Cjiq˝'-uƋZEjZ]VL:(cXƲ- _j?q$2"zTؒ=I22 8lE p 򀤝UK  ,-ꎏOASPaAƆoiʨ~Au=($]\At%ǧ=BOh{Վ-bO~{JK ?I򵱯.z{ đOfpdLP%mC蝸ɪn6r֦[S=39CVbdX/u QLpWzRlb[({WN. ٤9O kHF+ꈁT]fnX\/mO/c[#A+-1 StO ց]HK#[oƨʔ2]}8-QhbN^_ X"j:WA壕Q{w4J`31ōC,JC 9C~|rm({}g^8jhzh7c99GTiS*:.?%E Xlz<+T;RKB \Do;X$9V>pI1v<`J@"_Lx] q5hZڪ&pvf.wkzeK)xzY|GTc5R]eFZۿ m]#4틶7rjLAeȘ4ٲun-GRMĩ5*jDr P8i}4sH%Rgo]w: @%,n5]dS U\x+M{ @#ic ] 8á\;N\fìU+LB4Vwu|Rmo<UV'6r[xnO}j{ 代+WlN54TKbwʼ<{_<[_0NQ9Q_yK[:Aŏ` OWm$?n' 8!s,{7+ƪh!1Fߘ ugU`CCӳ{[/NPE81y95(t` ?>J:($7gH7s%`D5nZjDN[l qC[L{ ?KӴ )Rƍa+ѪgE{77Z J^qš8vJ(0ֿɔ(NŇtvO+oϫ''RlU ͮ &ʩ;qzwIu>j|n,pcьtI>,Ԝqb38l'טȘe='6%]ұ:Gl,sN>s]HQrͲ_vٖnV *+. ]0LHԝpywArǞPWb!H7Y:<& *45( HAƿ8f@!Z ])pȺ?YL_Դn3uq7!. EnAp9܅Q {Auo̐܊8^# l>0ݎS2z k>}exu,U,bм5I$oS+b-Ůd