SQLite format 3@  - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ??| E]Word_Lib:threads=2elapsed=69.163cpu=136.600gc=2.904factor=1.987zXZִF! D]ŗXf1-q恈ebLi=<^TIKl TW3%鎀@@"u@]@TcYI}l/y/_{WJH/mdp*;6exs$Λm>- wʼn-ZrMx7PCb* w6O6[,JYkخ9F5mMI#lf!waQ'i Zf$H$B  >X "! dlųC>rp勳ZLǻG˲vm~+ loIf}>f6켱nN^`7wa7qfoi7ʭ0Z&&rEzl8߇1Q~ǛLeAZo܎wQ5u'׭$c]uЙhVH.0OFHmFnL0VOw-%#C1Hn0V>%s ƁT%+~M5   Word_LibPֱ ʠΆܶ# f]Z @=564_πiH~ZWl%xA$nMĎDK>I4o`leTDDAL%/#r2W5A}J/ -Jwl&XrN&„uN8 ݜ*_w,X0 (}& Qf pT\:[Ć=ɪFH`bco8 s[˙a-?Sɱp~:۸ݠy4oOϛ3ˠ(v>TFC/֊eZ9Uw4$EXh:_)<#ZL=CU3a%HS$>t_ ;TH}([ڙvţyNjnz7Rm3cʎ%pD[Q2;Jt^Snu h'sFZg$S{*TVpAvPBʋfi%D˧o ]cBi ASIYg~혐_i4 y$*Qt֎b\=Ne 0RfGJi T;cv"4ܘHU3Vaxn sq,?ad$H΄jK;GȚq.L} mЅ`e[aNekxyp^dF}'H jwj@g$:Z:;}ap$d@+U&{aOr8p@$M qXsT}o!ZZWehYxL(2ى@Zɪ!45b]Y+B;#ے+Ilk^!sKм#8(""^9b5Wqsol Z\uQW>(<˜)|ԓT)xp rC q0R~Vʭ|a,[ MW60&2G ^O#&mw`:h HPa@%/F鷚ide{sǠDjB|{ȗU6Ź >Lg0`1dWr7J~S2"NQ5$$Ⱔք6b.R"3*5cC(b1 ɋg:q3y7VUi˪/omk_B(!a `,oF/jG5ZV5%.̵[PPj8ڵm9R*?q^} cPBe5*{R:Gzf h1:ZZ;Lt%K򸼙|@q6́ \ ㄥWB%]'m|j-oUh[HQ-uNثs:a7@u` ;i1Qa8 ȤU hcl(jӎY,b cWr+|6) H=KQ4!(3TS׉'6yQwP#I^R(YZx:e`mȰAN|sTG H7} E~21sy08U*!.%0JIF@G0ۈ2YDrb0T>iŒ⢄K湻 efsohrA&Z]?? 9v<2hHd~u%zs,HY\[ "lJhͿN$#D]^G0)nx?cOJA~]0d|Nd{rPBˋɝU:.0dSޟ4_HkށO1MC)Xi_Spz$cXyAnDqjERlel!B9 8вq)0?eKQk6Nàq8Q`)_VFToEn1 4K {,)H~AQ:i0':;\̨O.y{[^xwB@yZ36Ҵ8J%RF/ȥױY-aby' !O&LiVtW7;_2װ14qmT#ĎQA*vK/Q>yGguYQ]ϸGb)ۮ+b~飺3S`V)fo4A3Hƀ%tjMlӵtـ>0@~.єjL)x^E;u2qhS=m)f :Ɓ(%`wcřVD\{f9?vN}&>G0cYRQ+T.6ncGt[m1٘wg8|keLDdJDmfJ`6T{7g  XPv}(UBwQ@]Qi헩h7yBp`+auG~թqPBƒ4\|y$5/Ww K-vITYFJ]6;c5?'q#|3t~ToDiG~]m@s7ة7cAC?VӔ-"n{hPSng_H'kCՄݜ;pB&..E0EMc*_K*z <vZ7`Hp7f5gnp;Ys (c~%d*{{Ŀw(; -yuhfiB;~B\-;K=ԒRȑ;| n'z5dx+y-b 1Ix*B{&ekdwYli6wZS85Y@PCaݾs-q)J:sm ü-nCPQE#w~}O j6 +m91]xE,|q/0N??ú$4cU(LI)ah f|/"%.wF|Da?Ec=o<|A=5JmB R;6):oA {MEX=Ǡr"RR6;Vtʧ.0 i?E](TG"aqshH% 1jV#J xGOKjG)MIuF`<OyL7x?GGWHsp?v Zmcfqpv 뉋!Č9]C!bSx: '֮ܥ}&!L&YJ蛡{$ۗ UX)͎F7~KE^fl@yex3uy2v={=)PJĵE}5o-=I8^qD߈+Үpfop~Ohtw@2ǻ#k˭pz'g;Mi>vC5刊*\ 6V. \X_[Z1+B`ox6w֚6V[Ea. c dҝIUo=(/&W\m9eRY35AgSiီё~+q8|HqutvY2VcSDw[׊ox*Kݘ9D"["-X"n$/y/mĆ"d$:..c",4+p*m,$KO=6?v.jƈ]CM@nGNOz jO|Y/' O _ۤnKf.>q8[5 ttۃ"3G"M6D#V.紷AU$Kr8(3_IXb!ּ*;Mx6IF+B}Xd*\c{imN[ ½G8:8ųuzӨ-uik)gVMaˍ+^x7,at6KuNQ`M1m86 PչvpWۓXrF*^$lxcЁG&ξ T[֑ZDbji:B(3#+Lʨ;k (*_w?.Lf9=/ҳ%J u@P/ֶI*'q3 94d| `Mf^%WÍ"x1[ll6`iR#<̊{sW<؃(lޔ-e%e.ZHWyI{8k5xZ]F]B2ft6ba㰋m+$@/>RHVparwujI96^aO&/:PXV>5sq0 e[uƴp6-Pհ3, m<1Wig%Yq4 7Fe(yeOlvR0vdFEFĤf[,9QYiSjUÝ"L+H e#(F:•a~,-Rwl~~ioskU;e[D.0NsDx+t?QEHwikaecN2?A脫92ǼN#uaKJbCGc&<6`z=;%-Uz G)m0v9n`ϑd6>-=y)ϓLYiZT~t$2l/t~ IVX ٜ@ M77@C;.J3,gVQqТC*D0+XbB3G="H̅ˬ}6hb8}T7ϷuDTr6]e,ղxA@ƃ@ɀE'_#tTd(SgnViMkO,6 [b/=8v6hv+,LϯX Zq)دD-1ym]0ZSɄ-#:7%ɲõ8]\I=^!Qw\_`50 EE{JtX* ɃbYW21++s`*dtl/v|kYݷsR٤z;ky TZzzgˊg1qu ~/RۯA!W`@s_[9ŦwMfIP [E:ѐ>@=K`0rZ6ζД/24du<1 'L$֋Uxmj$`K TJT\7|oo_ߙjqV5-^[)ͦ|rZcZ ]*S6Շ,ryiԺA5!;YIʓz;q5Ht@B ١L7|Jvƒ؅qh7w