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 ##Z Dl ]]]ZF:threads=6elapsed=12.987cpu=46.700gc=2.956factor=3.607zXZִF! Y]ŗXf1-) enȈA"tr-j. ZbNVH ?(˱^(lbѺ<*kDL-dƋyD|SSA|VRWPcP&VaN 7*њ7$1/=X% OzMR Cg~ A43̂آl֏@\緞ώq@* du{Un|AKH;u(hLZWFGv:K|n #60P 0{]6STTu?'ӕ@L19E(pr߄[u+q ΅։Ԝr,!>«{냊{.#!i.@:_R6ń,㘆N /u@0Fs4FgYh2Wc ;rLaUH%m+7*+ _&ZJdU {K|F\Г@> ]aÕ=kc|!c*-ABdH[*}^i9P>p iC`#7\t'{۳VXA9os*>BB2yK{\G<wǼ/d 60CY@jqtdƧLW^.ݙvÝfu*nC#} BcXwrG1bo'׀ex%iNLЏx >Щ?LӘLuT[$0ܪaؓV)JRH̨5U@.\3IF{;l2ݭto#:b拸&[Tn8$VHt3UoѪj]8TD024 >ANeC`^wZJx,O^@ f_iO2 !) =-g|gBw IW\G-/a#-~f!y.cYN5佀%{/'u_ɂ|=^Er]Ҏfn`>[;$0Tw(;e(0&8T%%\8h7xCO)&WjHP zU+q !ptG/k" J2Krv>NZ)SAs,V" ,B15 ;M|;vPFm)':xؼ9[Jb(5JyK@[hVH2ZjNQqR[bys@AF|O'tRc <+}.!*n3_g8(šN+ZBQʴm0l{=F}wCS)N^37)EPPp2979ڪYڭp6g?}q,)\/SWp*sDw+H=Sr'4NRA\g/̭ܶؒyMO[]c$oPwiM 24.pRm;FLm 9OA5FU)X^dFkA@1}dϦNJ̳cĘXNKK6݌? W X8WGɘ89ejTBw& !YiZ%/9 _/$I*ap;yѴNMLe|GdK]I7 qv%VP|W58RJҿm̰̎o[[/sS`L$b}Ye/O}5jüw gt~֗s!}BN=pXgM@Y 'xgYZ44943ce81d6bb0449678aa754cd81821be3d930a4ffcfcdc02ef3f1b5abbf97520a085cc79a504dbc9dc15777d4b7821d59ff70c3ec9d85e88b6325d  ZF