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 55H1 < w/ RefinementReactive:threads=2elapsed=11.452cpu=21.916gc=0.448factor=1.917zXZִF! J]ŗXf1-/6vR[O!vpa'tAl0ׂs,G!`ztԓgC@_1xvwguq36ia::n>T_P)qYAH!ib{K" /pUjuAߵ)ѢV#ªuB-gJo5ӏ؋ G+CX+OLlM0bY*;鱌 8Η6~J8".R3洱m39$9m}o4CHwz:9yш 5ds"7F;"+Dz^R '4{BZfG>r?"`eb77D0Q>$NU^ߡ9\Kh?$}9@\ݞsFm7>ayGݦf+4/Z8&|Ҩ*@}JN"2~]No[mAYnw(Dkjxʐf&̄1+&I‚6XE$5TZj; /\ar*u n|1|W%X~ ҳbK3 ?AE_-{SLpJ~DR Q%<.qtQ9<;mT3myqO.&e@_f^ nˋ !e1H/9qllB* ĺ0 x,P4Sr -:ݰeS ! nJgYZ7zXZִF! A]ŗXi%qQ)΀/C,Ǫs7XH7QZaS9m2K&knt?(8igHU8+y l⍃KLrEzW~%vqd9T⮃? iUm_:%x }-pJ+#O>.A o