SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 ,#lL ]/ Parity_Game:threads=2elapsed=115.118cpu=210.340gc=19.636factor=1.837zXZִF! |/ .]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jkMn9EE17Cm㸶s'frKPbͦu0'_vx?k̊aO3%H)?W&=p8i`1/AqmH2uٹÓjMۺ!H4~( LzP/nS} CBhv>p1 NdR&|qU9qN @+ع}횃^W^T;̜sa+Tmxdp ܌gbV}R~8f`B['t3 P 7հY:/\ԼTџgxCai"/OUhp{Pvd!z}+ H:ڨ00(oG]gC'̐ƌy[gH㮐a$+*o9%lH>ЋAۘ7ؠ3ELqL4duK[59Ѕonvȱby(:'@ >ۦ)b ;ӟ9J6ج'hKq 'o0zG\vYIҜ'' Bϗl Ӎnk+Jy*$ -ma3B%ʳAɂO5y'r$*gfğ֬]7wLLIv+\őC-ヱN\1ϰϓbr^*D{䔙-vB'`kꖌd'AQQ Ĕ_(%KU(+l@iijY %˪0'w<&EJ~](5Q`Lf>GgxzYYsOJ4D+f|&(%'+I$I+W88ZCe}A`&/Pj`8tևª V}p1r1O]%C4 v2"[hy˱2K?%{2_vbT K| Ȑ_[G'et}Wg{,> ' eR,i(Ӆ^%p\M䭏½),{iuHn1[F50l<eE¢ j0j)0?B̙>K d,']y\2|R٪R+v>g`̤ga?ʸE˕ -mGME8 '4gңlCpEqk[1G%Ƹ y-5yNOWsg'Oռy{;@)=>frxYshLQ>z۠kY;wZxq[aa)ijY^|R@mVSc~bgRO h-P;|L8i]3>|0KzQ+?O& !K:ho鴲 Z5QMc~~rD'{ |Kws*ϒ:|p[~wkCwxe1F2tw6VdZ17a` OteS+A>}Lݜq`yE$dZ6V襮[7iJ.A1ϣ)YKd\hM1xg)ƦͫrHܻg*ZS +:4.%xLP?vnS<\E[ -鎿 #!bstwu/oZ +W6 jR3+Xm.+4i(E.8~t, w)gv^oM:0XO ̟ ,/Hr2 :tIz9?zɮѓN܀|*[2vz66R+:SPͽrT&{q~ꟕy%D+ %Hδr@ hG?G~د)+5H'\'LE K׺܅RZB,XM~#WS?EG};=CyQO[!qJy bb[xX4jri=4pĠW, %;>N Ysc KdǐqkI6I}D=ݫ4-5MFN<47qS]%j'Ctdzp-ScfSχ'7kݍrڠ|ad!}Ὸ^^g7"8),WAa륜kY;D+O@Tb=e%yaK-Pk_~q+5ּ_6gvJX?Ox#x&p%%'C2O*ҝ v*Y%הdžI&u.(Cr"ܔC厭tQ0gHfsFh T?^ɬ2@utK/ݵ6[S~^;c "KFb0o<ܺȉB 8%i"^(ꙋql1;Ed̔sQ9mYyjY*jFz cN}ތq2Q7N$i1ưsuUf)MZ%geu/hcq!ŝ%,&u2!'\ZU;y_I&`4Z}PY`s4~ sCk75eJ2ی _UlƑ|ɇW%0m7F:]Q,ֵ_ېtlZgϞ=Q|)p 3v=Y< ^տb"4B\ѯc"I8U<`$Bm)nq @?1Ҋ[c^[;I <@)Ĕ"7hD3F&Eb 5DkCCAtڨ CY> yh.J]'[Ś33Lgw-QyW7PJ5 ٳe(H: _@6*Wzh>[_|X/{T_Lz۲o}rZ^쀯F쒐6;.ѣ%Ι0Uv|('Lo*wW<c/ߕA=N}5321,ԧͿI`v%( s֊6Z qN~t/{+Ry㩻4.L1Ye?{DֶF`^[U>L6lioGK勇]›8)5}!^ xAl$hw=>8UP4 (6'PM ˆ@d{Ԋpۢ^e[TąYwaNŕzM]"(h%'GOrqexŀIA[c>-ޠPٯ& wC}Iޡ@}m )\nPRyll=[Cx(ֆ/ϋ_?Vh2mP;ۍX)0Qp}@[@׶2#5#hרGҕZ٧"zC#w#Gݭ sAտy~sU8s؏7~f}~dՖ-oZ!I\i7n{QPXE:/L g//L׎^h 9rf [C ȕ>e8٘7[VJo]B~Gbt/$m̩q\LazMn`0]y[6& Z5 2GǗ I/~xȷáZCyQ6{Fx6q}0ŶV9%DӪiU8d,qlS4xtnK]*tovN*7 dߺӀmlF!3i/DҤ@Gp* =R5Nˀ~}P7Ɋ\lgVAT^obx4(im96ZWx9T2nUW Ӭ<ֵO!K1YbH`Μ eG.OKL;×L0`? Aʹф2WX+f P8{eg,`NR)w0E xiM!w-59պaӯ[`,psZQit:ӯxSv UuwT~#pWwZ*J)}3^꒣V6)5vmd$gG&t@!D-Q _#05*_TIO}#o_ȲB?lA:g&xaV1KG]*y HrUä\9]ZwIvD%Gx Vf-׶ݔ2>>#.N} LCrzhXq5&49xhm[Zg$r$`\7+I+>XwJ޸/uz%ꌋ7ݧ)* VxMWJڑx&ԚН iqBH/.Umu @.?`ovjrZ,ױydOUi=}HCa3:<% npu~X75 F&{qrKi#0šӔ_J6!upr/smhL5tY[4>s.V &?xKiTɺFO%>X|?}pE[x:y)Z[*KƜ5ϱ[fD\ !WD q 艂L-h;(d,rI0[vk? լ.:Ea1/)*H!ENE-rыgN:+uP6j] /HRH=Pʰ>{MJ/>Y;+B629F΀YjU Nh_SU4z0xw4{o`xkg~lЊ;pnXe=#* 4T3X}dlh9u["0*kR *7@n\%ƕ/0uDt !?!3C>?M($6#脶8NлtלY,{Y̔䆡hSD) Puf p+u&%A' 5Uǟs]0>ОVSt.## 5*)zD]#XUN]5%E#j4bw25:` f=yeS@owz{[E&G]c'@ X@r:zPYw෍v}_ .Hb~LSq b@wZya`An8-I&0hSdDmr(RgZDUJ3 iK "Du:j[[Ar,vKx0.xa-Rwv X%8ognvSoIadUٛߡNh(p;ko=rÏOwLs?N_RjVfɗ@jn /-=Pdi})QÈ p8hn x |id\AHaqatR\["8D+&Y@2sK϶[mNOrgJP$$ Fy.dls0)] >4% 孹/YiѲsdo&q:Ov#o~Z=2 Wy(ȬfCߝHsBXҮp~(5!$uA慹1~ҏu1ekiYdRX ܡ#6(,  W2]eaEm--OIPКHf}?PD?@!8@H(">O8K$CA;3R 3.(IQks'+HVDc wygM/7 w iZ194Êv""w1HH g:urYC*5]Ce26cT퀔|>M|kf| nG=vQd'$(Ġ8mg e&j$jéyde?azsSR&_‰=vLX@⅞"H?wL8 H?'컶Y#Raѽ/l1?VUhmhGVNCw)I;<Sv\fVV곓1X>4kV.N|g1ήXL-(+TZ&=3[@>vf6| j|%/YPx..`4  |59Bbg]x?p0rʝFe !azO6n*znM.VG6]\pM8tW/0n {CS7B L:c!gȎ|lS4yS5mZLx:wg"bZ# q${J-CkJb]pC &:OLӪLkaz 97˛l5uru="F0-mv|%TyY4_Jc=+l_W-uI©Y1#{耋m> ,3Nz]PhT>=P ?pCERP;*諳A#+"?q. xH A*RKLDs`(y_clʃ;.z% >' XI釦OF-Tk>(jl{A->ՎIb=4ڸ JQ>-Ґ$8?(){@[4 +E.ER+>t+'9$xcER:,]RLbVW#cDihux5L# ,r6jX>`)}h Hׇ2eFyQ nz>Iq5zIzȃt+ϰe.0H6?4;xّhzr|}a+sA>Q6ԜAIl_54L[+=Y<:fO"kT2u4PRNl+biiE&G5u KDA:dL wS|)~Ze* ǓQWj|MLF`3H{=`ItY-Sm Ø=!>7+ u{!FP9L/(F}|;_CAU[6:M$ml+raVj*j Za<{}s9$;_QmԤ.*->,Bֻ: Ͷ218D0 FJhߗʩ<6`ҡD~n*dl$‡Nι߽y+ خ/GzWCT6qM}JO@J줩fVqtM%WQ!Oui @AJއ1 /`en_Vf k */"-gxv=݈lZ]0lt2uwb ox.YC%Ѓ~` gM{ lݚCJ$l(|p&B&8TR|Yj{a;*%?j/~yV?)!6EgYZ12e85b2108d222f79e01710bd38fd6371f8d97b3767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418