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 gg# DL i/ CISC-Kernel:threads=2elapsed=21.950cpu=41.116gc=1.636factor=1.877zXZִF! []ŗXf1-/6vRZx>3ddCQXfh^x[++謵3fFK汬X2>ee83a^Q#=?,!+]eNd`q<((S\v(/H.Ěq [؀Yܿq:R8xd:ZL^D}8۠ .%:\$*F[M\Es5cF!ΡRjﱕ%>! Y%gz!WZb lSF 6R*4+~̿V+6bL..?, lN^Z8%+yEqf~,">ǘކ^ljjW1bm{~y:dBX^~.|4]7nNwA#! G1gJu`9vh~?15fH1SGF#s&1v-UyF>1TgYZ7zXZִF! x%`]ŗXi%6ҹ:NY /!rG!=meoJo\!KxyB7WDĖ@KJ/Ozub8fɐÿ(P#ȵsik}D<]H}9$/3ʣ>CUb1sE/l +8D:;* D4tM#J +"\"dFe<+nscaez:ks _\xx2HKgiJX-tp'֡E~!yU ]Z Xkv'c*^񪐥r$2ѠXU9PE+N2c>O)IR}E R 81ZBOzU8F8KaL2F&< QfSsU”Ce.d0m ߉R&Jd(V3sVV퉭'(8<1oC݋l.|Zr U3zvhVɂ(:g|_ ȚPS)p$uju|>? <ƵFIIMw>[iIZ42ހ!u Cml!a#.h rrWШ G@)jVhBO?~}w@82 F+2c-{5Ɨ`ōɨJ LQRx*B;H֫M\;Uh>iš$@]d\$w#؜B}Ϝ 5HE3PTrS⋐㌼91J^@^2R_Y1O?L B4udYnwlN23kopKN|J*(U/Xq퉭#Eic#%߱V=:> VAn\B_ ų bﱫ>Hd߽i`gւV˶ YЧ3;Uu }Oh*A0-^E$ߌvZ3eT7{k V].iyy#u&՘yRRt1C9$_W I:WvY jQ<48YvքڸMU/OwW;Adrc!2ЁUQr}q$u] Q}`;ʑř jѻ 70!Xxa^J:8 ϳ1/*+}RMh[!(>8*ӛ!Kg~ A{<mV&8{52ԓCЎᢍ5-)~]$~?]׆!-6Tvy5/|N 6X k СfWl|G*YAzRaaD@%1A>,V*BUN#5_8_ l(z~ކՇLYVѺZ,&k>Nےo=$r