SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 o#LTd ]/]HOL-Library:threads=6elapsed=61.330cpu=318.748gc=17.252factor=5.207zXZִF! E]ŗXf1-%˓> ؽΒ$%`?D+l6 \಺pR5J^o+*kt,b3@qɧ yA(v"Kr>7#[r"uYVX1hXL2m<\geO rUf0k+c1E_p^}z0%H͘,k~C2ijoU6T ̾eOg 'gșVKԮS~615hFM(g՛OBr޳U}l'VR@EjdDRwɎ9;FUL%W9N#ļyFN#n$ # HOL-LibraryxkվlClz#]uE)d|JsrpkاrƊ`,Ѕ)u$U`CybM4\x pJ{o$@Nh?8q N/H7ҫɌ7! dڣDW Z)ZOJ}?]2 fm@vLuH4AE~pAFiСAV~Y¸} e9=o ui4puӷ@+>jl~M($_FVE=n( &?hISb  I-q{)13XƒhMdlTL{I!nRGSwȼw}*)UR#y?Ұ[h u@+O'%\0pv,Omr!p k#VA>&_==(V#F :56 UEE]Yڹ T zn3T x; lMcAj upm h&ɓ>;T >~DH$۩"T,o8Y+ԍ;51#'5ږk1#B$+?-2)rTJFABB2.ӆ-WQt_IWK@"tgCgdWJ"4!JA:oyz]$y[B\}j>} DRQc4ssGf7 ['9*D̍U@8PnA[(!JZ~L3tG=lT$wQ)vAQ,&[Zj{{ izfټ\vy%r"cN1s8<$d'.n[^v]du҃;nGEՎ8逴RqJA"3^Lgx8v nU`&3N)ϣ{J Ȳ{qlR)6\Z}G@Y-wSlPq4;le1(ISӒ:HfQbo͡oRo~L9@_Q8Gر䦓V A;iZ(M| A+p~&KZu r92?H 6U$8)MھlWBF!!C!/~ϖqtM=|\vVcpQK' 'rvڈk8x =~ &4FI٦2ɀ1TH<gdNʉ ™gW?w\cȜ TKX@kkk[/f ϼ3`HDqO:GZ_8S0^-_\3=e]1TNDiJT4ŞK YBq䜸"#"z`۬;~Zv"W:ZPt"MoSȻ,5 ,֠ aGBC/}\q! ^1a??Vtc[hgTHvWc6G|.b/HFtZ̃gDhw{_4|8$zG= dgzVus&)0wyZhv9D悴}+JjxbIK&]p8J/!j꙼ Ob&xGN?!b;hi/LSZ Cj"GH|`#A]rzׂvQ > t/,K܊hkoʱ/cZӟx ,w2oAu"mW"gMwfN !ƪ>gYZ7zXZִF! &L$]ŗXiɟ1˦r pt#M&")ohEdu Mb02QE+--z5mЖI<g6H~x|.l[vOߋaes`a@XK2e4u\n|;+ X]]HaN;ߒ*ܳ4SCwQ  0g+[%ԶS/ 6EB(=8 U+b6cDօ\ْlA+Ee&oZK崂`-#wA`Yyb1 0*̮͕$^$L}{!g48J1;FGN``6L4ATQ >qSDמKxJjOW;Cv, asQm;abۦ`Ս#|& rV88M,BE&ש@7ٱ""=" TA|XڇfE5) _HhƲ+ˇ>q'9G<e++HN\p;c2+z~@SE6x98|q"f[T-(ىcaRZ~Շסu{/!ػ\Fu"$'; IaLm!zv F߈X=C FOpf3<,Ag#NC*s<]k$jϒMǙ$xDZ;}arQiPg/NM&zYJM{k/goj>#+дJ qd-= D{nkΫVp)Hcωt$AJXLcAM/ŷaV򛆛_$LOgYZ7zXZִF! v*]ŗXi%9,z3ENR`( YjTcDy`G&]Ŏ_"K C}9B`a` y֙tGM~縒a}YՈ3]%x^ڞ l,_lv&w8lp|]ϤkP:,}Lca<MUoKY,P;ц[Tyr>LֲPڨvrRE좺sG?-RCbƹI(~ȕX 7YLҖ1|)Φ܆Z91_DxW/5S0:SyJY ¤|q[_N¬kQOLEyZ.I4`ˣQn"Yˡ觎,'JАwf:bݑF/ lhftfr`NFx" Hqۤ^NAIovrTR)Mn&׬϶Lt>`oJoږ0 g4(&俹2 F:TX Ȣ.T,6& ;B&0qWpn?y]H@s/,>d=j/9π,-QU6˽ ?[uo*#>ǔ`? rf?3A!6;- l?б-cVe 5QM(5&wp; םp`q`ohT3j-, o 0U܌ɣ4ڴ9S`7 Ǻs&Z$PBtMoѸgO7#ɘ'r17[zV`U oF9*`U;0H4۰DQAZb(ZnG$Nr{B:'<paYSy-o/}b749(s]!bvcu%J'-{@&0kNHg + ^-%*O>۸&F$FCG bmiLWFBé e,'#n}r>l:H*{b^u}{TXlsd~1@9 9fZQLPx vYE%CҪsX@3Q3/em?`5`Gd1G pYRDE;/)`]޼N(!@P5@G= s;-:03YHj o;C>rchlK 4%YjqdNoFL1zW bRR2k?(1?[ݺh(V1Kw%L|N98[d= k;:3ۙlHiTw-Tԅ z.†q\\"i}2[2_Fm6zҰ0gI) 'C;髙A 4y\k"BSfС{3R%FmƲ ׁd +d=$sNK^kAF!+ݠ_mb&àpoj325ydk)moa3RqM5o*"\u+=EVJJѵ+R8t kÎu'G"plJp˸R)7MңΚgge7z|f"j:ҭHIo)ci:zo< iW6*@4a.HlZb8čtdmEߔB@Qu۞&;(3hT=HEɉȁ?`;EE!̫/oܺaWD . dwjuПN¼#r(8O YH6e'}Q`m cStTX)'\Imn+>8vj ,A6u;>7r WZG5C_3] Oߊa?E}릃M3rwhƨ4Y>)JՁlW/sc$6]Ɨ–R .$t_a}oޮ V7(Wi#T&zrcc>pbҭZɻ?eYRKrڮR׳zAU*grH5|$^tU8Aux7M0#GvLBfꑮ58_L\Zg„n.,Љ5S'4^mŢ4UR$dm ݇f렌on$"x%^:{;:cAf0bJl^N{4:Tm nJI'W3N98䬋Oys׈ˎvp܈½"aNb ;Cd׫ c!?Z6GǀrAS'NudoֻԘExY{ېWԌF0%4tEK9->p eF8@|s5&2j3v+{)2?NH .#d7ذ%)E[v :$&;gUAR.+@ݮ>wk|$hc'+jC5d]6ԅ+`AWbŋ8)# |j]쎚k~G/jSEuK;U+劍aN!k RͶoɢyZ/-G2pGW\ ]d4mրؕpf˜2:`1մ;|.fj_x%rXHR pAڹ|?a$Ws"ÐV/9A)\*5ZvpaL 8FQyƂ՗_VQZ0΃S-ow[:PmQׁ}3yr*V53,4VDi}DΘK5 g\kYG%oLjZ/]}If/{Z?A``&:B xXG#ʤfYmLR[!4 Ql4}y} - s0tk2jnߍbp&5S #5$ctRARMVnc*Q`\uo뙇(˨7:bf;9^[KAY_kmL3UCv`<5=Gjr)HbAshFW9q(Hsۤ dzvX[$^߷ .O8&ԀʺA)I[W5s#i#)1b)(QeMs[SNmo-:<£EIﱕ)B#F坫n~ Ĝy],,b8_K u|ʆkgl3,yB qW$,N1}|un'oy',>/vǯDM杁H7t'C\(έ`ȕS`r6y)\ T`Q(r>O{ǖؕj%ZLv16Az_hwQer gz/:g *+8.4rGVtxĖ2<@L ǧY$1?(,fS79kfw=qg楈,j9>H(%_^pLp/ #- !@ÑLblPhxJӗG\ +[K1ngw` zn2_cr?AaW7U ;HR4U5d^`N6JŻu} ^Y"0`ݚJ1TAjlg(0 aݻ]SA,'D#+7v{h49*htJq4,MCjLҥRx8v{(cQF E^OfehscenXhB34vMɁȷPԼNl4HG5mg%U$]CXkYVI.JPdwOG5`]kj Hx[E!PvgEɸ8STn$' cLજ_n=uW*m=Q/!W-KzhW Ē$%:w]*,ws#,W16}ugnvDDeWt|ߗ'5}I$nxe/"@gԴO3#@ r"&`9 Wo^=t6 FĽ=Ad51 /o3` sRE3e(7W \Q[_?#(E<aod{Js؉<07|O>`w+$SlȒ&x^^&ˏWUNWH>|\IK]4vYa8~0}++ 7xAH]J~Q7་XGK8K[,bq(kN#< /[s|,úoqX_(RqWlQ/`x"'t,6hx?}̫wD7mE0UO=(;ju} I8̝%=}w[Fog5ZW> ++ࠤW>T>j=^Ӿ<pYLjG巂hGi2pa AH~m99J+̦w=e9d:)sFYeK':g-S^~.Qύ!pjIA#ɋeJ_$m{tC ˚Z%l$e_0i&/NkXK}gx{>oѰ\S=5_P^kw'qZUz}}c Fa31PS/g-F)l1i?K󤑙Zi!0#)rFHiS5MIH4a|tElMEB:?y*:34})rB_ٍI#Ձ;g<0cˮ>V=ԩtn'nڰ>WB,-}QjuFpțw7X@ J]=^M̤6"5*