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 *+$  Stable_Matching:threads=2elapsed=188.494cpu=268.440gc=5.504factor=1.427zXZִF! J]ŗXf1-/6vR[]eWuO|4JI/A;{ ? pĨf1/. V](z$n^E\̬ߣL)Ϛ PqPv}1vVEc^\ĿNHCgs=uy/Cn28>K@hLHyXݙ_f~\ͫ°؝57E x߼,'DpA­{DVw|t]`ɞm>ekaWE׬ׄ˅HA`%)5V`9'P*cKRabQb̪/)q2 L}'st)^#U=M)-ތi ٞ"M{K[: ::RHL"`s-6Boj+p$hߓ., ,m5ryj)zi0Bbj!6QW\,/ꠦ/\fNT LW>F*V&Ӕ]a1I.GaQ?FIyF7X:wSfHeD5ýU0-PJ>R3NZ=lj2OϖdJT!XDe od%MΧBw/]G)fgQo; ?#Р9/1ȸ?~* ԁtv=>'R,[Dz)֮l2yީs~30VIIy<0$U׍cH}JХ 8cQ.} 5[ZP^tًUW޴ ^" )ިRi y0~.݈C:DV딙e7a<`vs)#TdCn45 LnAfy[*SFїw([|ܬȐPs8]Iм Z$bu_ ,D0+\!OKp+M=.JUx0[S1^ϑ>@( '5]ISF-vC `*R{=SGѡnw\AFVUÅj5T$>O~`#m' ڞgYZ7zXZִF! ㅘ#=]ŗXi%}B ?P'ZYvh(n 5:2=hKNi5=@%oɂ2tapCB ĕa@z`O$)6p!d [Nllgw/{Y~]K\A^ ܀X7vE"?*1Btʹo)#|\V]>{tϿ\KLlA 6 _aNT=azQ4G0qcnWSԱ ˩~5f!Ms2Qͬ/jg\R-l|!x"E';^OȐfBP>U|T6o݀AǏY=ޯ=ͰA&SyGuNX+[̕}-Xƍʸ#IDH|4qvp }:~J%VFkrZ&o( KG;N?Rq627RQ©ol<^VE0U_#0H&T]iqYC? J ar1cExOfw-7°XE ٸ\ օkQWgm"MPvךVzL0:`^<|>JWbb$g#yݞc8dUW*jG%кS߈ MGSx訨!*Q0Mh[{vƀÜTf.x, *pZ w;M(>v(](:{( 3ZA8y-_>^YMŻq(D|m4 (j:ϣ|⊬z{cq :ۤv!gIXУpգg_zR i8?Շ aR $jXolJ|OO71ٜ7=᷄e<'̹~'%9L&gVT8s諲m?.{%t됕 ,H_+~p~$ܿSƏP-W2/O3s?bx _ANb%9+[<<߉P~B&ft{N0f,d4*{'=h˅uA[{6CsQU+5@mU67+3-v;ĀJztejZ!=U#j-"=GsT[ 1 kZNJl"N/0]?>ch]JcStbCCz&~2A0Ď&$9ԡM6 WC̍n uTJ4zS_CA@Ӓ“3"C + Stable_Matching_Puh) ~3r11(nVJH6?5 |}0(Ǧ98Flrdc$Ð:6j\4V"uЊEǸiVBc% /Sd):44!3؉]5K b2w H1l{2=eߕF^ٞ?ChDstjO>޹ q iwZuöп~ZB1l{ @9~!ڒ7t|>Aa2G߅:IGl6͖j+ѣNq=r! l wl!`QG+fL&Fbڨ pyaL֎EfM %Д۬#'x)`xMRkGH0ԃ3tjX"9_^jo)+?v1ف0ҍGu4םqLܼCv%).z,=R5S'?Zǵ(0gG6HurJO=Gm32?I^)%.nn J J*9?>Da=1Eͭy4GiOn2S7<\0-KKMhsbjDE՟pTܳǨET&p# _ O+O=693Lo‹9.v<Pae/i6ߵYg;u/1A$Z?"i| ύ Ptjdѣa[ߚ%PuewϩV)zDHs"4@{_{'ݎ!@ǵB WI蜩ҊC5o驝d+d`0\bɑakFXthw"$bjt\y#`mSF-.a.L#- kwo'}YA$=ʡ.?1dn *:9V1fd*`=0Xk/@26>ɒPK; '-=Mjj(0eч)&1R0Ƶ /+ R_@:6 Q>)E*F] \WLЀշ,?CXb:w^憅\$aFbfX|p;y ٬C"BMEN'A@kc3.녊LR'ShinD5rl-ϖUʌnOrrw/$D2ŲK@? !t{]7M}00ߛ`8(7#e- 0SJ]Ls'#qq°c;mcGLǮI!c τh!υd^x"Y|h$^z$x-l 84W?-nvȭ(IxخhT`/O7wn!0a^$)2EBiIBn2 ͯ4a*<kk~wO*+FWO?Ab ׃z`Cm{'mK78Q|(cL`NnPݪ,#^ dA[NFq[\lL1oz |^wV{EL|yӞMI*0G@~j6Z;c鑍2Pbǫ`Rs{cYi YDQQp9ꂔUqn֙&R*t5j;$w6YB} 6q-Ut btxK+g|v%h^JYPEGO98 UHtHs`zv ™_#Id}zL0pDphd?WH=Z ԫK%t) n:(i6 u8ܞO&7\ZDEc:,[k[t_#G lMMLj.}Fa@Y-<kgp/Vv>Jf%ƋR.šZȱDTaơ Gs f}'.Hy.Y6mS"=Jewnm(ØK/IbzYʯ[<"wͅ& uHΌxB \d=K/yj(WxIs' J4 UaE)bh8d$Ldt՜k)﮽ʎ9qP<VhO询A+hJj1/#&A>.tqd䉗z~;gN 2zb|sLTtu(FgJwWNГa:P%Dq{MgN ق2Zr~{` FMc')0ʎ*~L,A8ʗuwPUk%UP&}~TF=XD1cj!WiGOwǷGR؁[}Ҧ0>B~EzF'Ffۊp}:NSɈ"kFC<Jp:5lvm0*;y-D< &IZFFVgC)jyE({fe]{?~AQ_(*[򐿁&5=Ϛ]r fѠjsSfOрºɸR59wE#H_*M/@ 2Ku[; ̮{|&2–A5)lmGa#[Xkv xurR802lO(^[NyϒtS +WwXf*w.ǫ 'p?WH׻ZOԈ7 nqձ`3†6<8VkYbE~P K܌R#)5>7(p yi]1yᕂPUׄbqdbD딠usʀj>,AwF2 C#cE=\U6n$ܦv_Lk=#mqcƭ~v!Lک0i\`(ݗ8ssSuol[b-{J#7E*a)#tP\R+^3ƛLQi6}AzT]gR8;hF.kyP*zmN춅WOl[Pdh_9:nBH!E~rnWalFQ -~MM˼G&ZK[)c䛶7ǮJ=WΎ)j&fCkVzn8$SlbHf;u6{N\rF'w`$#\,Ld'N]합ݱjB&Ԡ}aQ۝&lQ&}vDj~Ju2F>\+^@L\%oW`N BI贅]I~:}Ԝ'p[]&[W'\$