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  Hr4\ ]/ LambdaMu:threads=4elapsed=6.893cpu=14.556gc=0.4927zXZִF! x ]ŗXiɟH)0%oce _;!aɥF׬4 ;CKAğpW#B6I@IBw[}RT͗UF=@ktlTX4.ۚU}Zzgk%Z' cGv%6\:F>h1jʕri , oI!+ fMgOwDˢw,\=fOX5:n P:(*lR`|P -}dIeVű)H9ЅSBgrv3Qf*P:Ϭ~Ewlg@!br?|B[p$ Id(=}_8#Uvb%.8 ꪫZf QOdF,u +wS/\6x-- n ?l R}}wd!V axf.5SgZ}-.ep=E_* LfVA084\</z|怃L;ع ?.&Cf"=]<ψ/4=R*5dnh)[Jeϡ?I ոڅW\Z1nW/ڜ~}_2p$"`ia$f@SLXR^&'>cJ (EpdY/>#;VxŽ9F LZǠػP{goBRֹhe '9OG/=oJ#HثcU4d6}e-_<)pd"hCsz <.Yh~D$ZK&-Ra|Iro?,[ۤ҄7[ܴ >&.HkPp\:IЉ`yDK9l1U͸k '4V&Av]4dm)7b6tv|@=5Y:hmS8Yf g[0&Aj&5 l=ѵ_1qcсe1~Ъ )P 0R ĔQqyB:"(l/ \'`qrigOpJ>hl h2C,vT"G|&1_zm"m@凐kwbAH?Nv8.ٟ H0}6 8o`@w_(ԍ }Wg*.xD.#j@Gr?fk&݁lR }S~m[wGu|*"09Ěn+nD_C\W0E唝Ѫ5()Q.9\s80ծŧu2m o/,Z*bŜdޒM!MXu?>*l(98Qι?GfD+:wD@'z ,k@ mkF.2,f"MR8z(V)C^PF4pakm4k=5b>]DHӋ {$ٽX>TLI,~!18"E* zh<:ZB!Zq(L 5mh0V]H|F݂yz 3 )&ïFA6ZʷGc R_ B2_ń*W;Iȁ0d):BiT]]<<6A' c eVjMxHXa&#' ٛU3gs,c=.w{8Au\!n~τyefeDFp⠩T;؉esb.n"@ZVsѦECmrEU9oam ۈEav腧n fbn!}gYZ7zXZִF! 1g]ŗXi%L&zc{Js b|!w65T>` I dη% SYF(TG u1rRE@b"jq\ǽ/VwBLB_w(z%%4 "D^3kͶq]0FXboۙTf #NΙ%J'w$ :@;{&G1-L-iŖ \A)uڲǮDz 1mC 2eJ9ZIaR̡5UG&S"b#Wή"ҏ멽U!s17Bg5`|[AM 'ᣝu9D|Va+޷& @aenκSo\G+7-G(pw|=;cNJiJ߆Shf.bdXɼZ\׳r!j;􊣆ķloֻܖ&z tV5}(cCPV;s-aEm*ޫŬvJLO;6}…l1&,tn[6 66l,LUF/L~o4E_:GhK ybbfMo UU1HuCoX G"s؝+:Q 3-jG,/FTQ<(9(1- h(֡%,69w o45+"U19j!hRٺYNyd6A_0j(vj_Dp^Vˢc.FKnd_5|_; |~fva;|hoVacؒdf>zW,\ƌ l5^U<HsdWR@f24SIPB*1 Dsvn/i1U{>xH U:˺'-r6X^ނn-`lj/ B^*'r409Q cF<8gYZ0f57c4ec5e818c00fecd666998e7f67c3cb3b7219aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535