SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 + \ w Euler_MacLaurin:threads=2elapsed=15.902cpu=29.768gc=0.692factor=1.877zXZִF! O z]ŗXf1-/6vRZkBO&+p_% #Bѡ+C1/0bցjW鰛swq}uD cgS],ޢshq/b:UQ+I2Jjs8 ‘%m-F[8= E|jwᯄeyHy|BnF~=ã4U|8pt>&%FO=8ZeT3'1X8_F?YM|td*FK&!dih!=jkؿkE!$'ޠ ]-!?JwȬF&{\ ï\Ƃۥ ]os8oLh-״_)bw h'zݱF EsD1FtєNV"Ex? N"Rr u@j:al:"7&Mi| F GSb(̍I7DhPLI0}Y<@'H41̾C)m$AxHNyAft>@ew:V)v ƯA!Oo@bhѨ,RcUMc`95ԕ 6j1-mN H>" S֧Ro7G!q+'nQk(Ŝ.gF#]tNfպR`c%ԂWc|G!q,d.hq_\ FKoh$@$K+%%n*2V`du@?Sl1本3] v`Y{AX)f0ʚ# f3GK%D2ul5 , pFB y>_SS 縈NVzj]+RJ)QEx-}@2̖?Nkyc-yahIL09 ı>pB-uw@E!LV1ZFQ]Ip7 kə=] # Wи]DXi5#ڑڃ$v%-\1>xwfՁ$e _/R)Y-vgErHmKn++`_ؼUI?2v-ѵ>fݳ͢FC ;'4ztݡ{bw u(gt5Ĕ)DsίP]qkذ}\Viu&^ȊLY4KG@C( J6;ˉ=lqjL7`H=D %"1s;(@604ܙ KY5̹݁H$XB(_p_W'EM1S+B mR&-qՕ[e[.=.ޖD~2U>zv%a4%UdLhΝg@0U>%'[?#I&^{v`l:3 ״-;yY{5rN"hˣ9R2=%OU^rMlO/EI&^qsmy}D )ŷ[feܭ7BC`?#d/5_%|Ӣ]"*A֖O_>':|-jy!WIu[lcȸԭg E^¡zn׀= $ 9QmN|K\cH^iZ iL;7ˍK| b!Z աu$4hM+8I>ʚ.)lp#zjfm}jӳŒ7w=-$C&R 0 NEBqPQIҿTR"/j+lj "}ARF1p7?x#,Gt<Ђ$ٱgYZ7zXZִF! T]ŗXi%s<,^1 Tpי0De!?눵ydp8=G;T1/6=t7!Q (A|)}:д1 t&N{G= @-̱$6+*/vm)=o%^P8~dv_UAPf`e*5:ۄpno8z@MCߖ%@~qt]q[4ur4N>-`0&@=߽t _P& V(lQ/JsBJ׻ J.zsm9o\Mg4n~̥ٯH9 "`1mkB 8A2N(87t(y7FUAuD On͸+NI5oR+ߔ=eG7+7rs00F>LvTP=zˆTIcAdM(o vwt52>|~q+sD^k/xr]C{!@We{.X'q2$DEsۋpEӣX`JSįxiCر6UȺojBuУ\gwTT轩\c o&j;-ozVcU|>]z<'b e׮`aR!}l^ |]F`d [H0SѡIoÿQ>