SQLite format 3@ .0:  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 %%P/\6IC,ʽ,p^ <Լ/E_ΩX7]`/aA@ɉbʹɫv+ n/ux4Ty0E<9nkxK$HO닞϶m6{ -c PAan0pI8\THC&Un`kX|3@2DX'h<ĩb͎#m H=?ՑC'27j"Ptv^W73qbfL'-C/o? ;6h?SKM#U-gȞs1 TQuʓU7J.^*{S%}o+Q jX>V|5QsRZW@疀N'HN~76gYZ7zXZִF! hU]ŗXiɟ11bu)]>_ws[Ɋ brb=,FwI'zjtX9|m6t찚2Khm0 ZiR[i\-~WL}Ը!F#GO]>Ɵ0~ݺL0bƙA 6,R,B E?AɊˠVSA )lA7ZFׁʞԟ-nzA?iF/K_%ɧ @z{ECnk>#.%'fg:f?V>w? z>`k 8 ?±gYZ7zXZִF! +/]ŗXi%G>wfq7ۨ_ja[޴n3,`7 ћA`j~r38)HzPKt}ڤav_&/erA8p&E N&_Xp;yFapOK=Av\tE6`: 4.;:)Ar)Ͷ8''HZʹrVٯٹK|o! t-vV_phN $(]PUHH؇Y~sl+-Ga*{(4@,j .n@sPJ=s l3b{jjWWҾI:ePi 5n/ e `Ǎ!lBR, Ri&L_ȵȝñb)8-5lFS Vc :8kZ>S4KJx$Cj32xCj@엿Lsp}CO^{n YS N5iCoRmR1b\<ϸש#\}C8m8]'b ɬSa 7x47տ֖&_cȌ^Bq!vmT==1* J S n ^7Qv쑪-_:+BTIJ]r>q5Wop~jqR+Qߣ=0!_(jc"N$\xGQ´? 4 r >{/`.1 2¡$-*z< 29Y+ FE“[RCwA'YUFyn0rq0nL"sD6b5Uꚟ.l;)ˤhY]&)?k-/ ) n5}V5/.5% tM7=VЭN;@aY(yC$*`lvGg+㦸riGO PE)"zluzѐǧ:5Y{Q3UYQgShE:[I 銡9mF*(|.VS(?LSd)rYq\ڦ .z:#@NcC)4֋!6/N<ǩ ^3dm_897^ު:BQ=v.=W٬bx.x=o4ȼg{2Ʃ)0 'F]|+ƿ,ܐ̈* I ,ƀ>hb`k3ۛ*ʝ$nz'u/l9&8%_+[ؘC z9PE4.e\wz!`Gȼ- ub$4v`lj$iW#7tN\ZpkJp;/vHީ)܋`U]_^StT糠mwM{W5/Yʬhy)9[QX`-)4KG {%cWe\a㵥D@4^x2ld!q@wlb9$r`NrGJR+VGs* ߆ DVO+ )SJ#߄$ \x-{X"DW/3GWZq|̟Njwb!=W3y3tᣱg6s Ӂ?7 pR}V-$ڪy| (98tl4-2΁)9x 0E'9*h:%șq;? ƾsR}"Ɲ3:6\¢L:S{ $s+?.xqg H[r x2 \4 XC K"2lҁpyGlS,m..#kxPj 3ZW)Vg;技P8Nc =VQt>OE jSΉ'aOC L9{7ixQ¬*$EBXeJ<.["%qn|: d{'e5̀-\ 㷒yD7xƝpT7wK#'姽XOǽI3Ȁݾj~ wi3Dϱ׎qZnGSRȾIt8Eෂ؇xCOy7Lu-xtIbrcl7v'pJ=_ ӸxQTxzA} HahVS]$>Ll"ߧ\oZ(P鵓 ; (CHèJM9 T/9:sQ޾H;Wv쿷!0)x2(|0S8=C׿%"iO+k\o"A)-bW>1;XQ Cq|S-,θ6VATm͙ߤ_A*7r++*B6p x'P9W A?s޸KEplsDwZaHdBeZ'vgȻZ׈G@M{Jr:ywOkXjh,z`~֋lK>C21r1 /{̿ꊼ'ajPrd>_.>94:!PEr8([zPTb9DP1D{Ŏ5)^c~>d:,zny)ɡ1'mo=*c\F;351[ۼ33)excZ\]q'AgK4Lg2{Bo u!%9K j;*emgYZb183c2549ec405b78647a91e7632ed5c21f2d30ef3782e60e56b1de215ee686052f461bb18c61005 a15a8ee39a6d939ac0fcd0bdcd8afc63900d66b9