SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 22C;D D ] Differential_Game_Logic:threads=4elapsed=89.320cpu=149.584gc=4.272factor=1.677zXZִF! 0\]ŗXf[&"q<:%jrс4f~_qxhtmH&(.R鮘 00X V)f &FN-Aqg3 =N =9ovZt`o 8!9*Ǵ]er]K,:w_\?5I?>;)0Hj['T+*Zo,OMhlȟ] i,-Ko14;Q[F9 k5 C(W=:zN5G\ݕ#jDnOƳXeUN5X-n.4ސQdQq2&TOQ#R'E7$rEݔkw obvZwi{"a&qOkvj!`ނ &Y;su*Dr#=!?-D WjT{1;.0łv$Eo5W   PORRDYlɘ.;.ê,nėGtyLXa^X"n1;xAm$ȁ^aR73KfyJq{EV*~貥= Raa靿@LwopH6NЕg]*N"q1&Al,8\?7+ x.^Y TE)hr>V#˘ wvR+ȶ(/_檣C٠/'}юL%|E3ISrJ2#x%o`.WUbqe%f,ַ"[ [5.qƂPMPd23T vd=mJ!#J 12<?UCB>Z:cJb%&z=PX8k4\t Ee@6 iir `| HyrQ:1ӆwK(()[u{bHsToӆA3%ax$39DRg3jb#vdtu|$ (.Cj/_æv7 g'O-xT]O(K횉PQYL3`YgYZ7zXZִF! n]ŗXiɟj%r7OA *Ձ?sބ49)C֎V9Qv,w#PR*8@1ȉc/hMaTBܨP pSIoQ]9LDTzg=H3cuejT[R2Z@1IϢ}[9mNBF4nF -Kɦf)5O#:xtڜ6Yzm gYZ7zXZִF! ]ŗXi%GT*<'k$lB"]V86WX<:0qˠ_l޹)U%w;^x `T8]gz#P^81QX XQwusp+i 5U89D%9)&+SJ* _; =Joghq$Wҗ-mj@W.FQ\v߮N^8^PH>尲,E9*zrC,:1;h64Iʒ:$uWDBqj6C )\{L=&f I(77PtWh5 QkA]ǽehDh?8ZIMxVpغfx8m~jM[U]/,[ /0$ϰsߣCj\Jl cÊu}idg?.wU!qYO&>+^7q|DpZRl.+,Y>Ջdա%Rʜ-sS&mW+`%tTHY@o݁}k2cfM:>#.$wU2n˖KK _2ފpl28Y_zgMam`1wg閴8Da:-eĩt=7`Jf(jc@3 ,.1=G?%>,t62 z\Gʇ*xrQ"i4SyT . KL YQm yrP r9fyvR[!4+WsAyuť9z٩rJm%*zfA25Lܗ8u꼳e40XQ;,beD'ѐ9fiy+o_4|FF=OeRWU$PU/l;/ T W(g49YvV="T·X{{{ 䝗Qc(,  p\=:=.&ɌHd61 RcxjܰTk|L?[?GX_ߊQloqnj+yL޽_"^D?_͸8w+.ԇ.ہus~jL(=9|0&b3T,YH$ \`Z^9%>ON6gh=~T8kO%b Įn2侜"Z(A[|hr V2;)} [~tE> ; Differential_Game_Logic  fr6sk5ut Cs}<ŗWlZ_~'dI6爌6Τm;t8YqLFA RdϾByE%]ڍ+Ow1uPGR p0,ZySHiڧOXH h߆=d$oHvGdl!kC/):D>{*7ff±y&4MeyQ9vӦmN{$`9'fUN$?o_\2Q:JG}IZ3}"fc5ɥa$c=Nuz #lN8n$(9Q{an*r4{g{ Woq:isB-_=[pԴFM$:W%2-ss)RJ9lc%~Tp;~ r{}k%;ϳTRWvޡONi6I|~tt!$đnF SE 醀`xݏMFCL/rUw6F,?uau`5p : MBE ZaVkJ7Q 2!اn2 aOJ :-~Di\˱~.ŻUi )H\>ݒVC>EbR#΄M>PaM(S}98ɾ>6zA75n鷊JMLƇpaɿբ![bwdӟYVRf)Tb"`gy7bqNi93^tk-MS@x;R+wh ڪֻӷ/,w잭v4bJo~قG` -7 '*]T ӥ5)Ig[g 0h٤ 9;?2*h7*Ҋd 3Mr $#F.҃N WU&ReXϥ!1lYWCku`_)-=rs8}p!$ǎfMZNطwq4:ɏbK~u]=A%t.LeyB<ϪNS"uJQr< [5(v7qeUB1ddeۆ̖a7KPs=iVJ!mýGNw~"+m\bseNA% Ъ nJ{2Jm.4|_ӂePgpq$tLu&"Neȯ8UΟZmW՘ q1}w"8"l&]𫼥<9B ~3INYSc=Y]l-y@ ܑ:m|hI*˵i٠_G<)gNJ+qyW<%z{"'Ko ]7#9:cΐ+ɿbR;Y4>}LUE>0nlR+;}:j]2ThqbL\lO|DnPOQK 0p*Ybʙ̔9:GMWggGWښ`]xR>oVI ̜4-lN7y.^} :iE̶NV@UJJҫ*'iyd=͟_Rj`6IX)ϽB5[db =)21()eXX{+d]ţ+Sy&VCt* ވlU%)C'ǥ&)t=@d7uf]H`ETɣ8 4 R0E &BC|)m'Jz\Le[S9bwfgIXa 2wA" 5h>p'%6~QQk &-jQKϥO\ij~D/`k3 ;zf J[mo+E1NƔkUۉT Ên7GӃ O6JAJ4Y݆#}ZEU(w^TSʝ*~,p/Wm/VbҙIf۲oLhOu~Y磨 y>i˄n8TxvٰM1n:gYZ1aeb21eb3de01a96098d0ed74749ca1836d1e3914b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2 87c046ae46345ec50ded6c0dfb6f720da4345c11