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 ,' ]]Subresultants:threads=2elapsed=75.227cpu=112.040gc=2.588factor=1.497zXZִF! :J;]ŗXf1-/6vR[]ߘ%Aj.v=/dM3Y 5_QM|M(kg78/[Ki~j<)ʽ`IO վ+(k7X Mk\2[ٓh"HdζLY$N}R%Gƚ٥ĠoCy7Vc&@Unr%.YGO݉)I*6ȇ`;\A c?2d^BJ$pwT| !keh>;rRۙ0aP'i2-w^l4j R^QLutYp^}Uy6~R)>1?Dܒ\.s%:CA\kA,b:\)?A#\W+@)^kk_Th}T/6+-eaRLOJR~c|%ѱ0#'XUaclwD !|MLo㩦yKJp3c?bFc6g=e)4X-nqLʏEIZ,~^T6u({?(|uK?=Kœe*=cK41E}GlsAnrŌ6;!?>='R,ȼj .tבJG2؊:T 5=d/zj*L`ڜdzaشX,%V _]6Qw evyogY9+#h77i%{pߛtźVyu =2h2V@=jw϶QNSq J~ [u7,?SR a[ztd4sG}t #zg7yTd#"(0DsN꬚ n&| Ῥx`&?oT(Մ<ـ ' SubresultantsG}{uDC0\UB o $8f'y~Yf2?x < I, kHߩ M)k*+7:Av,ՂUUf-kв!o-#mL^N%VP镦m̜"y ɃX}+#\gE2XlO/,U2l_}L>~WC{u覷$Sbbs U샟P'<¿ 8V` x5g=V38y: 7.0 [u4q]3:v6%SEŬ7 Scb FSgc "X4}G˚G3~ b1<:,'OthӂU|gf4[BJhI逤kamz@`[Vk≌*(QCE+ŨC%? k [obtcv$N)$I vʈ)BhAF-%le%^TOaoІg2daf}F>m_ ~AKN\dyZ5ۏ~=,c`o75a+0m&a Y %n[l(G:"M5Gs3!jp4x&+'h[ŵV !wR4&Iļ;wˆd:E{Rɬ% ~ϋQ3M\EG )!@i3w 3iȈVEf/uwӾ[ӈ!U`@Yag}p`J^$C%7hw66;Lk%qS ܰ_ɝg$~ґ(m ,\f^{b# |_(ŏiʫAb갱E3%kCZ ힿ >e`/u!q-x֤Ȟn+e:_;0[tLt% =~9 W$,f"GЍSwR4Uz.nJU e0!/ӡO6guI\S ţAB/@A}d4O\]_ w0s~krƔ 'n>Ϻ^T iu?IG |kStlS8b 7'1:ېW/6/LLWڞcl1FMU""VER[~C`)PPO O>ژIIU; _V8^Ӌ.@'L|^P?3̽hñKZ6:;DC4 HqE9M3lr$\sVz"VHFPeBح0gSYx`;5,mF~E4k=f 9bVm/;xr>K!c7 ?AOz4r7K]<+T4NPٸt74hAأ1 7Y~ C¤bm էV]cWwMV>4-2K \$pl%Dsd >x-ס9#I|`'^Sѹ>_JjȰn`; V(Pd'ɷY~T F /'cvnR `-̍w'mϜsMIYnӵyޯYv5{U'Erht"mJr XTϫU_sG 'H8C6C:&Lną\iM`C IP, ;fs)Р~4Aug5QvK!z}!ײ;b_|b`a<@ǭӭ'vLDTχTz"mq,mL5{o2?qp"DŽ47Чfyc.![_ "zIy|JY WR}국*⺓1 XݍA+!}O{n 8Lz![jkO 'W*V2MIt6=$di(b}f;̀_b:@3Α",1/0XBZ4#A>*Uv'L,j`#QcV oq*뽔 :XƂikkZE!:AJ+Hp Lpl(Ŕ2dðiq\!Jה,yI#C<=sl@[SJco-Ihf8zv0MΊVm'uchjyٴ6.S4L\N\Աg}|Y0'% ًF_z\Ž7+ҚKLYpO*#kw$3 T"J_9".WI, n:[I'c%|[2uXX~_Lɏȓ:xJ݀r6E~=:Ó܀Ei"̗Ko]Qbt# ͝|(SoRoWŲ`+ { ZppQY/h(?8+b&;ĵ-3*4<,MJ6ƯGU\*ms&vM晜%CvCjafahT=GO:'U?LYh|~bkРa4+Eo~pp=,"= na,E/-iyJi?oҺЬXүakTJ|o@vqж8S"{9a>u$Hp.=3-IÂн6)n?ϗQh=F#^;Q37E k)8DV?/fL!WK }gYZ70857cf72eb2b440695cd7730f23725cefe49bb2e3d3de0c105787f07c71be3f3e76dafbe7c86cef 26af89b7d57c7a15a989446f8ee1ff99d4928d87 37a5e7d87b1de36723bc2e935ab779ac8831a48d 76a68048e9407415394a8191e7fd2daca1c1bb2e 7b7bd4c6172674ef9411fa2e8f48381a2c0facad d5c7471d362b0001ce7ac7a0a9ccfe40635e39eb 15cc0ddb360acfcf0e7f6aa3427d5ed7543a2c5e d29c4175f335336d8e9536caf8271befe5661580a30219db04e8b9a0c7abf089902d9ea3bfb6259a