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=19.331cpu=29.808gc=0.760factor=1.547zXZִF! ]ŗXf1-/6vRZkBO&+p_% #Bѡ+C1/0bցjW鰛sэL؝ `gv(Y 9Y&p:X%-}KfgxƜPcﮝB]m+NDeȯR 4,ӊ-i5'T>ŽcMAm& ?4CSD7؁$UV(DrB1ug /vB5zpy/N=ά<ƣp~NI 4{Khm,TҸ%}.]B"COcOZG#godK1ѣ> ׌ض ~107n>4زx+\x& nde@~xW~~i`o-g̈́i0r54?xHH ޜE_>BNWA-VܱgYZ7zXZִF! gZ]ŗXi%FbGQem h[[[kNĵ>B|qTah&g)HԑbIt0P/V%AA?ZРXw'ŶE|C~p6=6pMo*cQYnIwV~j)vzV6 /Z/oG[s#?rW.m^Ͱn@۱~8=z;we0"4ym]}YwYtrtw?H,ŝG26ZM3FTzKz|A/R4H9A!.\QV׺v24WL~!Y9/3UHe_i( Q}4oLNq7s?.h9pQdz[