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 +;t\ ] Differential_Game_Logic:threads=4elapsed=81.599cpu=145.656gc=4.576factor=1.797zXZִF! 1-s]ŗXf[&"q<:%jrс4f~_qxhtmH&(.R鮘 00X Bkܐ 3]:f_XmsmX$L 0n.: x5^+B)ke^;Gb_i>#`UMLMO팰uMGJCkWIL_lIHlLO]Y5kf\ٝbbR~̵fty10:؞5%[~DcEwZ7I؏C 5f"ImкP[ՅRکduG7g`X}+c^n S6xpHA-'ot .8Qa;M9m |0d_p`00!/TO[,˓$=z Z%!uԽvG5@n.Ř6Mש%ɞvN ,TT]1Qu)br_Ky)bfP1p"Iq-yES-o_ܺ N-t2J3L/T)yQa7Ee@J&_ b e/xXPΨIPf3]Gd B YvaF1W2[ ˺Cu'ЊWC[!ۼ׀kj:Q6!M~"SL:(Pg%&Շu̫-$w<{׭ nIkh@m *RŪBXgņ8{ ,|TрngiCər]GfD&a?36ڶi`JS>ۮC`.hP g5U w/GI4XWXԋN e94=4߱gYZ7zXZִF! ]ŗXi%Gj0~|j$sL{wfIkctvF%F 7{!иv^k-|4}=!_ϩ‚YS8Q]9R]JԯYopNw}xu=lF˾-"lRM+OEN'_2I AS5ECXV\^z e6ֹ7%@*SrΫ.&Blq,jQQx yh'?HyS'AsFW6aT:7ެ7jb&űƒSO28 wkO L R=ZIy&6 O(Or?/bE+yE.3 wEC3]ˤH9g3Ci2>t*ȜvI9 m=8D,̍p8Vb\{f04P7- B7hnkO4zUD9! r8boEiwt)RX;Q;~VsQ{kQl}m߅g=) e{7`4.# <@ӗ Yc!i1PSU=jBk!@ha+5VW .gc =0efZtrVW|le|{YWVk%za.5rcܪKW?Vɤ#:=ж! u=@qKlU7^?0G^g!Q Gj~+/eH qYv7k87~hVcoptUIV$J)nX*蝁K(r -ݓĤ?3b? YuݰWMW[RH.Gt8hܓ-3Ϡh7*lQR$=ց^[ҍ3K#d#01ͦU?h0ÑN2Sxݺ-o-o>Ro)JPݓ%gn#]-+s+ i 9=dZ1X\lgP$' a0I %+>K3iQvua=[ɷ,85q'b%K续0IG~_LhtbbSs1>iEvԏ.UI!Ӳc_C7-wV#Ei1MV>ANٯf}Ii2|^W٧[]KGϤ❬wF V{Dvj,Rtum E̶Zyf\.6`\GZ'H?fR ; Differential_Game_Logic  > )*,{ŝ FK"ٳ*Y] k+9qᦃi^uڿWO-ȉcER|\B9$\юE 1giI_ˍQ0ZraƄh/Oആ:Ea*[ixU^6yMSlty'M\~qܞ"JٳOs1VBkc_k8iy-W":obtmqtf8&Kf4?v inkd a5`k3+OdTP#TJuV8(;r׬:c `dvrt+.J'raڙ;!xXAvFBŠ\HY!̛K֫E`˸v/MIԒa{/_muLe0{RBW*P+ʝeҹ5 +@j3tmX>r_t4"? mF/~}M[TQ!OU⢦Lw0FY3~Ų;<[cťi VÌM|7dBp!}wXcpzDvh;}ns!C'4 ѯuMjOLc$I"cd5?oXry̨=qI163qO$HpwcPYC~u8-~=f+yA@b?/<>yQ=Y~%t:Lᙙ=Txo\?5c)V^A/=9}ur#Z98=̶Ɏgg%cNĤ> eM׽'"Y#ׯ'njTʀȃ|ـ;0>U1*2g]`D )Vss;[tΜxR:IIg-|mehQC=` ?I֌k# (!"uؐ)Xy-Z nZMqƯ(I$l#2u;x+P` ampZH&ɷ-2os6Nr<ý^Y]!(*Z'=k;(ӝR_-\L)A F杪;ŴVt}eΆa88 #-R4olƛUF pϤ Sq[|PAUiE;3;mLmIpO-"U(BDjPkxjVQdn J-LL>fikTѰeOaHEp_Pߥdj?/v+?H$aǯ%x1GkTRϺAGTQgt=[2,  MzgOQ@2uJOg4 d}0ltbtohJb<ݽX(*Ϲ:l$i,]Qw뵹],=>**5J_~!v5d1>ǒ3>ndo{͉{ |8y9R9BeHꌷߠz:k}bDzól16*Ro'H4BՐɞwMzCX}rM$Ҷ0Z=7K׊a$#\oۜT[4]+X\K٤~.@h@@-j6]3YYg|< Ǖ&*:{ Shy~A0P¥ۊUؼI'Jٿt8Oox鄶 , /RuHsL7 %*O;ȷK>B'"Z7XN#BN@!6OaQAN߆GeC@Cy-N Bl1lc` e(Oqň*i*@L F?wQX&R>\/k~$K*621`Š;w\6p}LkÜ+jѴ͒w&qe2W2. S*CXn;`<!˔n_f@$;S$$aӚ3.ïx چ{n?԰wIųTq{QzF PF-͗{x\Z8o!\b=]'c}rY7ph^nM24U#tTe?/ynIWGdR\7 0G'J+NҀ;zĖ'-4V0CvcaS([jmw4`T|^'{|T!k+|wAp B-wV9nLYy 77dm%yۅʛ\ozQe %Ap,Ua 3e[69s[ꄐӬR324}IVWj22uJxE4k;:bJ3Rs:ńBJ Y=7 Pp}%cOL\unS8MFOE^@ݽϿ}6]yJO}І+o"4$uJpG ~> &LcM';NLX,@oRgȝH/f̒zګ3w'cI+ºOCiřgy<-xo'`qƞ C"r9nSLI&cvnn%9;?*7 XkQ5|zPJFX_b- |e6S\g|7Lԅh"wu=}0)ws EaגH*p_Ɣ M]Havnv9TA sC+Y֜ Ie:8;,8|TK_ШpLxD&Ŷ40ľcoe+Fl(23Ww'Kˢk=6ZM=@.ʓ" wI^=#9|tkd+iݫ  vta|w'^H-;*U+;w0},e6\nN n>H~.P'o6H{'b4܍|:.5gYZ14cc3c93192b3d8bbe7fdfdd7d3a507551e4163278a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59 c8db6564a7ffaed04f8e9e08ffcc3e87fdd94065