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 + \D w Euler_MacLaurin:threads=2elapsed=16.311cpu=29.736gc=0.732factor=1.827zXZִF!  e]ŗXf1-/6vRZkBO&+p_% #Bѡ+C1/0bցjW鰛s+yMp3T٢i-͚y_J/yVGT$bbF:SZdKM,}4CefwGF$e|փWmӊѥ|e: "wwIYWZ:Mڷ`_-@hjaG֡/d.e-#=ː 3FJHs. "]m*X!h-#v[U;NGSj/K"6ej<(i!$%/ٖDZjmN0 ?\j‚A=x;vskݟzC'Ɖ$FQXGpdzlɸi_pftQKu%7cp2 Z!,w`J)B pvvrSV#Rٗ^Ă8 %$e?% E`鱅0< qfs݇H>GT6H p&S_Dže25m*(r)_dPc鈦xE^&(ڶj4Nȏy#sHR]RZV9IOV]_ 9s[`?X6U1MLd*."{{,H9 Lw0s넋>\ٻ2q=s>SWsJH,Uůx^">ŕׅ9<2+.5 uܥh82(EW~RS+uO[_` K$wJPX~ ;hMxٙԒOH<-igJ:U.Yl =P -2HHv+`)lJ ,*I/[Up&Jb뵰W34hi@|ۂj)u"2(ٯmY 4mP*Nb(d.)zpWps\m?:ϨC2;(? .y/?Fcҟ!-K6̷{cͧ6?9Eѱak.u/G[SAC' G|[jE8B'm"mp8-&5Ų(wes ;#0Q ~16ef{| ׾^h ޤ|, !f=#Ç]cn1XRWYg/ҌWc^?b5w6u'o^\we2_e.\Mƌm͸bѤ?sfz´ @d#__(XvW)Z$®xpdg|Ҳ\,`hj I"޵HKjʥ5Ry047`ȟQb,BtsDqiq4e*}#vJfFk%_s~|e7SSj[37kY _sq"Mݞ< *>X-^ur-0Dt^C51Oq lG+muiMp\EּgYZ7zXZִF! V]ŗXi%n8ŸMCi ֚gCl I uuh%;73 *gAfTqfg,hh%Z_I+pIa'/B/8b'ۢyfFZ[8Mt4T%r!dПگ2'^y/?𾧡c"~!ǐûԿ wNE-2Fy_&⡬6s`9y3Zgת>۽{SVUӄB/Bbs!>/Sz)-h*suL4nʕΫhajhʐ'asnpLUGסL, rǦX>˝ސ;oij8i<:~nN =zLoMo.z^+] Lܟb/AFbh(Ċ'tYeP({j\EHauGc+j䌤)) d]^ [he,n_!Ǟ2D#6jȬfYAo3M|%Ng7`,жWH&TA#9Paw