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 zz+ t4 ]w Euler_MacLaurin:threads=2elapsed=20.172cpu=31.936gc=0.784factor=1.587zXZִF! z]ŗXf1-/6vRZkBO&+p_% #Bѡ+C1/0bցjW鰛sh}/&tgZ3(L%$(\ tn1SW]uC֞%ߌom J}Ib<:yX)Wn_K;񞔄jX 0t a 3@ڶDÁW`%!V?&fr"v2m@xV%\gޤyS&UxYPJ[*hPߵ$;K`! =Y5{6ё_] >K,OxLQd27_\Ml?&dBkJcZiR* k^8pl͵^wGcp4ۜvC(jjqWw Wcxz1 ѥt ES gSSڠ:VB$X A D"3vUgYZ7zXZִF! i]ŗXi%6At}Bɇ3fV]>Z҈BWjs0^.6OaȏBHMlG#G\ukDǸAL݄aaczjG Wt[ h s,%`PSAū7vi)~y1Ld`?lxxra3`kEUIǥPJ9dBΤ? SF:t[s&\TQf LIM\?@g _@ib+ i)RdGY(4HZ}.zsK¾u3-`Y{y h(!ݔA-\k3'T:'<&$FD)Eڍ8Cs!-'`0)"Ts܈3Za-f̆UEss#ocYWw[+t}?`ZYmCO,F/:u^"#0Z>n6Vau .%&ҵr4 l?w!% b?s 7>{wQ(Μ! `(~r>go GM ybW6LZ Sp`HCX J+)hh4)`q=y*YŨ+!vӅsMO?>o 6iiYKcu9r%7?Ts(s?ѽڅs ^;-WlLGՓ)v(=A],KYx;NjyzQGP}v;sWO5M1Cm>7T.';zPK+3M歖bHxnvj=Xz# g]u&Nmɀ!2Y/RTŢ 1^> T]SM-?v V<$Z3C|b3`3Q|E,hѱC|i*앿m@h>xBf2F(MWUF'3Qل3OSƞE[|ia0B R]/69JAfjK>q`3 :}u9G.H զպI"re6aq*/l[QS"q5ar ȠaJ.E;lulQ0L)B,`puDo 3CSkקF_t\oqk6E R Ҷ5ڹyq7 P8N [ $~gYZ6137d9a1ac7f4dc7558a6714972d79ed34f1b69be003033e0a1df248159cfae37f3521344e99dff4 bd9d5b59f62cee787b745a18e37ce78675bf828e 51bca5798766ae8b6082d8e3253d02652fec4031 a719a564881bc4392379bb5b59a6eabc6cfcf740 fec55c93856cba0eb9bef7968d19e70e69c2191d 7aeab69cf69ed7be0c3a3f6aeb7c728cde7a1c92 + Euler_MacLaurin