SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info )Dt %/ ClockSynchInst:threads=2elapsed=3.695cpu=7.400gc=0.100factor=2.007zXZִF ) ClockSynchInst! 1]ŗXf1-/6vRZysB N^WG!mQ^|k ;GZ<&Z0QΠ ~aĬAuAى^GTpn Oby H,;iıqYJ֑ ( %,B=;L4A07))z,(Q]cb!IčdzV_Ҫq6jBvx+O*$Jva.FLU{٘@>Ͳ[?}gg&( l妙<%p8MIMΎ9QT8e. ?9aX@u$o0Z'(:PMZ\,7 J8o߿DD9_5b>Xr2QJ3ȣ>sp^&8DO7x\pWTH}xA f$t3 dMNOMV~Sӿgd$6HNzA3wZEPioQ!yg,">5ZmSJ`HҚ@eTzecb@goZ͋($Q0E__#0^KJ#L.ӧ݌kq\ H@汖st};5Jvi`IK^W֠$Ǽ[ZZzQ] hi(oe Zog,|wOs@cDu"?!Y0!c;k:2xˍbX$'2aB/2&8 ُ-Î{+`2R`/%;3@G7xi&bEε=_\Aohב+Ӯl,ae:^xICQF 5 F&u{[1N:?L#'GFS%2}2ԢW|[_S{o4|}JGd`БEw 9kKB` H[TSez7gYZ03fc5407a1863f996c32dc9839554a793352f24e 1ada44196f0f092a73f7cf05d193818482d6283d 1c73eea94aeeee4ed1379b7fc85cb8af4357a08c 4fe8894e0f87c582c785bbbd6e1767f74071337f f0827bd66ec30d76f4db5a9addd865d6a43e28f270d59207b10c0d3f1ae9713c01fe0490a95034f1 a635d9d9c13ebeec12e6b6e83baa37d10eab9bf9