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 nn;\, ] Differential_Game_Logic:threads=4elapsed=85.246cpu=146.944gc=4.420factor=1.727zXZִF! .(]ŗXf[&"q<:%jrс4f~_qxhtmH&(.R鮘 00X [n$ \ B9NOZOt:֣}OTd,vZZOR+0ת"\g銭[bIq4B`p,A-}!TDAN3xu, q#\03=28%o jK b.2:rֱAxav ~ )&@!I3PQ釤C/ cH`wAπom^7?CO2܇t @blTx=3m,[!I P”G!)FSq]@W{f|=^H.j*GدX߽7 sS/7SsIF1f51!g ._IlepjՐ}!E r O2ȚasSsn~urr.bQ/t3!1d󘓧IJKϦܿj/mIъs:Hn4|p rЀ=\-Ek{;/>A Eg1~<^aG&RhgYZ7zXZִF! ]ŗXi%GWBj;YHB $ '4ͦˊHx4H| ȬA-{/z&%oH-MLBt/QhH8/:dNNŰ7*nzξC.{ůj?\H 亴HL׍VVS@j&4\Lܣwo|V >,u*&Sj5ZwW}vWv җ6nx=pP 7엉q:)4Дsʲ-J;I5:#,6=%H#ƽw`pp;0 Аc(?\oUdDhD+"oFNj?XztN!0(EsRS-ߛr_ pg"6| cL*}h%_5hIj%LzvK^uH/lּRLC-xRupu9NƲl(Τ {$ 屧J >(4]蔅0N |x gS⿀ qoFkD.UMo_I[2/ŭѮRT,аt7;.k*(yg2L/Hƍ=Z69 XDxПuNRM7'ufiA: ,_;PNpF6!&\!a,{k*p-+'apЌ>F?FT+ If]+_! +tas'&Ï>ޭ*AUVʈNk[y Wtv9"w3R3 G_$XzjJu[F- :)UI+:T$vVdRzS:q62naŽ߸aXE]!b~>j9П"FWxI LNEqM=k> $sPJ H BqvjaI3Юq@cv՗c<(BOlH8%r>y/O`jQƿ\]Pyc5V7T?ۡ:^Y;OoF x'NDi7 +O7պ`wPcLPѪS-h䳌 Tw":V*mV]܃j'rlN>-:4PuuFdv]`YE.ȷC&EK,bE\mk T40WbN՟UMmRiK~뜦ОӬ_X >l5-r27#r; ';Z_z=G(l6 XJWkqV`8NK5G+a{((@'as: lၬϷ&_t~a4;:+*XCa|U8+OQkHs/M& .Ow/MB(ybt7q͹ o"&.@n4Wl/J7]$.%~Z0y5תm3O9_w榩,ҒDTW+x :-Dz 0/$10ըC8i]vr=WlW 54W[{t9̀nq 8OwO+w8_ayR\~\繱]SחEOwi*O$(y]nF!3J yt}V|N0u LMɼ_vOt !#dWQEړj1>JГ07 bTb9ꓟ7mTr=kD9` gCv \>=a+Z>OB.b9SOc&ڗ Y (lKߎ wY|KP w+Q#0p[N-J"8fNXt1*2mن3^F-"  ; Differential_Game_Logic  z10m;=2+$ϤЯ@CkN,RG*- oavޢ H(05S"ƥ[1o>׽hAb"e&`{jO'dC3nBP *CXpD/ -f03ǻ"@^"ʋlPJlD\M$R:7NQgnb!~ -~"m}|Erk8!R^et3QwI~b%u DGtYA@&ElX/C7U LZNL*QJw[*h?bخ?4^ Z" VI~!DV%ܓ+Re&?~=~"%ZdEr]KGY~ '@:,f˚A3@C|3%̺rvqѽ] LO50 \Qc(7:z${_v!H 3SxY r4M_y1fڢ[JToi [-oNN:@ܳL0BW!!Gӕ%^B*3.$IKH61ѵlE X7cyV([RTЄHfP : Q6Ep l񈒒;5ூ5' gc>p%lnfT"5[+gYBiF G%oʌ'#7=uWQ7ΏbZ0zp[GlB HCշ"` uGlϢUWFԥK`TMў{o~nw("\uɶʵ>+zRGyZVUP=)3N;x*=% J4W.jjez=Q\6D[ܟQی>9#{I z&2MoZӿR۴ TB'VxщX#B-~Kj,(c#Q?Q,"ף#rq7n-BeI NI.f4`[)XP#a^]Sb8xĚ)?FX&Fk% Z'(bc]hdZB.Yo 96\jE,@? /[*.DѤY 8ZͪE:ׂ#sNP}7Oz<g'䛥FÛΔ`::-<F)qQ 9f&wjP$`#RtĻ{[qd͐T?cUw+7#LKvd^zP4o!,Hp;C]h%ѭ .\=vۦG|AG^oP>\bQc".w{H +N5y,-:hƭ;jt'ROמmS1$Q ;^okAYkːar黷4Mxy"#I8!@Y_T)JT[f %!E} t@0 k._4(Pch(ԧUPwLM*0 -ilQ̐tEg W;#%S@y@щLr;HʒmgeG:ϒr>5;f\~-/aDR1ީh ӂ**w d&})u>\}ȄNm6Fg =OgtJaJĨJrSޠ{0)? o4>c_iqTDAxMicjל] /=g]$2;)ؿ a Ea ,|{LYL7FF8nF2Ȁ3AW}Z!wc ~%T7̣~>vv/oĻi"]Vw:dj]+t[jFM(JYx{{TB[}LޙH|e!9$ KeQ#8RtIɪ1WPy0S<{.^br]춗fۭ)@  )vGdže@<>pNAv`άDR.VlhG+GCʀh%i}'\Cnߜ4 c 5 &M&E*G}vcN5)}ޗB^O~M|h ٝged2Lξ!CJ/ r'>1$zIJ a좉GTֆtBp2STPXy]͛QSeJYOw)Lx$g_/An*=|uy`oϤYQaL# lAlf?k+ҜCx>GJHL9tiʱD2yp Q=#:XrSq.ܡ%}DSW]ySTf_TW l&=mS,@K~͓@1B"[/j?gYZa70475832b37af7fdb400d36d3bd786052e5070a78a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59 ba61e071f92259a9a38cb4cabe22c57217a8f472