SQLite format 3@ .;  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  ;\D ] Differential_Game_Logic:threads=4elapsed=78.238cpu=136.552gc=4.084factor=1.757zXZִF! -%]ŗXf[&"q<:%jrс4f~_qxhtmH&(.R鮘 00X ax޽KA^ǮPYP&_xc92ECWn̖#8&g ut> ]Ɨ5DWhMA5 ,'laWf$?CٌLŹX"1Re!ƹ5Ђԣ( ⚿ z42SymZdB1wAe PO>kϓ/B=xVfƢ1, Oet^kvkbBEZ5(Ua0 Do 2uKcfU gl@t]:09LVzU=$/8Bڿs[n2=,:1~~ʠo:yoCi]ڔ#- RU|Q8.{6``Q8I*_:^}Ff1[[LsɚZ#_nq7:d: @󦅝 D>Uq&27/e'VStW-zրw-\ʓ#tЂvXV|N &=ͪz7$9Ap7xOgΖN13s[ʙxA#( jTE>ikeq)?7=[Vӌ}߮)~O|>LsiΟα hy(!f8s-QS&@}]2iJn -~  :HREBx{q4cMÿ&z4S˗Er#ھ˾BPF' !z}#:DtI&3d_o ugBðCk\\(3D[M(}m|Æs)#r*}:RFpB1#390LAk?v4+e*ڄoN(38Qv1e6#W-nnC.zԝqL{Wܚ稲AR= *L$L8A( !٦[P!翞.y8Us%ֻڎSA3^zh oK]P#d|->08lq)y"a _,C1Od9u42Fbt`!^|_--lkBռBj4XM%ͿwxyΘ̪BC!w%^(i\z1X:*vf"2ф:Rc0|u~_ .;m6v7J{c<89vF,!L$F۪F!\𹪹'"j[*9{[섬9uYD^F'O ƱNS gϏDS6 y*w>(cDw/Z3LқhMKUh6d"X vde`u,}:ìS3Q gnl2揉-v[̖{G2qҲQ 遍P6VG#(ï}:/Frkgl:w;;p){ OΌS8 _ P9K5 C"UA:ZK#}:۱2 \RұW\t5],ǮAմ, L-M9.J2]XkkAeu"B ,aZV\zcV@S B.LI/Y(uO&r5&Bḫ3ʩm) _}~A㛉x\_l t2n N2B0*!L\YPկh~[M;Ao~VL|zQoݬAp?6DG[|]`׾G"DpߜK\BЪX!]r:R\<}~]`.~O}JhAZ棼B+Q-5 A:M=v ` &Y}U[p`.4xi+qBFS )% 3<`8")10(A UFLZyܤB *MVIһ $IRHX oo ݂f.`'bTFRwU舤R7 (ˏ!-ZVU3qoR%nGS؏__j|^ˈ"b6N4lav4@n F墺N(C;'L~4Cg:{|ŮF*t$(D2sR8Lj;Nde IOEӦ :uoh㾱pSOދ`)l\SwChUSqZ!X$j,nR|([;xjs;xց1eIRK'8WT%;U6bk],\![kicPq>QN Z zݦӡ-ᮑzSbeӇȵ%NAjPu=2.9x$0x[ ޴6vLNY7D WPfn> J6tUzDupXE4]@KϪԝs!#}wKEQ!|Q3W#1.1q馬Ly!e콒8 )nK&w>7$܄N7h[Ae(XoU4昧]!^"OD)TZ79f3vuoP`@ FB>?.6Ku{c~TP G[B<]v+La]i\ڒkd3?m呱KiLTuT{DmG?h tPRW0㢸w2f? -ҵl)ln^KG nв.i2qx  8?gBq9g` }c @Hkz=֪,VaЯ\*ȥJ&X=[Sڛga;͗miZhz.I툡˗Pz{"<34r19ӻIQuBӑ\u'$^"S}het iQCؾo@]źaQu B,dZSXf k9|8S 0Ej_K?mRCpNIӎPÂ-f*1y:#L޶^mq1H@Z\=p(`pEtRhč*ncR1Q[L8-MRɳ7 "hMcM1Bw_SM7;k$=0y ;4I+?&Ky3_h%[/&r/f=:a֢}͸߫a\*nL/|@Y@5X%yϙ!ye=<`ed:|qa 5: sS)5JEVX}WXWHEMB`q^NH8 =5rtdB?%8_iveK9n?o x$4,$*e= rx,0 T r^fNY0( īQ eH{_Nhd/ ^MPMػC k B\mu%}* ޳qrhDg))>U <.u .K ]jFAOO_TOR.oj׶b<:Q(Si*S=ܤ5zYxbgʸ*hI|**Ll 5"oK~P2ZU&'SvIs'WbF@uioz(i* @RعOƲ("2SLgQֱl}2xUM,v$zTgYZea2fdd439ab172e25063c93eb9e2a7b6c21c68145a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22 d92257d35e39c8204c9a3171ffd1fefaa3a30d32