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 #<4 / HOL-TLA-Inc:threads=2elapsed=2.306cpu=4.136gc=0.080factor=1.797zXZִF! ]ŗXf1-q恈&h⎾kH=k Sm~` hc(^mFaR[0TҜaɛ! Ǐ=*%\5Zd;Wl_} %0*}949KhYA9 yG#υ w^o Z%o>]g.dɇ|ꊇ7E D\4>Y#Z$UsZ3?7nQht͂>ĵ%ΚIrO_O\h9"dk(?uH#lúXB TB."â"u D7A-=q#TYޝv`au$H꾋.]gYZ7zXZִF! ]ŗXi%B\xǍ șV 9dJe>0GB41 Hs]DEQJ <23q?mEZtxWX#x$DHAsoM?S3sly0A7>YfJ!fJPO* gJ{噘6lpBM!rmDjN(hhbRxǁF)_W 0VBDn77yc~>-w6cc.i3nY~m3NyiY5K: _j\j:F:50RQ8";"KA/mA2O%sE)uG~on M@ؠ78X}aUeas\$$zHɚ7#7'9 ,>WsY8~fgYZ45bf53246c91705511bb6d55b8fed2386cb78aa3 fc6eb76f4f71f20609e402f2e6f12617ba1262771d303aa48c02fbfb8fe205c90ee243804756e6a6 3e7d2e5aa099435bba6e4e30f924c9df17b4a54b 8dfeb2362f33ca8f617528d62722fe465c48da0a