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 a#|,  PseudoHoops:threads=2elapsed=103.658cpu=135.632gc=4.348factor=1.317zXZִF! b]ŗXf1-/6vR[3£ˎF""TB[dkn*eTX{)cTt&UPeCQpmga.f\l.u䟟TDEY 1YL4-&`_X G( 7{q//!a{+j/TUVEGb~?՟i' ^t`,(2*}ޟ&¨0[Aը(W߸D3ĭeFS ʪ~N,cn"eb!znkBgʘp3>* 2aXr uCWx0m{h5^NX[ܖ>(#NEe}wU\'V[ƕ }HqE"2Ӝpn߆ndmeCMS#}KM;eTSr.FD\z4+yzHgIDݺ&Gm,xJH#\๵Az$[싸{!,䭅K:bevf&b_ôsUR:5XsE֘f'(!#E^bԒVz ~V.{߯jKAEvOS|;޶;!Sj_1׹~'5yIo 0JR0\,G;1A YXJZ<Xq2%WP9 [w t+%u6E$8YΩb\`D<[[Drq|TүBd-Eiܪb!6`te:1gY9^i4U'V, n?'1b NKo?J,$c#*+}y[υ!I,{[1zԠ?wpzinI޿1;0^m qu z_S"Wv~dޚ*N(UR?bD6"%QSEaׇ;0C b7wֶD/Þy}VK  E^r"y ]Q'v2>lQcf-w[?"XO,4hlmΙx}xTWht3Fm㶿 WEftYAhz* IW#E/L>E1d͗Vq Ev 0J2f](BN[b2O~y|#|3ԮgYZ7zXZִF! ]ŗXi%pZQa_"P6 Wn}W2NR?h6ʡ_Ԛ3' bj;~kG~ulRlY*M}jͫ-∄oysONke^K\*cgauC~b&sՂ:{N"adGЄ?MToBc ?rteOkrYtƿ7mи8,D%E1S E}5:V"B'*yQw,0 }oIͷM͹M ; aQrIC7FHP@]E1q%L;%yɠ,!6=!g4&*ElX4C:1 3[d >DVk#G8iCcח H<Y{)a- E"h۽7LVֱA$V8͜?ppa{. H'i1ճRu÷Zdf!Q+D{jhG2,UY_`=1?|LyT Kq"C[(nS[3IaC_kqɑW* 9bw(´V r4@2dc*^vDT~51)߫OC<͐ ݂ }Gtw.Pmva}k!t98hS7IM`fn5)e.L>UX2)q]D@% A.&[MIbo4>ir6HIRܸ+7SHZ c̖@@ٟeDhO,Ɏ`aMYEY?81wmX^sS A ஺~20k8 ܱ|oѐC-dJM nLx+Pʶ%y>Ig0J4LM;?ZWrA>N:O d&dGX˷&eC٢ҪWc}h KO.eW_pۭbKuoKD6 4ׇHmL6"M(z~U$+NZp x((;3­ KL r@B]}dp3R{)=eE¾ `|-9f= "@:vd9?Di]: qB9;F譯Hmdo0^o\V"ЯB˃ HUea9>[='`gѤ=J­1^8RPȉx[\<ԧ|,W@/km5C7<](y龤(lZ?Ĝģ7gav߯祛D2*"/g یk2\`w5:$ !Z`ݑ*|{ZT'XAm %6|- jt=ϖ%F,DЎcó5miisS TG6 mlx'\EՖV37uZ22=s N(׊ڜȰ}JZ%z o|>MP"۹%ӽ8iѽ}E(N7S~W 0W.\Ab;Or("N&8| -DVa?ߡo3b ]$ddQRhu4:^u>PȜ?^P،=bxFYj5ի ;ɮZZaN^;FNijK˂&6NWQڴ6u>DMkCӎXk|ZD`+l+?s`>C%s(ANPڅe=PZώ|x,u 5V!#^FDDKb :C}QFUOyQ6Vq!l4ʗV@'ߞ7&ZogR/.3k ܵř"G]'&o9l#^GcDjBg.}UKzlCŹ? d0ChTFԄM׉UgkeѬ W1i%,k)[ Aʁ iPIǐ IuuZйO[DIa 5a%~?U^Y QJ Xl!E`K\Զ}&G>ohƫ-Z)A+!N~oL{_O݂Po|kc5JV,;j5԰L$ܰ]|<>JcO/f)X&ZEd-0b f-bWx%uuj=  ՘݂3ͩ?#zfV:Վ - QmK~Cr>W|})D+HgK+F|D}v+D[.)cmjMq[@ /~rM7LrS*F|)ct(ϙ@.*%ԤA&i d$jNÆqE{Hy&aL-*?}A%-_c!WSv/z<{wiMymo{W˓REjka#֭e(Il c5D~lc|:]jX%}s҃³r/;c )CP 8:ȵ2H:;"!flNgPۜ<#5rB^ NoEpƂABlux:kG_D|e2(ʦ@Rgᩩo4OZOwx z OV Oeۓ0}Cz4(Օ#In+:t!Ej--#sb5[pX~b߷S}oYnϣaQ"݂9S!y w dЪ7u${ma豆c*'-YP^-cOayuCAh^}GNǑ1Ϲw!*sc۠=p֢F|^?%Q'5yh! AC ,'5#PWY=cDV% LzD w{-xvzkb% +gwsNhBc4VO6(+WéTGăuNSYaQ2%oh2|^>-&kvġX V*S5iyAa9߇ɒPA߭I=Ԧ݅I iX|YKN5i |q}c +=R:.3Vr1F1=gDMG SҐk{<7~T˘Ql?݀"Kf':fg$z4BZ&b+zZ.p^ Z4qXs_aug3oK- f.ˇ :!N!V3M[b:pmruc=+J:oP 9pʚEnvTfv-);SOm:COQ &`ˮYvm4IofFhn3Mx OVqoaһ-;"tߞtJ]ՇKGĭLẫs ܙ:Ѐ&.=%!3@qe៻f驱Xiu < h0/Бyz5 oh:[s4+~ $,w,Ь?X@B"Ro\C#[_ǒ+َ0 wʲQˈ0$צy(xTX^aAx^9 1FrBG ؎7+a0I4YH>|-)EO]%؎l8%e'> H.ێ瑪8W2jIR2h_kmFVg(R'fgYZ024dad8fe898cc373584ca421d2f6ac517f6757a 24854fc6e0ba1abb1268fbcdf897fbcdbc016dd8 32b284596db1e83dc0ec305f42b3f193753b8d67 4e9168a4953045453908bad16f1b01e3adce7bef 51b459fc9c5aa7d5f68f1754d795fb09ea644e53 76e3c3c83413865d1c0249cc34717434bf9ee7b7 7b9c3934743e11d84bbdabd78c336dd8d4ab626b 941eadf4dae631ccd39fc9af15e74202932b7172 9a4a85368546387a79f5ba733f177705e96b7af8 a1c79c9d16563cf2a9e51ec07c9b698fbbb351b5 f647347d3fe7669dbde6bd5d5cd06822bb8fb7cd03f2cc36b4a4f77618b1b338c8aa62714b840e80 cc27eb456075510284f02feef1118c21e49edbad c167cd737e32909e0a2452e45ce2ce132541d167