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 `= L, ]S Polynomial_Interpolation:threads=2elapsed=24.482cpu=47.268gc=2.180factor=1.937zXZִF! !k_]ŗXf1-/6vR[2ө=%C0A9RJ341M [판?}û?\;P?,GA듢PqKؿ4l`1&5`G@ǒRac3;)Z)(' LkN?+Asq*?p{/b^$Lnn@T?BkR=>En2+xpZĚ]"T@nDK,]5gR>X1Au/`4y%NVp0OSE h Y|ޣ HHFv;a%"SC4.}xP`Qegu5=wx bwS}cI:E}d_~#MZ0\4$'nzu4Jp_`l (ffU Dؠ-͗R?c x d(Jbك=zZ5@6FҘh1Y6ОƵηޟ'ʮDĂGG]0V @C ' AR =HȈvF]\p%\R9dnc"rA? f=vMubZD,S}\dۣx^z`*8'ܲWlYoh8Q}h2'1EO,rRw. c?$ýXҢR.,wsg5;TdZ}P}RxzՀP/GB {,C}d2Jo 6d=Ĥ@WjC_m?VvɮڲݵBoܱgYZ7zXZִF! zP]ŗXiɟˏ "B"V^W\0CIoɷgi*>@З~g AdMoLƗ.|I /2(zQ5D]T{7j\ߘl䔨TK]Kd 6} WmE[+r*d=;iox,Qj*EΙiog9$Kbj vר+tx߄:S.uh wΜDG<cj6m2V:ԒdenХ;!"x/Fb),#$ilIO_PN)NZggYZ7zXZִF! ]ŗXi%;C6oH_q*-gІ(7;R)SDE;lB]+Cܪ^4pj?ɻ12ް֮lAu4*){P$K?:}!e'N(b2_Dʍ-_]'DOVOYCOEp>d9xѸ(?1NBr=br&k|8V¿ ib|P}:жו yam 3ZT2>=o)׹ǐ Eތa,x*1(tX>E6=&֕bqTvHc< ¯ #37~F4ya$9J~D"p{ٖ:k$pkGgݎms .<-^$Z~vț= ^"`ZZB} |p# &aGz^&gj* h1_'N ss("O2j3!w}^VcW4#7:9:[SOڀO?}@!PBMńմy'0,_#:1.pV&ՆxT|95>"̢vLYpnڦ=:FZA4qSdSq"L 82^n\oelj$ɘP>1낥#y!kXJDw׿R~4lP +\;~kԛޢ{GYŝ,,ճf}.X8F8pqz,2C/ƖSZ,ܠj`Y.{,*)-#Ts ~?1ShJ~CqThEȟ ݠ7Ty4k I7^XVT4L3"_}4+sF'58!7k59#|ڂq15sg7?mH] V/g2%@7(8q~\I@DicPzi?`&e1j hvq  "Uhp/7Lt56ܒ` *T}P/cXT5R %k0??^ָ9,i¿PI!#[W.^Wu~m%OݺW6I(0Di2ߗƅ.'8:kهl±i|,}ެp8C[?^U;pUGPDgZϖT-j %=pe&yT"ކΦǏ #%N`Ԝ \F0ߦَmCGMnJy {6Z#i]RR-i\U6izIR)36W ے{hx9ǂYK o 2(\tJ 1=R5lQ(}g|R5Z