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 ~~w;\ ] Differential_Game_Logic:threads=4elapsed=81.779cpu=135.720gc=3.784factor=1.667zXZִF! +]ŗXf[&"q<:%jrс4f~_qxhtmH&(.R鮘 00X Hz=()O; {o{C.>= q+!_.PU[\ $Mc Ā #ل9ݛ^#ND?CVwOB­3 nQ*lzIǞa4d2扼M?2pbN2W@G12 pxsK몗𞰯3g24A&S!9g<}%!u?.KOLP7;mHlܓ'p+tc ݪNM\+ /zŅFERl)v)T'0P3.\R/T_pw~z{V1%('8ד#{{4JPZ}fn@+-| icF2>TTB&:h2B]50GǺʲ ;DU6#g`:?7f{b zOJF fEYP! Ƨ ry^?'"fQЧHS*v*Y!kzQh`kwd~.V\;|^)׆rё7XchcZJR~ "Z4W̢ogYZ7zXZִF! n]ŗXiɟj%r7OA *Ձ?sބ49)C֎6UQ"mHgL}~R7 Wj[UM!;y 5; %—=Wutav_@t=\zMWޠKL /~6v8QIv|^W!|"\l(CEZ?Yqi)<2py)I1Ltz覾΀P7g3gYZ7zXZִF! ]ŗXi%GgDU$5,b#w3$rA1o&k4m?Er5}/e֞jy;5G#w @CÊk}U|"C)EydWNLlJQ+ý%qP91 JF'xGmU qBQ= b;8ʑb4R\jD1"Ir.J[[y j. lP4)=3|ɏ*^b#Me>*Y%Na@tSOT*H_ww vL]\8deVݩɹ'Ϧ %n[6!Rm$nDBUز`םxnbUGU/8lr}kBΝeDQr]X mpdo,%"y<)!;nJjRTq쌂 4DnD^c̫"HP֧fuD/w"-UnO]AP$_KG 8ojә&OeN2*Tq`A$&/'x5x wlaSރJZ(9? V`D"jaUѺu/.2pKT6Qj]'"$>[F(OYN wa=^ %|,sAt͋MbHYVF~ *'FDxgK3 PY9 }F#0K+j|3`'.-j(ԓW)͋6[ëD&$Obe!>הNh B~sR:+jy?S&^wUEYHy8" RiM.mB,Bb}pJf->|CmMw|/yBJ G 92}&P 䫊q6&.e(CH l*={؈/է$\<\7ZD]ψՃwBϹ&g%[] }#׹Cc|{3qjGܪHeN6sE}KWX0"j#3;ZNՎdzΏ58mxWHVI]cp4zB:?v\!L?n#p,pї|=]Z=y!0 =.DYϝYgkxdE[?PI$ %"pq^! )XWW'e9j_Pb3>;9i{76\E]ʾ(*zouCczG} $֣?b°|\d@WJ t1?DxS?N X *Myc"ZmtƷjD"98\P9Br.-O uRV.FO$l׋]9fSܕ%℧tl`E1oM8Ub $~oJXR9Ր+xK)d z?CQDt҈lx?sE/:"6-+}~M:|'sKaqM&9ؗVI8:hmItW)\A߇V}8pVxbNPG(^e]洍o< W*C5 )|cBO$bv?@ }!3!=쥎ۂ oU/Jd ; Differential_Game_Logic  '[m  2՘~UjZ@1Bؽ?uzȒx[|zPU6 ǶםuwZ !On8a FZ/ΛHn?:{6/@mǑRך-Vk,Ăb~zIT[ z7}u0c.:ՊR"#M<؏swh@$НM{^V }XAWNȦ 2'S`MBhx J9%TCfLz*Fֻ꼧=Ɓ)us[3R|t:1\TIs#;AԪb @Cra 0>hP^_5&fK[Xy>VhFwS*jj~ZwҚ騁 b몱+s),5X'9[b# BP?C[I}B~h*ahKX(Ͻ*#z_Ro6I^B?bq_ n踆^F[nܰx=ݰ{]k1 {e\PH2eH?'Kt/_iYv+ʯ_^֢,fXdN4ֵߞҹن}GFꦻl blh)+y-fEݝWeS mG[2&>#dhhv쟭F p˸v $s4uG(}nK3t@8eQ*YK?9K 4AP &niUެSQ]N%݀f_{07f>f=u݉/f-Yg4~%\ yį+HF! O?^ ;m@&7L_qZlROO]?}7פqxBeDM!&_ky:nTOFAJb!G KqyH<ӈ=Cy,]{[Xd8wl˟ZmS&g񒷆ͤh E,x:Dkst Z 9=n7dBw}d8fKVU(fn^ni8To:0]K2X'&" 䄍ݧS[iW A\~<}Xzސ+ ݗlB}y5Wmf&y19P3D $ #yS!bk5k|tGE9wiJ r Ze4;bee ng,m'.ns㾁T3 '?;Rb|ѣ#\j*N;PXn5w2bVw_X)Yc's*B-Sq 2˔H ^")Sc٦F%23j_(9!Yz.qɣEЦ@H ?mYF4P3j=־m'dV*}C=>x\8V R3bW:*lL5Cgw6:9\߅@1(Ys`VH/EEQ/7|+ #6h2D "wC ќ^b]9֛jbkE ) VqTL&ؖ|h9͜B4J7OI<\-vNUI3x\\#ԉ27  M jN+gCmRSKI](f>F\3oJ5dH(Jc7pB$Ȩ?Y2| |FwRoSѦ8Et4`}wg&i3#GQ,2Z^j:xj7bŠ^zКU9͓TCR nQ+|S E'I;;\RERz~rF=*[Koq/TuZn 3$£7GRpڧ( #vVԿ~-ΆN 4R-AC'cޯ76E/# )TORBS# +(ɷj/ܱE(%Cˢ񚁄ǖ}i\¹G N)JmMoY.]x9ogSY̊zwC=P9 Jqspנ~z,y>9cJ_S2%Z-#BvMJn^~H\ؐbhW?ƉRhR~Q!c !ԄΞgp!5VjZuB*&5kĪ|&&-P#i-JnW`n$'ZG_%5%0FZd9< ᆵ -uuӧg&@Vl<.c1cWs{4f~x:84~":c_w&P|GTR2$KNQ7CE\uek 䁺$V T((760 )Ķ"069hrE(`|?/Ƭ;i<Z$w3FN~VJ fIylce|@V+.>܎;-K|^(+6u?+ HOhHVa%6iX^g.kWzS'[1A$ոJ!f(WZL(qʾTxM_\Dk虶ƴ ӋM-~-bpgYZ5df18de8832c953183e170925289c911754507cb1795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b 736d5c06b62df891bd9077332c5b7dde9e009115