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  Dl %S Valuation:threads=2elapsed=65.778cpu=100.644gc=3.020factor=1.537zXZִF! BR]ŗXf1-/6vR[ldco^IrT,^'&$vҜ+A\U~u EZ8y(ʅzW9I8[H(/3fdG9(Φ2V_.Z wi7+M'Z5$4f[sڸ)'?L怕DEֿwG58*7ZNR9.<.QH=(5R)O*ڗ, 33-H lƎ}LEt[ &Udi4W&Ώ7Qj" aɉI6ڞ),r<栾p1 ǝfM H/G 0o@԰W嬻[yɤZ(Q#*r41&D0UngؑE6(>VepB{=.{C/H$RbF̳CBã Xߧv(Ɓsܿ G@@g6Y7y~QpG ʝ * +a]p}_cq>on2'#?1SO*u,R? TĬK⹪]jѾ1aGF@(^:(ZDs8_6\e[*ϴ/LvK'ζ=M,h$#6Ht! e 3ͩ%Q-YΞ HMĊAQ3Ke:m f_.|)㹽 !CŮGhx"וg $ՈI104  GMwEr8LjJ7W|ƛY~Qc#k 8Q.. $3GIT 軳Rg u?=ڲE*Whu+姬Vh5{J̭r:RJ N2#҉,S:)u x|mxt|Z" )MFEti +ΪEkK]JE^|EX'#O.3nii(זKVo<;#b,[z yچI Ae B9c<6(;A"B2N%w FꜭaÉs,    Valuation>7YJp٘N:-O)@ZAy"(/aS"$ID9: Q/vbHr6[u+NaF'U1#(f&}gzP_ʺ[iOez9,{WDҶ7<;vųI ;5ƀjyp.0@1Or[*YI:M?B'7UqY]iG GyhQڢo *yjU[~vUU̓UgmlU~lta${E*: X|TV-((ұ8xY }{Qik]gʰs{2P]g29b̾}c_6uYf&z`2/ՅOh/ kɶ社[shVG=YFr*H.џS/6]VW^b9dvآ;O9+ImQV8IW0,DHx@w "]6Cj\{R9%s_[ C0lDZ=ѾeOt*+Kn1X7pݾd◎Ilsનb ޷gΗ'DnCLˮ*ƙc>$)Dö,(4Opc]BuxxGߨ5Q& |beq z4.4CS=_<#CD ki]*"P ፛%@SCvbUIĊ2 '- Ĕ" =T♗يP쯃N_gd+0XV,rRa-)6R\-*mv4Pu+Q)J4Ni  ǤP]]Cӫ]yQT06TКwC1g2KoJ9<訞1Wch\t]C#p?}"y5y2deP~Bgo8|1&WG{j[)E2aWLq!djFaLʢ]!vb͖ԨTLm,uY7(nIy\IEnvV:XAN;|HI*+WP*LyEc٤aR5.Jh}N|m%i[WOko7jϤW% rb#NVP`܈ե'Z:=N X"+ $f1ND 쪳@~/&( $jOBJS$, a"WMHUVS^Ԯ$mxzhk :'{B*<6si<t-8{2_L``E5;a  pą \O#赟ÞY/%ws=h'>8*ȇAoNB{,^:^EBif/wJ 4Hpȭ5;)m3ͤ>;cǶNB8ج}oa!GxDVɤ0хZI)uHaEY>53/1K"Q瘶dS0^vboCS+%A 3ɜrš| 0ϔ5+u88"8ӱ:9xɊT#=p|`bkKSUYan,Ju.>}#2@1 rُ7w_ 4%@irtN64bJ( /׈ыwgj>YN!㛴\<?y*?9BKҚe-K#L`)p +F 6RӌO 4=I~,GXkP^eMo怒^Ra tWGs1YvFY8uz4_3H:unB)jLױXb7G82fɦEd-yr̿DRȿiCl/QImgVŇ{oRAy:ふ!b4q].Fh*}U*ѭ &GaAQT:FEtiNWnsppW)MuF{޹eXbftw )Aw YpiN;M^jrΈ4s˸'قq]x`Oh}'-f$ a"`&2s,BNzz}A|1-pprڤ kIK܌KȳQ-r ~N*b̲⢸ԃ;5GWrv}W":edB{7{f'Ǹ6KVjnHPZsXV;t rF$Vlyyqg W'@7qF0y t`U#ٻp-qxwHؗ0ZH_49G݁pNg.VsTeI[>^AirODA"wY@ʦ0!"?&t aac$twa6!!mc29R ce4緉K.wL ͛qQEhMҀckbG>vDҸq2Ew \gvԍe4g4^ ZAÅQk袷 /E|vh<: Ϡ`9qܭie~[ﱗ~zΛv26=&kEr'ԥQõvSL5-Daybor#0{eSժ!*qրb3]dɹ:n\AC~WbB`(08;gܪ|ʇ Ҳ0|GO bm }XzmtE^r!zc =?NTi8yQ9PTE1 iThWm:pڈ\!L ȷMΝPT![Yn:5w4j1E=h[8K0>r)?B6dr BTGj|yV"SI1rO l UQtC-4^zDA=3˶'1.mTSsZ\? 3>ZZ5ikLY5Kj˫fB n-lB{&&Bjp^*|JId/A̰̤x! ǔX}eHgIg@LU9MJSØ $bƩ(gD /c-B_R gYZ012dc459da0b8ae14f7c5b67aedbed1d7e4646c4 54abd8c9cb7bde34940ed973a59900cc7d7e836b eac6050eeb850c93f872613724be0d145bffe014 ef686537ecafbc5ea505ac88b1ccbeae6dffe213 f3348a64c921ee590f1cf858e965bb889aa0d40b554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 2b469e38ab065480632e9b5b8f44c208e16cab8a ac7797e2bec75c1a809dcf97377c853a8529451e