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 L ] Differential_Game_Logic:threads=4elapsed=75.078cpu=126.840gc=3.916factor=1.697zXZִF! )]ŗXf[&"q<:%jrс4f~_qxhg ,7ZAO9igqqOc7(>8:}{5RXCbgYw]]Kcq=sC-FJa>#sN;U dwl5Z*MdvGgMm`(l$ `( ,;M^4k?\٦&LkqG\U>kO2.u]-M x2?09$7kBJR/}9Ppnjn<49Cv6"Nq(#9h J @bY(b u`L!h K8SI0kC X} /@CIb3DRU$?Ah@j`CF.$Q0V"--vсaGZQRY6Bj/g,Q7uN@m`&.APD\X]cƪ k|#SD4" e1rC'Dn'dE=,Ɨfl 4h h9 r;Xgݜ)FF6fnjpTk*~t;#ٿ-?Ȥyb#f4PfL/fN5Ȃ=uҖUZaYL ˷'T)ߙ!ZE!т˻ZD N%)æ>7ߨt,wN[= V z ?è-&lW!E7gYZ7zXZִF! 5^]ŗXi%L 04B/%*jPpP"*j{)T+7Tlji{ԎyE++7"wBX5goہv{V]*M,Nv޶jQ ĸt7VTM(l"V*e _'MzWSxf3# .H(ʾhjF4Mڅ-v6" 74X9{K5S;{ ^,_ |R֮Peƶ˫A'cRvu BhJ)c( E\`P,{kqtOԝVQ09lU%f)Q*epӅ+m6wM!'NCQnIq>HE ~{)b(f%y6ԭoP P}{غcu9eK~Zέnqj,_}Wxx |y~ѿ٣-N,jl|`1|Udt2V}.Ղˈxt?EVmUrf$0A`bjB|6}gP6ff-t~`p\/89%f6u[b;F`.4\QԂ'}Xd[YW:vjO:\)mˡ4G\4Cۦj5̂Lvg7RPO'\GVs]M{) +s6W F$.S6vÊ\˘n6Gxpar]y;2ܨ7["lgB7K te0=o,6J_%\wr=sS hVIAm=e+R{pP`.ϴɟx]=2صw֨u4?,7u FGCc*|K՜EmjU>. 0XDmHƒ}KBWܹ^3 +++jRin?\O;! =:^k~ v5c n/3Z^fhƆDSu~S#ygm#m%ZZD]V,Z۵\Q;No/5sspH\е9}8һ['YUSZ\OxuŒ %Ws&>ZZlohՎ%*V~ܵYZW؎}FRPX}7n]hg^նMf@ăc>cuP6!1л8oٿs"NQ1!EaM;~F-73*P4_P:mTSTЦԞjEɑIvڟSC|夫''KN0ֲWRtk2іQ=GY  ; Differential_Game_Logic  VQj yT{*'OeIxp(&]j7$FhO]w+ì !x@|UVd8i2LO7=cu *G J$|V+e묛\˻>ּW/.̪ȶ /O.mF槝T!GoJUq:gp(&616(lf!w{ǽ`yi̴W _ >Y:8ix",tow?ZoKǻ)mi{!/+6Q^"}{qn_ηDFkE3&w |A_4~9S]!-.,OpYGa%}Sd=*ٔ@:n~l\XJ7rJĮUE zlv/ɽ[p Џx4QW:+ @<γ'J^/F2Jet"+͖`+ۅJv?J.;r1X͊ y4َheg $/dPήhqcBEޖζP~ֆw[_m]WlEĥ Z?-ٺ$n*cF Os:E ±[FxJpI&:ΛIKI]- y őGWM(M4j]AJZ xtTk>{K7~${lW ,HZ"<<HsOg^D :&d n-$2qxnYTj9V4UyHL5R.&yABkoz{(7|gV l^%TP>M ljٔ5Lj1G[V$%FCi2]Rdat0Hqb M?UJ5%IʽAMGMWB_;R; ;Ůە,2n>bG/=v 'lѨQMJ\,%#1D(w<~߅yM*xwpFVKAn:iPoҕVe~hlD2;X,}DmtBVܬnKxSi?ߺ?bϩ9NT;c;[xhFgh28Ӌ,˂kk\opO伹w[=^HL49|Sz:[=樂Mg|XکC%F-j0QP ׍>n_TZyDwNub}?5b]d~!i&@R";@qyr7KWŋsIֻu)K%6IQ޲y$%=eNq1(ޖy$i6gKg`w .,AO"-z(`ڻfwWU$-\ٿ UCwu,{nnpM8+nV'iW*g`Wj4 K#BuwETlBNã \CF ~"͍+=kSS g=ջjz  V2y{,%[\,KqnoդϘo]"=ᙍΥp#4 RT;y??O\SF} jJz%~t']8*Z"MlgI0@;:2LL9 GR7o n)ݬGΦlSͤMOwHhOh܀wmz:I,]9 ;dN6pZ̄~q-Kn7L+›Ҳ 30_WWY;+rۉtq-*~xd-Q^{ktX`HFXq\j+q$? HDW٬dlp|跲u$XK@ q9 #~LM66:D7E+*E@jgYZ31efc8dcb7a0f53489ba2303a195c86e12635d20d3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f3 5e95046b51ddf5b370aa071080e9fc95a1a715e8