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 --H#l ]/ LocalLexing:threads=2elapsed=99.408cpu=151.084gc=4.524factor=1.527zXZִF! J!]ŗXf1-/6vRZBf뱷O]XT=uVE|kLjvk0ȃʒ٧n@Q ͙. '8h(7v~[* cJ\vXF4m+}K ,U_&z4tS-+I:ux~%rX͆rL!l4Z3<^T\v-AJﯬH,݈}Zhl|$X| C’Gy'H;3BGL+NϥCqj{KuuI ^Ci :{C6(yk]pU)6[")ZdF_{EdAS,jq¿u{es;+ HVGȘ!0 řd*aTWΩ:.0%@r0aP uP%͇ehLCLJJty0dIl`􋟮38g3m`cfN #sVMpluu&kPaSQ^zh;f|{\8x.Uy%׍' 4=3Y5L, fۚM7ptg}P=^´r x9j(B#)>7g ȕM'|nPy.Zҙͧt^GK+@ ߋScB:+]O=#=nYjo.oB'd$6<0'٤۔s߬CyҙWyh6$υUY)Hr+n"Oq~wj%^gbQ]"K֤6Ha*\ƺh.`q xן#wz~:ַ~ /~鼝cF r;E@PMh8 Yv2uJ76#?S#B ׶[RTRdU\/vhݐ4l.Ŗ慞)r)̿]4S-* TC[^,܉큻Ǎi߿ebZ)f5y9(gV.ޗYWM4![![0,pvR&/QOIuDayk:1be8I|Z͵G'6tx*xXIR/W{CzqC`aHw@h>=xc o^\ M[p&@;GN%x}㝏5ٛlM6o"epJ&Wknۧ=oO#7)Һ`k;\##ر%v;&MzA82o;aC9 ]:)W*Mz^"Ƨoۘc|RlWo>#IMaØީfrϜP9IӃ&T,ap'Af-J{=2y0Q(HlHCeHtޮsiN$v`dnF`QE\v kJ'lD~q gYZ7zXZִF! U]ŗXi%6q!gxy%bOxT~H)R 52Z9@Ɣ Y_h VXBfZ?@?Β,2:zcPxj5!}.2d!?Ho5}sP0]DL!/w: 9iL8 : KܪO_Le*D뜆StYΔ*xQx[(?;X*2`v, Q Ʊ {.#$;E St[mnY>'V+&K*fK^e]MI:Lhޞ*9s 2ό;kjmF${29rm_ ^cDlWI\V#]-ߧd ߊE'x@׃q?/46>8>;zfa{Q6m0`݅5,syX UW؏sN~dkSNb~0|P﷛vXi:u7_ F-voN;֓HU-E4 BmCrBLݯ"Ca5!q.\l8j܎Q~k_5{pUr#! ; Hb9&_W%ODqFz𕯱072UuZQ"?ZH0u;.ip (~LYJ$`84E5tB!-؇$`qSVɹ[@4#VEI8gC$U7%ݔ 7n/?S?XPnJ{۪-ww@PxŃGQT tϻg8du[-@ vNLy|= ok 5 {[sQnJ_Z  ufÇ9%mFS۶{~! fщ& "d<ƙAfDP) s {9~01z1kmAkE-4nS%]RSoIǿV22 #ys1uZ`kDǤ­,n5Jk{zF`2O^t-C5ɞ4jy.f+V)+2\5GX̧\)#Lb6"D7=G .` s jkmnx!JZa,=!s=r[0X۵(Ӌ2(̀/mpњ=A2XFzV#TM66"+VD!nX F9"*ɼ?QCwbt1躧%*h{smnڣefhoAQ b6- *. !bmX6`Q̉\#(&H愠#Sa50LJXܽȢV3o5@uU&Q+P`sPxYW4` H>z|I)e|Mے(`C&xف'tCJb/x ގPjuC,/7%*^NXN~[.!zC\eh/,u8ˏ XhYVNP=}"3Kp<ّ8h]B@*dgp|nPsz:-utt~nyt% 'o6Qi?Q|*c0L5b B|X r`}J$4؃lzCXˊݚbː GЎaVmAf ɏJwwy 6\Ϥ3I8d NC݅gĕX7){G}dm1׿=ažV`d;2ɓDqaxo42 \MMZ~@1KG1 "?3/1C)P lT#8 nKa 䶅O_`^!qW uTpIDӵAuSw#]%? p|O,JWIrNxmO"2`Wh]mTP܏F'SlίXhyfYs/Yd!Z("-%M HrO`^aylTҗ>b4 ejj^H|1PmEnsSd*S]Z20)J0(0eJ3fKHVġyPIUENyge#4D/ t3b}Bii[X-8-"o@*vaAɖH)tXsSUIiAPѓ>Ёf5K4VbOqPri>f{7^f8Csj7jRF-r|Tjv<Ӣt-\WO_EB+*Y>l;r Ǥ0=|s[;K9NlTGn63QOCH(# 1a27pl#YtAv?vU䬸20B8gMP=ReGo5q# 9B3Gb?ZZ:[+ [ƆH!Wv04ϲ2.$^/u:,nRJ>|{ц 'SǭK/Deɽ5V&w0}11-rA>X%{O$ :`6aRJG9/sxKaR꡾i4ɝF@|zQzs޷ûMHFG/H^qlhgj p%f  *kF3EbR0WG%ԒM5G^r陯x0͈~5!ޛFdA"mpQh_ay %_/݅w_ZE.قJy(TS[U Frsu1j %kn Mm_SYש%@)a+S^R֣gd;f:'IX'e|<&vpv)s>N"Iq^kǑ|Ď5zAfׇz|iV/-kb}_>ySDB텽Q j ֺ43h%LM鱭9GJWsqٙUYJC[*ꡄTD<(;=fhM*e. طk+xJǕ4u2S-)?`Lg-O3MQ1Ͳ^5\T)RLM+]X@62~" ]Ki3CLa2j:C3,g@JHٷ)Y9ѐk(b(I0s/&e dd7kŽ*+JD|0-2~aAv3M k^diBC+$xFloT$oXcSrad [/Rn>ŲǝF,8:'3$HT 0+&ӒrX)qւMjΌPnP$>SؐdVe7m T@}3aοDY6f+\lgYZc314f74fb152a066c056aa5eedcfa8eeeb81da631e0d760b8dcc7a202ccf9e071ca177b2d6e00047 82ffab2c85e2c69d04d032ee5f468652fc7921e8