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  4 49#ldD ] Native_Word:threads=2elapsed=255.932cpu=226.640gc=5.932factor=0.897zXZִF! En]ŗXf1-q恈͐7ӺV -fv~N!DBO84m}ˀw4?X!~d@J`_Fl@;Uɸ؇s 趥᫨i͞zY(d' kX" 6&ɉ6M#eJ e6U! [ۭz Z8F |o~e5祿`=ǩ؋ Z =4$0bLf1:'D9)Y(|la#d@|g00JPƫ˰b$ڭ\a/d|(Zx{4eaչXNu{dw0 :& M|^tUJ&ΝYqX.bzcR =?ChEPk|!y]eř͏O=M8_#W$ԩcc_>G얈]pW4,aNHg(OӅhY)l x|D6懤>U;7j=}*N6kA $pEvʃwBC=(y;f&kEu/9Sf9 b*i ֺDŽ:pY??8D\Ur NlLk_i;Ņ٦KK\)['7`h^,gl*bg6)17~NzϛvsV&YOؐmLjTZp3;}U_Z1{L/'\2f!l6B_3_RhOL۠}odfwjI\ @bnp^08R # Native_WordGwQw|BFٛk",RJDM@ʆX$wL& P@ wѯQq^}4AO^Y)5"H)ɼo(%1jJE\XA&SC'&]7^0c 3g$F 9}/NҒWjwXܿ/-bB4qSS'@ߦ:3ӧ٩0,v.UL8{in?sI`%F94妈g][@V="=_O#2|zV I gWVp:?۬S^)ƾP:P"׏V6d&&Sxо 헩eiE1?Q I2oEMEb3SWŒdLeNDNVH GgFgW؎R?u2Z غ-Q 9N*uw*m[8kFw(@.gYZ7zXZִF! Pk]ŗXiɟ1˦rnzx <@0+gML/T>I ofA\y҂6kK5spMezdBM;pg'FTD뺚=NSOv,ǂ9{\~'r a^6KqBn%I:6)8Y|㼯!KHOk"/:^gVv1E׷I~Mz;[\Lچ^eE;"fPdk(3x $;Ku20C+M,H7#\on%ٵ+Y.ݯ !R2/Zi OU(r};5z@n(΋xch.|h8~CgYZ7zXZִF! C(]ŗXi%9#k%(ha[;E{ YUkP h.+v#xvmSԭ;od6>en9h|Hp%֥ENi@{O`̩K[&s%a*5 g|dU{>||0NҎb $yk*T3m ﹳpjl;5AQLu%GGzMbYI7/#ԙzgHZq #+x)?GגM8`vO 4 (L8Bg vˌAA$Hב5xz-(Wcrhp dF`lV'ٽ4 `l>8`ΎB7S<_YK s!nWƓq;607vxu~ݛJBCz/>֚̌K+w2 = f*:?Tݑ 4 y#y*2XnRbITWjUDf 3ېE TS%/;(g,$P<4xu'k lqWvZm LXQ :%(pnxU7V}]lϊu#LCg 7p֪uvl9TFt&%y>G: RjUÑmB;w`lYM%Mj%Vf~H58u֓rJ=]bW7 G# k`+ΛG_jxL}@",DMc:AKS(LIQmO6B07"`q3iW<4^[kq6P+[F}"@P0LtpY$6ɨ=Ft)n:9 ˡ8>ʾH)&n'g*\V]-ǝRܒb+4`N$S0ſtI(Iͬl< xW3zkvbY ߽Uz>!.јbcZ6&~B|0)uؼ@cוKWRlɱv3 f'+f;ҁ$. 39GEx{}gyh{MG|:-Qm5k ǓM0m*Qm`I94y/,ʚ5Mh?;Z,5hŰq_eM)K`N}"\+߉i-߷SM{ӱ]d6Lw`ήkf-N'K 2=!=p 25fmc;Lq[%]!]IRDQ2!mt)l7oz7EUEX~tP,!IYJ"UICT61Ke“+5̺ؓ+5diĦY]v߮e7,IEadܟ~&f@g:tcP1Wz:o {Lso/ =;*IxOpgd|;@])7d y{3aȂE)u++ʅaᰚ"NY2 "G 6@`'G'NMbsL$әs?sqX%Q>Q>t} AZ" q{=MArLfIBb_i#V`wr,,0 WY!F8WM,`,~B#hV)н'd9XP=qQ.;ΛإSiɇ=)iRwԊ[ks@_ȱR!#7Þ+5!͹N xz.t8P4l;k^(_37n~:S]' Eڠ!g&{kWxh*Tg3DIm M!p޼9Ať֩V3 xm.}C:xaKg.PPU5̗9-dLD>rQÄ^Ky-.^SkjƑEbΫiZ}m-e`:Ym;H"VH `UȃUZv@ dۀfœ bҁo"jQM0݂?XL2I|Q|fy ,ɐn5(xiS'InpD^g?ԁ͡V L1q6`5]X"l%okB#R9TIRcG1ʳ~> Ǝx9dg̠۵y:SFVC6PF魨rCC / V W̞M?X@1qy;ٖ xzFEM8!y^ |y=_|pYH6!/a8gTE~#ac\УFB7mҿ@MEZϠ$ ũJ W4 ~YcP zqJ(Uo}\;=1fu@]GGL)7iA<<G?(C !Kh 5SO;oŁ+D4b"g-a>6-{x?mSfiI8P*\,Oi b;QuvKG_]۳jY^U×*pbk :YZFs8Ŷu ߶SF7DԀZs!53k'X@CL# )'y&uwZ[;iXŕ1ln"0a٘{%~_꿚- QZ%(-  [L qW'"&1,7REOPzbT=.פ'x<* "ɢ@GDFqyJ%ڦ k^br9 j}[4WpYʥ!rda.6gܶa%JKt?le ZE6LpqGECI|!Oir/ ) 6R3bNye8<8n Gxq" 2D !1"5hX9=K7V謹{{hIwP h' b.8m+e©DW֣(T."ę Y;pJR=8yCvLZ#'cvF6버,%3hv_M7Pɠ !0o>XƕJ5r9 "*ܢ\E.aG'C*/ xU4Cm^O0vma縗 zȃA|h谿Fhæ])$&G;Ohe`JvT` ;t:˽V(oW'o\OS*9ހ3%?SJS/LsI|lY Toʧrxqi_+[sUQJ%l:;}7x^V gFJ*MLDP>??s猺OVnU&9KQw=QQ@K@P&ސ;5~ j\ZTUeA!t֚b@ #^5eFXa#`@U) 7xq)UA :KTJJ?W 4!J|]ŽAH֖&%]FnS.>BRQ7OL R=e)^E,L$C&h†zPFcb iA߼u.Dë E!`J858iˠr|,"]CБge4Lxͻe8 F;G*{[ C~e(-]!,O_EM-ې1DŽ߆Vk}qV kjf;9&;|myB.kvv}[vwF,\nYCRN)g>|c($`&Oܴ?B=lG!WuT6=Z6tQ \5O~tUC $5335Wx}'5`>W莾WksII%gKqsJqP%Қa[ ##پr׻cC2!;Nx@1SD5AsngW6~#AwW&sƪ^Ǹ .Iu7GժP Z% H=^?-i'QMlXouWǧ \''F.(@+ `TϏ؍23v/c0oƳpKd񠛫DG98@>,-W6ʩ5<'Rp~>?..ֽFH`&+/#|:4x0'yfdCd?yQ9(Zw3:6qm2QN$7$tX-T>1Hn8<=KJ-_[%&)ָ;mTMvS4q4x:[פLݑ/=;IU͗hWiLeRuDiްG]2hNw% p6"vC+帲P6w4q<+!:ѺvRVkVu1ߩ+X#T kh~8+m': Zl#ذn5MOi 40`?H8B~;[i!FmԿY1uu>˞>r%Lh=tɐM`ljM[@dzο z:D$) {{~cATV=RϚ~Jybt y{8ݑL#Fʡ/bvMe=Mͧ{݊κbtb "+`Y֚{ Bމ-Ƕn` $ɛ}L葟Y;}`df92ME]0e篾]!zgRC"]pp6edah8Pp ŅOu\'>67gIB?8>9EEˤ$٣Nc*+ɡne̊Jq>bmG\;)CF %?M3߳rZ!yXAp '+ex!+ze?a]q@}8O6ix$;V^Olq#ua[0:Mhf[~O aUxik*gI?8qB塄VSG6, Bvj48׀-tW'#L bWut~3s '>{}^m ͖֯vk_7>s:KPJ4%W_݈RBwrѩrwPFvGڂі8xZMoge}g JeD2 exvȵ-teU>LmhɳI79Uj~ `}+DGځtnWFi=82ySkR$⏏JAwD;3μc߰\AO>ʎ,$25ax ŚLtwXB%F 73G1z1XrI{}s!`ݤʿsrtr~p4kYLŘ˱LL׹\3 ʨ!}%J /xU?2~s Jɪ?{;~A/0bV뾷vMAgK5N&:ͷf#Iz3Uڂ~Bw#P3-u;jH́EϧVܵ&|`ÄW^PѹH;H?<)m6<@JrP4*ݹԹ4vCl3W%hƗW 7M;bcݿZxȜI>q 2,,^bD@\;$$Kt9/]˦PC)"*zaB鳉b\R?hbrp.$dW y3]M^_ip.`2+QAg9Sߴ8[\}Uxk\PkRT<]AOg yJ9kWM7@qR;8sO/|chU*W$>s6Yy .y3+ w e8uUetE(DVGyM#ƕn0Vl (0LdF܃&BⰪ<:FWSf0Lcd"qkuJ?'In,(H<d4s_/U[) _Q˥r~|@Q9RiN̊[mz@ h2GPĂgYZ1211efeac70d074477d4c991384f57b9f843aa618ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a 573c60ba3acfa61cac9ff2a6a5d7e478e6bc035c