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   ^rT ] HOLCF-IMP:threads=4elapsed=5.592cpu=11.740gc=0.3287zXZִF! B]ŗXiɟH)0%o:@RS7駂 ԕ2!`؄D cVy?+P˿bRuzJtEl: zK0览D{H2!$o/Far4~6rQPeDbt R%hoC4.,VUl]p(D8.< Y]2C_o; Rv+NcZ~R]W~&1d   HOLCF-IMP  '4`䂈TFA^$\Ӧ眯$^^BԆKNsؕ% rcp1wm 7z}\~+< [k#4> hqplSBYC5\ iQ?%OTmMú!qX91Rs4 /Thr>`)ۣe]ڷ:wC+{ nUa>h 㕭krǤlVbZ9rgOc탠?-Hf~z)DA J\6Xht/4> w;N6]^Dѡx9,_>$8_drĆ[PJ /GK^+=#e9{d^>+Lg:D`~pOvn_<2'tMb|uUI*B@xEO#:E<_\=YeU+].tWbd_qܛU^Hʕ+/D53Y=,tV@D YD&f hȂI0Sv,E J$s"J@" (ΩP{*Qwg_Ado\A/4R)S']~oc%I$TMk>}"Qi]+DKA d&Z26 Acw :ZfrNT3Sބf$f [gx\vr[k]Av<8lwt>6!xQ}*cVȏTcɷ[\P.>- j(A5Cax+Mx'@ 8Bq$lWĥ7|Kh`%k$^6 9n30TX꥙OoĴFm_6Z4. x"6|0EeƵ9;_&|2p\yMd=N% ECXi:fݞע# es{ M-[6TPHn3"=2 I׭^F+PO(yYH)51^MUu-34PQ 7-,[S)j(QLߏ_ClSŸ}̩P5qg/R2B794 8mӬWw+uA|?;ZSjښ>\M=Ledy66{e SHWԠYvR}:oɼ=@Bc -zN^ J `N I-sI&ឱCs̚L5v}ty5hii3قy ;PձsGR!dߒaQn?ST(e:fʸ;Xe9)[ZvڥVJ_SN5؈4=ڝAض+Nu_,gy&#Ҭ;/+ׅ[`0>Q3Ym2r^dN|^YI[Y7A+*SKn6oe"ʽ{?:6HLlhgPEpBwu[9mݺg|CXO?NI& VSG#X:ưO[N3Dltjx|?cTd &-C~uڰURZȳ,mlei [0SStoš)ng5Nv*N IdXIAtlD"R#Fjc>̅ {Kj'>]8(ɡ]n&Sw$|"^#I'.*?7Ij{jtWl* dd¬_1^$Kco\G5R?!)9:oMb a2)=t;fgB2*&r>w wfvԊ"gYZ7zXZִF! +E]ŗXi%L&DbL©MdL@W&_\_ ONi/.5I{Z`\(Žoq ܺJ4q8BVZt^Dc5 hq'C~B;]A;&V) 'Rf r 3m9]d cuHJRrXBDTqy=:j 9Qõ b6EwA{*ơxH-Ji]~#ݝ&R'iTd#4E`[>,5:X#ɈBޞVs| @QHr\[,UnNDXNԁpxV6{,;#w]*# X=c4ٓQ; 9_k>{nR;rߞ"TkӬ6|^gvNRMY=Vq'FwF gi𗪆 dxk+{qt=sf4(XOw1-:L1xD 0hh:Rt9Q2!y,<+ V ytW#jn;P@zE SpJ\yJ.W1O?D6~Yy0DIq AnWf?m\jZ]ou&jl!)TIU@Fm\L8*WʪrZAӁ !<0T0NڬX65{6Vw: ݲ XsyH0^-YMz+uDE[M4B^]+KgÏ÷1!.gY=4J`#+ʀB 5)[>dC0v- c *JN`L3jߗ~Y΁ԕX| E/ڮi4 ߱~> F5;2g w"jbiSag,\ ~"dwNکbtpV>gYZ23fcf11ac0c74a17ae66a97b2175f0fd0eac6b1e9aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535 b5f516bae9a32d9b4b682d16bbb4a256ced641c4