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  c BDD:threads=2elapsed=71.790cpu=134.288gc=2.252factor=1.877zXZִF! q H]ŗXf1-/6vRZj3ZX7f\{4= EK#fdD.vgAtJ f/j$ތbh Q~ͼ23"# (!0U…[)$#]{uh:U" ;ܦQ#&OZ۠J;x{ovaGF7QWm0k^sRjLvB}R,;ЊiJ>o҃o<˼|f Qr:\Av&Ò=9a2~ބ>`٥Jrf~G3ckˆ{Ɩ: /cƆj^f-5k 9?vb3_&zw]k63dzqۂLyJ[%Dd97=@[Ps&C =sl8!d|xkƫm] 75I]Τ ymUKQb@+tAƫ}~S@Q`sDdZXC!+0$,G\R>nlKc/!Xipy֐)x\(5GQ0 V_eyfpD|/hd$MǭWyFC2~ah {`$S᫟OTY>hkd :7h+:3 6ӊ'!&#T >I;-vAl b<BHw!y!,;>U$8[:RvDg1RNӰo +qK>1﷓NUY" ,-6=Z1c!3oя 7^(@Kk1~V <" T#^SdVcQZS>ZHt4'j=$au ~YRt 6bAy|ʁ* / p}}M^"' trh Z~05$ 4*%j㌷Ti[&QwzØl׼0#.\8X)/?tE^OԐ}i(K K \BAGIMWCgɄpoy \MCtcbٚ$g( 8Hdf3V##ZBe۰`cB+DRrk!Qv-iZkWL_/٣ZCV[gdaLP)E{:A~L7CːCY?7 }NZP-}j 68(y hu\;[(Wx d~Bɠq7(y.zQtN}*Ao\(O;HGW+  ֥"No7HXT1&讙L]G?JfJVZS ',tah+s)Y`"hL acoCF+' {^9g`$S@r((o1Q;Ɲ_ hh{БB;.#~@BOOBnLjzsR> 8LgZˋ9i0^H]i@8cNS0,iƍLBX{ıΘL>=Y 7J\0⠳T,qg7z %gȮzN2xZ7.`2k'+i/hW]>ˌRK pNGR9,'^+'o]6bZхo,)ڃǯcBI0)c|}&XjkU m,XvD/qq CIoud9n!?b$ק2Mh41=YFC/jK-nXb?PTW\%Ms9vU fW|/b%s>hϏ-1J0Xv3͈٦*ӟ%57HR\B_,>yv\+jtvhJU!5ǟ|p&㠕24@sݞKIgXͮBLG^l1mdx#Rv ] ~T-vo2emOk!ɸd:ǹvB CP߿Y3Bfr}emfrh}9B4\Dݫ Nƛh&si^1Qv6lm8@ǽ[`2]E=UOt~ûh#2w0ؔ\@ |0:>c)ԝ]oW?zV 8hǷ-MK_1j-Z!"$kuK}x~ L76nu@Zzfn<-^ڽEŠ[8ֹ :6MdcGdY6-o 06ul,qY]T_t:pY٫D KVz7-S7zY&\QJRiw!v] ]nSA+г|8ͭC ]xL8(zoOg1S>fTEZnC:. jPD a:dBq=I!%]2z 2oc۩FS'YSp v4ץ,\ʓ@ۅQaW8!bPC_EiTS[ ]vno2w,t،#IãC(E49%+s[ͫSڱ bl2(XQŅ3bAim^hϏ|/%Frĵ:xGj_n<}yiֿѳf)ȍ.7fKWS\"`q|]`tHTȄ* q ^6UQq-Zf~E!Hsh˦Cj"0⋭wwJoC5g   BDDҼ˰J›dP>5 ՘c_Zz':wn{Yvq){M<[o&RV*~dLˌJYiܪ4wUwު?fm)T;Uyz\[փ*۽׍Yn"_B_O߆0$'Y5"8esbF<گtF%cpQ=vGLgq.Z(GYBd嘐i6لӒv)wH: [;8VK:Hlvh9c"&?* Is?,B6h܌._3`#Z62հU":ڵTZ{]!NӇ/;0yZ:ڿPwr{5G?4|4:2nqGy4lZaGKG }6Q! 5sEG un=8lB{CQ@ 6}WvMvJf`_\˜+xM45/6A173CQSVfG@ŝC! ޔ^PST! V0ÑN#~= d.TL|tKXpGu+d –N`3׷dF_j#ږ.R;}lzeV*BHm}"!ьpV7{[~یrvvY9O&r8AHBn5]xiJ-pcb2]cI:xaˍpt߈Bh N 8QKv2>d TNK uGkh>ΞխP1plyzz]~m`7)b1%ct9ta-V1uX᠕&ٛ'O4 ,fQL-7`M]a2cw/$T lyg֭T!&B"-J()1q^ "D^BB$"KĉN)Fw9 C=#TYxv>+6d&"%#tV3# ]=eTJpxT,Eb"DQEUF(AdM7Sf>/J-P.աpE>F@>z! cmRx2ZҜ±M:]!^ /ĺb^O$\FQ<ݯق" =@9!X-n9I\KS!k-ROyw[s׫)SV ڊR%< !۵ E`>uX䭿hJX^yNR` [c߹*z'60VةJV>4NBeYU{Pss8w^_t=-v+ [lFXK=*FZf؋Y/Vcn|p ʓzGTc+aJԈrDvS!ͩ6vgYZ7zXZִF! e]ŗXi% sD,4 -x<([4y <SBDcϸz.G̲jm󳺽g)5D BDK TՒ mb@{ mdK<s``JyxܡK&l8/v1hUpe8k4gjA4ʃ)(|4l=!/#">?bgt8z@E*9l4wͤf;\w@ ‡W+PL wNiRP[pFs0(B6_;Cϗb_dKyQv={NmC)ڣ^hĽpC@aX@ߞ>b j+*}`/iMIˍMJ010X*]"q" `ѭ]-9r4ULVAςoZD߶!ֶvf@RoM7p)E54 ;si"E{ҁU# i|9:I0`5s ں3V;&e?*NƖ紶3!Pz}W*0+*~>I`6[mkv7+:h]$&O:7)1~~T\C:Iaef{`;! 5;0;3;hIq73Z'Z\Ҿy}Qz*P,L.QxkE|L'*uԗB vD+l]'!EU†ndmNG7$ym~[c(A'Z אF;§o9Wv.vD mLk3 /(?'3CpD'Ԡ0|V%b=\15Z jn [:)4YKJIUݖ'*k-hui c; b(jelND++Su=<u`DtT7|*a|!+o&8cvROZًAVTc1 ԇ2`:[=7 'aT]E[]Cͯs^9܅p \*PLs\Rsǧ4!{8axӚwc>zh"?`xps) \Ւ{IqH_irid*LC, ⏇&q3Skm` g~ƺJzsrc?X$n>"V` J  ˰x㗘)= D%Cc 1>dۮ_ 3BX !;Vf[AޜY:q= X+^`Lˇt{[+p[GOs 'v@JyJ(:9]4pF.oh 2͐Hl[s0٫Ѳ\%Ӟ9-k":8NdKv|dzķ J[Ve8>3IIETvZ;cP.3H,_%O#^tHk} v: gk^ORQxz_#x|A/;eOfU_kg87 [& 6ml7;EUa#xp7Y0Q(.HoA.KRq(񃱍AYMb 3vx3W.J5Fe:ߊ-\. uI=F @Z3s5pB4btE#gH,K%L)^y@wuXOg[IGXXdoMT?2٥98޶ PD!DS1K+@\|#`NN) |zR -1NN0"?, K^v4K 69O =,%Ċi\yShIj6JPأ!iaQbND&0]UI0am !ѽy;j^K^  Nwɾm`z2\ tN|<_`> į"V+ʖ)jSt#t=gX:=='2`Uw94L^k9sU" 5)80_ݺ|8hREMefo63İ=yy $ <] +B?˦G5WW2HEݸ';;$ڐ*bd|ҋD$ep&ҽ *9J?nz$a\g}u#I7'b7w)Fџ`-ggO`w,׾u4rܰ /j~?J Aۄ-F4{]07PRQ:t>ε)C{UQF ՝#Ja*!ƪd ̘<Кg5mrQ^~_ ڳ%iiHFweLOqe;Yy=ȄKԚz'ev_ ]ZG*XY ^ 34]_]ڗcr#4FC?7]p?"TkN—n$"7^Hyt6)'} 4V=K%ٟk!,Pc?/_)H|W:kOݮn~T{3FJK!FM83FYW:ao0 ċ% `&Uf QhK+ğ@6 5NsrMoXUV 2G u)~WlUs@5_ړS404bV>G|}=]`%7?X(d)20l]ѲɱZЍ%k?׎J[J00*\6u+<A4)f$ֈga /ƆDhg5TD%6\-HH^y˵|S-U#D潻>/”﹚?[.+=F8 +C0#YFУ@p>{ WyDgY 6 YT$Ǫ}aPס'urSE46fǘU "rZlN^^9tIW57;apݽ(/rB&R&gNk6uM=A~]Y[_+y8eI?R(U]kDU+ GHq*)e7@#kŨ\wvebRVp*sɓմa^/ZL`ѿF<"dW&D [s |Azf }YiI=nvORhfre|E{?,2@`[U;U>-L_ǩ< / ԣJcFonjk 8