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  / \4 ww Monomorphic_Monad:threads=2elapsed=20.836cpu=31.716gc=1.912factor=1.527zXZִF! I ]ŗXf1-/6vR[;he {r!BLF 6Tٍ ٬g+2'@Wd` 8"CcHSA㙉y Dz',P9w3*Rٕ Ul6 ǣ߹zȶCz7Η=ts]A @Aavm=- M[/FG<=cM6.Vu//~,0| o M4pSI{Դ#(#&IVA}Tݺm>hŸAWWnK`G&hcBe Le, T~h eS@ذPFu*$5g&zD(sN) wҨS=gQn|2VwB*WH!/[@d451t?pʒu-Q95aLxw1)E,sxZ;ʼ_gYZ7zXZִF! k]ŗXi%s @E|쏬tc:o @L>d~H'3# 0c2Is&%7 -~Gm|5 vbǙdaPAV !/M[sd}h h&OX9x.@j8kg:ډ%]lF=H,t6M\]-P5l3h?_Y1X04%/SM#Ǧ bѳMY骎/wJ)c+_sW,X+#2Bg}-6cq3=$o>ұߕ_|56:3?A-B2Apa5?5 ?3b\uņxOMq]̗W/8ELm˛./Ksmݶ;[OMTNGO>z|< j 5@F)Xu)ٰF7h:íd|gKB4\Ck _Jds| xP~ iX?4E d;'9H#\aסΈY T3;L\p/1 q3})'Jj]OX@xmְٖKz=KJ, AHswfn>{TG7o?.Z)®Ei&AIDj <&8 t^ lp[k^3M <f~Ҩqx40_|Y]=|L ׂZ%^bwJhJ'`RK8,BM ս"3Qk6m>N1>)FvEf+S@RCJ>TM?vP4 ?lTj0B_4& Fl,7PGq>Clj gYZ0ee64616e37177565479368c4c5f56d374d1d53c 24837394dc7825fa09c8fb6cdb11476fb0500072 29faed5f22449255e0b21ba27558435b9a4a13c3 31d068e04edd0d37788cb94803f5ac07cc317dd0 d83b8216582c5d394a8fd429e4a61f1f74d230d9 f819085086da7f5b6a4a45373915100bfa5c05149711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9 0b0f6ffbe0f4770f3b2c25543ff441b61f7ff567 b62b082da1d764e713f5960b70e1b522ba49b147 4392414ee18e21cdf5931c628c2aae793eba06bd 0f920945119846c2bc31e47e56420208d47fb2a6