SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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  O O.  < ]/ ZF-AC:threads=2elapsed=5.979cpu=10.008gc=0.564factor=1.677zXZִF! k]ŗXf1-W'S)b-LWtƺ}*ؗyJKGhǧS"މhhѝƸI*Gjh r T >5pIgK̸!S5әoɏVhCjKfnk BV4G _o^s#;^_vǪ*WY=0#)"G˜^ΐ67"TZ[tAyNq@k$Xwyoȸ+1-UJC%R:\ jPwe9Ϫ 4SV`coL<)qk5| *X)Y8n{IcoaQY]X66"pnᑪ{Bc?|Y!u9~1 ARjJc ko>XMUq_=СD@:zk`U5f%"r  _Xk\xmAKAdnb T[D;=Vtiۉ>ZOpE%eErXwgN| ϫjd`\5%yKYe [nF2.];)yʶ.gR^Wv"Q;/jL 5 sV?\]m0.jUܠ$s䢕t;ԡuf;EէrI89عt$g9ɅY~?dyfu)=hijD1M26a=@@J8[\t(2-<[>Y+gYZf70dd6c01969228c303a62b29f7706db7931e9fa87932c6edaedf27de51c877ca7033311a89eb072 db4148d59902371dfb712179a57aa73fdcf7b8ff  ZF-AC