SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 tlT ] Circus:threads=2elapsed=53.775cpu=102.580gc=3.888factor=1.917zXZִF! H)t]ŗXf1-/6vRZyⵞCy*!Jlú,CW+jE4V@j.<a ˮej)lK$,ސMi/6Ԭk7ICPEqJWϚщq|ܟǠ" jˢ(w%l :|+7 Kk0r (8:i؜֘j?Ж1f]D˶Gg5 ,=)Q^):ղ(sw,վzS2zEjJVU3/ۺ^6i.zO,bgEt-I쳶X7駔 W[l DetDf~L]{ nQt]jzD7 Z]-7Yn|D}N2۹ZyW1af)of=iG>"S-S1>:)47ә(Dv{ 0ae+!vdx#"#¥d~b|z!y>@C?N ZF 5/%䖽pLՁ3FƏV>bsܺW{YOHtB+yC, 26.ȪpzES:k:!~,h%D}oWE]W,,54Q} ͐UeM8YP#^'SV& $mtٵW뻤rOU-s6})(ܨb]%˹u]$[mЦKsbCږ;!΋#   Circus  P .R_xꖈP; }W1ޔn0%C\' Vp濺b6%bc٠CPno"ʔ:gYZ7zXZִF! \]ŗXi%>gݜr4LH>|Jza)DuEtlyzSto/>M`"ZTp;nX0ip'V$f7`JHp{B'YbZN5\ xQs:Krc,S3"T( VNS+c9윑b$numUm AGmyq"е(N+`i[tq}r1ؙ#l]а$? T[F.VAtN'10¹DK&O=cE|Kn 7*^PG07CE\D~Xh MS}֓Z%9SU@بS x0Og#ubFk!9)q>~9 ZD?:שyM+!P35I2,p^ ]y jn<35X& C'?.WSo= bTh5J\ UMX8ZʠD?YrtF{oSLSqyWP1{V})|aLQd|qIC/&6*?t%ʒ>pG:Ty()-$46Rˀ)Pza`p>h km`1pv&v\)k XEVVr]UҤ;0rݍ qozjYCk%-֞_u!BblJlM–&{qA6Gqy;MJas ́Wf@zVI :l_D. H9ֽ9$F Уv^-ؖ ︈&za:-hrsq4wÕl$5Q8gGsNl8;a1d(X0WNI{į"u60@z^~Nʑs8b?8k\ifm \'R҇ZiSw& %KَF[Aq iR]6M-s_4Yj"h$"N+.|`mG[Ouڗ6:Bl@.hEWs~l="("`͗UFNJOu31#\N=tcNDGY- ]Z-{0-PO)6=$I岍8g ]>;L*jP?O[ 0ڜy[@d#*;eKHT*)t+Ŝd7R3rp 4uj'ѕq4XGNM Ѡ$K qNG_i2ԱZs!6M,Jlf^1yN7l9`*$7ŵ4׋`FՍyzzۏkĆ|S_Sۺ@6[XIa O_|I͸9wkj@)kw);n̔l^rt `E p4m}i#Ad 3R^;z { @&W6E9%tkHHՏ2ҸAq5̆6 &ua]|`* 4"Xm2c5]d=ߘBBڡuZ{|-=zqYiq7[6s万|5rxT~cY Y$ jϗܵZ p55Z̿>Y;M PˆV#.QLhC4h1(@5Wyj/bcl&"d@[xBS9b e(´ V~<2DGt=/ѝ]%mam#$ƝGRXB*C@^,^c?(پޏR>{&o/>gcck |N>9CZ+\IHźI_AŘN[Ks )K[oHҎ)nR}wt^n' .i?۲)yӭ?XznYђLįS`o;S#{tyRQDS Z's-WlHrs3LEQC⌺ʐq[X~.Je6;)_ ;m} ֛h(|{7ZXT9,˾3~63L,+B;O*| ȲsCy]9||SФcInLoͱSJ|4(T֜(^0F p뷁Β}0P-+[Ymy1*ݾpQoQf9L2mcy`&(u E]9=xA#Kپ j< Kkd9[x[<&fQIO䊜)$DB8x rXڶ= ?Gt<Cz8҈PV#t|)t "pu(˶+Xu^Sw Eʲ$ƁVеH1dSRR&wo(kݻ"eˆP3@MSFaMcJEo[Rf?5-=<e/6\Z|1ydW)nBZb3efycEr(ͱ.5 =U)>=O?d{`aYJ+Z|i,.ۊT wt/t`(v})(&YJr$rͦjҾgYZ0b015abc6df93fd2f90c61ac0f210c7b09239dca665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7 798acde50772b3f2f82b04d5bf3fe9f09e58c08d