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 BB3; d ] Differential_Game_Logic:threads=4elapsed=82.243cpu=137.456gc=4.012factor=1.677zXZִF! *]ŗXf[&"q<:%jrс4f~_qxhtmH&(.R鮘 00X Яl㻣tB q!D Ϩ_P[̫8U{([1+΅OٔD~a4R~ݐ#.,6.PnL\(?Z"1VK|]ܖFsg%"VOյ^4}qE'VEzUfjkۍG/+ ZaY21\`$x \0$q N 2>s%SG6e@tsH(Jޒ- ]K> qlP1DX [`CVbyA~8b9uu=])b&$5̧+.jwr#5˭j0x_Ѓ0_tCiP)ގ `[ˁs!mkOJSqcZHsLFuwǎ#@ec/rxK d(<ȷ_&q~n(ulpT8tb! /&! ‚Ԭ. Wu; A$Z2SPmI_xCE@7t%IJ!8/Al;{0;So!ބazٜ-jqzĻ\Wِ!K!?},WZ[9\l҉G\ _a[z,\,uI%0~jXDuaD AkYԳS׉ƢUdED)L]l \3-'a<)wVOܫ/='_A֯ۚ3+>\O`%rb K|TSD@:Xd'9+ Vk⤯ݹZ|QpW.+ۥq)'F>j|3r܂|'gKcky;?(Fz܌Pm&D1~z]a} fɝ3!qBIU^2ggYZ7zXZִF! n]ŗXiɟj%r7OA *Ձ?sބ49)C֎Pj/efC '4l~GN"/aFd_sW/i4Nw7} ,=x[חEPC$N0o-oq6K=>V0x 'bGi ~.[ETKͮ5c܇dfw_SE<9;RPKb2 [3]+DgYZ7zXZִF! ]ŗXi%L EBeO'* ޵d/?rAR^abD@ %Ed 4L,N\d2n{f8uiP8#5*uk6i$F~2D 鸔ұ!ӰqeU <)pQ}m$(jo))>_K[8|}#\vQ^`y5GUSUJֺH9Z+T&l>u #Ğ7֜= !+ ځ3 %bL@lYtwIpR*WXoFc*\ljFumdV116Ȍ,' aO OPa_C'0^H#*~m.MP_3V:77Iόb@".ة))Р1^_~(̈kL/ᦕQWTIiMcƵ "הLz T<;3޲Y 4<ϗՃ@G!6 eE-.'D[}BwnʄqR8jP0 &;@9LFe1ΒC n S!ɠGkFKv.Bm")s R8{XQ#xt;\dݨENl?CIa mݫ:%*rW짤XR~7ƄY!ʳqxL$9+",4|p+3%>`߾ca"+UuDK@^- 4X#[gz~FBe&XuØ~@W=Ҍ#>s% ?[e#9 3#(8̔M[RFY|t 0׈dPbGstTA[n8xĕx;Y^>pW5ӿp !"bZz',; DN>]9[S7"4\qy%: %$n-#mI|3B\W%WSY"&J/M4La9k#Gv~qGJt=^8JLH;TvI5p '<(DJn5|˜$`DYLh d 0p.d[߽C+'ʇq}cVZSB4S^Am t䧖nVJSꥵvlR?Ԯ/Z&J->,4?ӒHog+y[(j^u:0^?t8y4W;+X}(Œ=pBğۮ; G$Z' ,GM|jއU g$r9=DtT)\$sA_USiA(T^$gS!h'ud,HXӴg?At] ,(x7YuwVV\#S6f+>CH5{,I3=*wHXH蟮$}ΜJNme\`Z mKG)p%q^mzvtrWsR܂Mbh3&&W֯w1-ǰ%z4N%o1ToTpF6}@k\{^_K Wc?Fan,^P5- WfƕUpRfqx욶x\(whx"A/?Z"fm[ҨewfEuἕmO|~#+S r֖>ѡQ8r.$ ;?.h C:IǥPW^v};0-U|\AQ[Vzyas7fΕ,q ;<!cb O]o~W]Hc DW4Q4!QU4)罍PJ]3p2-D&Un,ivRxn0L 8&uЀ|˷M 5O| qR*QݑCw7.HRy=yH9 R~$iDwGxyd_aW5e5}'+l5ukp=TC2z|>a}ޢA'?juP XU$pn8:ƟM>Q{0H&-+ڑ#: eJ^7a+w6K5$q*!jJm\*bcgs FLj@CUHA!SNf? BԥѺh%zm)FdM9CHڌ7<D36DYP5j4kaۗp4^XZȾW^[2MrС\keրyG%VGl-F [=JJ|pfNzKwz*ȸCu"?f [\ !p<@L&򱬎ؓ jٔpkM:Z:N{UGac׶=|ds:WXtBű|eE8Ax(͘glӣV'>ŠBT$eɡ 'o|/kmMk$| 惺GA+2Fhju'|aXC*Euv%X2d!ejم/V7j)ÆF{$TL$)]ۖjl5J]s/9nrIxohCE+UOrDɹpR0X&'q $?MEoNH2ʮp/AAQ-ܝ/#@_ ?f>"SZIωo z{MӨD(~9ܪW&%<-0bi+)5&t{cR^P#2>l nPK4Wթ?X,]o`@tX2SsIz天 T-u-G>fnKN|%x")vG;/wv(e7L=`LE- }AנxPlț) hSaiTnƏz!ٮ{W#sG[f@9HLKcAwAWgnyU8UVJH~ Lm9BZoGFQ5x\Jg t83eT@էN7N5=oD LwJ? fFig+t'Btt`>eEnYxOv;jV7 Qo NrMw7 om+Ƹ;' ؽʥ-|)8 [ۃR@Rʭ=˗W-v'Ȗ :HSQ$pSq&co OͻBtF'v,7@&3\9(\b3 hgn@6XKԜVX(HuQrO)ͭ%ԭa2X/tN*0 m%5׋ BC2}gXR .Ɍw^x ߈<7y sgO@R2ZLA:Qo>ndyӊ)D羚z+K#.ef!՝2|m/a6<>ģ<THA^S˪On{9E"Xɯki=:R'䌈BEb;esp 8LlCA(gi5nJXSo0 mN6('`gD%A;X2xF