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  l \ %S Valuation:threads=2elapsed=65.239cpu=99.400gc=3.016factor=1.527zXZִF! >]ŗXf1-/6vR[ldco^IrT,^'&$vҜ+A\V Ҍu/O>uL{": $v@{!lyULM 3S?G͉E*W9 !1ࢬ?*GbSph 4Vƞp dMPjDTADҠ>_v6]d.yMmUYd/wËzQ߇2}|Xy3pIp 2'6J~Oʰ> bmpDFZqmf\WHkZb8lc =ߊR)=bd=oKY .Oa:曞Xq63|;-f[j5)c9 _(G_ Vdop<5fh棾Ju" [M7JT,ݤju~\F.`QNn+"'ߊ>B Uֈng_aV*]zXͪM C q> iX",9ݨaBႜ+5okuC9)u4#%ޒ{CK(6&*\F-u[N:+&Lsr| `8"q&,vPC^*Y{{=! FN|baQdhߓj $`иPgvgCRīB=}e=.)]8 ⏘DDGgoRmĆ(/Dػff\ qh҆+URo %Wsym(&WH E_,x Z8ZRUe@e&tTgeXԄ|Ag>i0xЬRD}[1 ƌO& d\e   Valuationt _]|Ӏ2h*Oڒv #B;1DIًAZQK&&L&QLK%* H~:eTFt6`!l\*i }6gYZ7zXZִF! J* ]ŗXi%}bxDeuWI 8fz<6JPj 5R>T f|~݈cYYD WԀ22f׈6 h3&JV[J^pEzReOb{ Y 1*'Eг;eÍZz4#^ ޙ%T&_Irc`2v*AE,i2C6ŤY˻b0sEVb o4W\H7:pҿh(yZ3&o[)j E5raoZ5Oc! rU6Y?B*iS~acHfz #s1kk,U C/lo3ZW<o:=d[uKOc!1"is(o_ȽW;,r JwndPǵ%V[6.Xƭu,O4{h9,V3|R\򇤭 :d\˗9{y~Bd9ڻLOlЎQ-!yfb 6LL@5q2K1E~ZDbp#2<$`$#Ě+=w I o&bcV⁦>]q![7|$0|9AQJ>O_/\۷^$~{yIi&Լ;`Iq!{<32Є}0Z-q ~E b1d.Ȳqt0W.w^< !AjHEv\E !CִEr񻆳M $睐s7ǰv<]̲heEN}`xDՏzue1nkG_(3Mvͫc)Qx5l~$}t}pl>|²j.ٍAǡgHo^O760kGϓ(KWMY0a*b`2XvI* Ē&toX<RBUKGG!hkw38L)AWS^ L,MsDI/r+K俣];X}G@ZuЈTݔPAh1ݨ5x9 eg -d5Jʬ` 9[+cEg_[ʱ`s_Cza7ݹ<>|KI#ƄcGog]՛2Jg xnX(CtCnTaT{ O =jq`y%Eov>3cl`7,ڦ[&,XCc1B_JҎMyvy Е;䖊q4FNv\ܛ`ur2z΋DgtUJ)+qt$ШZk'!-6uɼj]ƕ2l\йg0Ў_GVҚ[ n%Fs)_͜õLـtpYgB dA2gZUimpqaR&ͅP/J.}\%u*+x;#CQn܋xUnbnTͧʰlw_'=]܅ء FM([(G󟃿A6F?.G$4sۆ7H)Zo\ԓ՝5ٌi9scՓi;$).AqfA{兩>9 \ʢ$`l%;c<omeF ӍuW+יs. ]!i}7C6SS:)Jw*$A/BRc^?MųMdn)Z6d=ҫjhH>d+T?2=9y?a+ 03ТȎ(|^O9 $օ 6Y ZlZA6a.Է@{C7z@E_ /oEՖ2%b`hbG-rWFPщ,#=k|xv; hOe@~0^ő=UmrXrG`yqx|3 Rimp'%MwG%ʁDkn{H<}6郦-A&}Xrls^ W $o&nڈ#rna;:fGSFxrcixڌ"d>A;,#}dѐa~a=d_~.6~c(+TgĆhm@Xqb }.YaUat՘80핕 9ޱ}AhAKNTӢXo&!vo y}Lׅx =c^]gԛ~dnj: fSxa/4ȅXۤu_u%:F $k}$1gw=mW VDTu$YƱgYZ012dc459da0b8ae14f7c5b67aedbed1d7e4646c4 54abd8c9cb7bde34940ed973a59900cc7d7e836b eac6050eeb850c93f872613724be0d145bffe014 ef686537ecafbc5ea505ac88b1ccbeae6dffe213 f3348a64c921ee590f1cf858e965bb889aa0d40b0ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 839b44e946d25f579f005d34bf2b01c8c50a8382 85480e07c2a52f43523e7b2845d4c9fae97241b0