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 ss7T$ ] HOL-Datatype_Examples:threads=6elapsed=79.594cpu=330.244gc=32.592factor=4.157zXZִF! QE]ŗXf1-q恈&!&ʁG_f @lEZGwa krju\ KQwṟ̄˚5WL1r;Gon>Zĺ-Ĩ1vt\3+D_lhVph$٦S6,E$U߄63Aw]BPp/=c^~Vwv)H8\Yo*S"=@3?_uUAi U 3Q<@}zs:kW##vOza [;:^\I@JYZp٠])!!qߛ_w>ɣ<7*6Lyzz!"!ѻՏH +^ ڱgYZ7zXZִF! n]ŗXi%@Zr`3feƼ,詑_ͻlƞo&ʠ׋] Oۏ d,fUS7!T!1 UY?8\+<.Kw-X[l&rl[UV`&8D$i()Ribϛ )Ȁ5Uzsxx5plLsPFDۍjdG$ukFkRM8T3 Ia?<(X6$IxZ^ sɶa4< _|ۧPߨ~@S֡ A<2{)gM< 'lUVRIC[LpL6V¸*z e\rX}-Љ$v84*U0XH S@Àog5`r8ߔD=`j^̥p#*ș6[$v`@۞^Q-fм>By\'W)(ɟ*9ħ&\J滞ـ:.ȮRL ̀/X <<.|Z!5z~ tP!<[RP:|< !K4lZ~R㇎2j {Yw%nʧ- CdMM͢W3~qޯ[vz_x[xEIJ]APC*χ!|ݴALM %4roKTza% u,\ѣ3HB,Jd9Z=ԛbY| a=?}Qͩwt8N/z5bmGCok;@SF>G`Pv<ިfkXzA`72n^g{sǦ&ctξ-ǓP6H z6 7l~&Gܶl JϱUOhzؼw8,KPiC "O1@kYu܂z* Kͦip~X=ʡ& G#t?[X#$?x6m(l[1ch`MXIm(`G 9Wt 昲xQHm1gRtIҡʪ8? ${6~a5(%ti<NJ!OD&UOݛ6V _ U7 ڐ۬x'3xwId8q%L/L"}aϵ/TVq Xa,JXҺqU^KXf6G.}/#8oxb@9єՋs̞\zW?}O:>9y;|BMJVff {aJ =q[vWH a ҦVSEȦVZxoHIm<mt*{i{{:>U[XC0"U5eQ4/^@ľ-!LM] lpC)Z]S@U{>e!*#J rxNA,$E(3'C3u8ox_o[OuLtg`\K~"4L~FΝV5N=^@ k3̱A 8* _D7+ &A>:'S 9'ԥs 7K *9b#*cliݱac՛QZ#>Sa4O*͘/rT\SoR]]Y!]e{\"ˇ'E=,5+X'hPa p+\&c%M?Q"a&iPW g+X!Jkl1 @U!-IN˕^O(c'T Vȝ[1{/:NwbAf? dY'ԛ-.whkޣWT9 $4b9,:VXfL oDUJʲ]'#oN0S2_;+<ʑ%z2Wk*2B\6#eղH/FLXl}>n  ¾o$rRtZՆJ#Tk-aI`-V8"-:GI?7k cp}fE;=j఻z e2\X8R7}z\ NHN"YkAt7ѳ1 /P)|^w# sBo=aB sG*vm )%4yq$m0ܓBh8N6YbK=3ry$q鹒Ȝ͙к@fiAqT$&dLӕ,O.{VN+>8v?+Kb"=Qx]ÓHAI F>~}?; -:Oa`oo:CR<"֭b;ؙVE>`*~i_S1NF}3+؁zX \=Y3K"ӅO+PGlpk^achr; m+XפMH+lH-ENmku{w FrmaEt@7A. }f4)#p"}cLpIdjI9*Ii($ޫ2^ Q #+Zf XV,:] `%Ih=a|`_A[oҏp|ŻZ`?qwҴ6drk8D9UXY>WkcZu8)ϸiҠyf;aJ uMnɛd@,~DžHtYB)zUgYZ3bd8f4d3fecc0b8eca9009b29b0bf8095db7e0287fc82d96a6cdcdfc2c4460ff25bb9a8c30e0eb7e 15b300149e9f03c6f17b2c67438a0a1255b696d9 37688449570e1eacfd2b69c1dbf1f4f0e137cee3