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 --D#$T ]/ Parity_Game:threads=2elapsed=105.875cpu=193.052gc=16.220factor=1.827zXZִF! p z]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jmthZ(`(gӵ4b<7BnߍamOf5{ՌUx@LYU)(K*41cA!'P#(Su-Bo8ÐWpvBx:_ϧS9kYd-"f_25l{U{%(Ū:gsշ_5Ei-'y"羲Z!e\7MP{KgŁ<%Q/r%<@#iX5>șjOUkẃY0obY86h?}E%>]3BD-x7]t츰t%{? <} đ8rjŃB;  MWƫ߻ ͑h{|G`åUmNъ)mmg^ O dy'c@>cH^~ۗuWuE U}4=6HP264@v-Nh2|CT#B"K&2,% y.ō俨0\BQo{s:s Mg"s, (_A?ن)Y>β%K+QlwW#nݻ7ֹ'Kl]pa4x$I \̜vur>>Τ<Jt(E&JZ%p  AjxdqpFb, m-PnHTM YB|_uv&U &7 O;iNlv>b dB=0jZ_~{.rc3YM#ys/a{z"{VTHQUhoʋ|(Cj*7l3}-Q65H.n0d k9}r TX?- ;1Y~),$>flJjY'Esa6qMBQ /j"r!gYZ7zXZִF! a]ŗXi%9#nψ4; @a }?xHE͸ILխj)6{߄l@D?s 9:5"ʹ{K{p؇:;|BWl F\(P+!#3QY[˶^r(8BMNMDͧ`jt֫EPm*`SrJ4}kfvjthIF7J.»|a\Eo]Cub*#*s\ks0]*hs-.Y`x3uDe_/t_~$ AXe{['5Z H%Zᡀ/7M!C,!<OyJ4$0vBB?£]2uͼ|'X.Y$=$EӄxPZLI 2`BznU7S(oEH^"2kl{ʆN>A9c^^lā&\>+2 )NߎY5+3WnkOAwzRmB\[9ґU#ĿĿW1iQp𺅟'~}+(tߊ 4UޟͨTgj;` ?GeKU}FXՄl|e9N"5/㶒%Bvѡ-"@q!1.FeDO,`pVWqoHF09'ĄGkbXpN m0n+G!\XKt^75oXiw{`Fbi z͵UD(]h "fRKG+-(uHy L2ZNuL14ݜ[j<}S~(5Ϊ-gLȌWrl7 #FDDqv"xu>ۼ/%مޤeT5Eӊ*yjد(0-YqOD%w_(^^!~8$k񻏰ig! V=>?ѧI:2~8u֯F^qc UqWWW>z=1slb.4&%H6ɺ1,!.@?/r'0^\hQ"B n~5Fc L50n1&W*e:g閙FLpe201H Tdn"N3b|?I֕.B*xz_ + N9{l#!ED`yj{Aɷ,a]*,1*R{14Boq v d*/[4͎u;S=kCǴ:Q*c[nj96g8Hv3;Fp i%>0x:_?'IU%e8>Q'N }o w%6t>E˞f cEJ .0T0PeB9?uw du4CαcV?_0"`x9w mWzMӌnr"H5˜lS ^u'?x߲8%FP=9+3C^iax)u2t%н!gѷA(|+ eޥD jX#x}r 2䲨?בĖq!̅:T&=q>/qٮagj<(IVO]|IaN>6R={5"Gf߿]7pD2=h$~|͒+7m؎;1ʇ %@B=ȝ%;?J 蹮R&?ť}G7oJC!NI f(!(%?"Sc QK5d )T^(lEiٯ>c?kY9<4-f0_*l-QI=qKU6'93myl8sH(w_DL _Xjq;PsXt<$ m$-be\6AM+/VA3RDcAeKy6L= <牜? ڤϨ=|!ws*On=3iY |Ij,+ta?Ae+9<@@Ϭ|1܎-F!:BX^_;ꯔ'\/ćSʆ@'ZkiIM9 w0q*Ңnn:Ջ6:;Yne7PJ{2V%jBd!.{nFut8aKpiؼjRHW%w#7Zߜ$zU,I]`ޤ_J<|g#!<^t]j5kZ VrUūda^9XLXҜk|VR:ЛEŚ+ti]mgi|LH| y%jlouA~ iad+ %>h[aF$"(D.L@!i+[YFeڞ >SĊu\+PZxdS:b ~U/grFK3W7\ & LLmNqw|N!5(<9"^%ssYyѧ7k@ݜC&RHT`Ts2`8CKst  "^S"tn#cD* 2jT^=>te`8t r1x jX吏UN!ʂ=Ńr#Q;>U[:sK;T􉪒8* 0Wt`bAUgD /:{2SR'Ta]+jS\6eqQvjk8w13 b\fu*h:J[trDAft I:@|kh ԠGvt+Z۟.0k /QZ_00Ƚ{w ķabb8aJVYFw;P&e%7+O!$<٥o~[4éK]G8Wp[}SDԞ"p:2=C/V$LC,c.݌J $Obsl#GBqM7UE1Ik` p+v\HM} +lN=䅪]JBY"45Y Q<]kv_IJRJtGg^@8 VخP_TeV\72Eq@u\Gp_zM/:-o C@tw.;1?YPQ57Ss}e˖d,5tR4ĵs<?#S O(Zٻ+n p?)q? Qr޴uUӗWN`(~è(H&\1O_I1#= zt𧬚d(۪>JU<yUAx"ڹF+M4DQ8P6cQu?g{[9.7}ïf H`5*'Ǹh=Hm o1O zp<@)BX@Uky2MyEg0>v{bno~ -9ݑ:|)n1qyژ+}εBjG\@DIsݍؒ}8GNg>YDNn ^ҐED$DaPii%I&LVgN2+on *VϚ ן;.-gYZ99e41beb59132f5db8459b902eba2089068722058ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a