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 F+ l, ] Euler_MacLaurin:threads=2elapsed=30.852cpu=53.352gc=2.252factor=1.737zXZִF! D]ŗXf1-q恈͐7ӺV 4GJ34nwbrpGܟ*\}]d:N& Z_P8cGuJQ 7'BZu .x ou;fa;OKҶf"& Am ɂ]p{9|טR\CYDHY:ۡߙI6\5]ޛ^LA76/!o06w\hTK̥N dJ JS?ԅ L[Hrء\ȊAOrr؅l舘0F\%gMiZ aZu9Q^.+ #opi R0i#?>W}"8\f!Z؀po^d e5e[EV%#$I1X?QNOaċ}A+CV*{ N @.vc\v(A(~|x%SEKH#c PF $o3py.n(y ‹f? F(.;ccTk(n4B:v}=adat@o35"m kC4/JG 6쩧]:wY7lr`eL ը))kG%QFem0s1; i#g<0*߂}| ~ \Z`2LXBg \aفd#ar|qo캑+%(c|E{bTZW//RuqF{6t#kZg2`jwU "h$P5UeFy3_!3{{jx#sr4ŴܸO,w;P+z.6赼bUŽJkA3=UlA~0SWi>9xgYZ7zXZִF! B]ŗXiɟ1˦r!q=4!pƹ $7$(b'IL޳?\\TH"oy9\(n9ppձKNzB!"jBdFÐ;-3j\{(ڛՌ;]Kxk;2ƞ]~^p>x.fξ6P"<eR3G(-݁WiE< {[E&|]q+ +iPvjPBS}ձgYZ7zXZִF! |]ŗXi%;N(I){$u }ˇTSx@ov97~*\jZc;vW`uًϤϵBnga7B-Qt)[G;ᙨ`}/d9U ?J#Lec X [l7=5 6nHGE|P>Գ"kH h1 ׀_:!hxXqm ApRkƜbERg]QCSz[QM@:y1t+rAaˡz1彃^1r Dithj ]ØYfr4N[)דMCË[IN!gF=]fF#Mbo]-ts?Q%2y/r(D! _m+n#ŊۀzVKO(,sgzV!VhHØpbîIc8 ÉT JeuMZV; yi"bgK4OE^h?B4i0olH#^LזFeoš@+!ac */wwhJy_ dDp<5/^% *oZZӅ2_*7ηdl+kh.XIOqϨ;ڦVĸs%j;FhmAN)!ݟ6(tQ/\%U`~s5i)t`HSq׵C,bY1<Ifsr &%3{V}댸Ώܼ[]X}i$Ҩ.ipn6KVNt4C"œѿ6k1tY6%ErхalFjAJ]S"2|ҩ*jRZ$RXuZJKJ a/.g7*v}Շ"U6/ 2 {X@\Z3b=0jdϻ| !!YL(&/wY)Uxdc_ ~2l.~|Q:zU >[qA4$v;K kO1x(CEH (jFn}NNkS=O2:!# Y,k M5Fa}[z%&elvQvۄ?s#D'+9i"# ?!DR2y?[9W-Ny J,rY$&$r6W'c0Ϲd-5jc%q-]63kepdzB{Qzw~b2gO>CPv;2*H`P` Ļ{dKWyDiS~Y:|Kкphjϖ nԏhkx_ħRS!K?yMؠ zKlnD(N% T3DL|Ip} RGuhpe%, ؠ$*m':\ߍq)\Pתz~Gn9wvܬ>/; |C\S86h} aGJfralY3wCzaX<)7Y+g.W\G($5m$Y~PKyJڥRphH飜0o!ҥ26wg-i s >$ϨVG*zĩU K>2]BnJ/}]?]4dN./>Y<'1ҾeLWb_Gp[CRR.8$nqvV7l; H;Ow۫ ž/~Snw ϲ:InUOdx