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   {#,t ]/]HOL-Eisbach:threads=2elapsed=3.794cpu=7.588gc=0.216factor=2.007zXZִF! <O]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^N/?r3ﻦpЈPHQ߽IJS}bI_4 $7 j<*~ =C8w um '7"e\Gbf㶰bɊ@H |nEaSbN6ynxc:ũLh"ͱgYZ7zXZִF! 2]ŗXi%ή*ۏl IStY^dz9K4\"/)xtU$PNAu <`ZL#zsLqQ^!; $")A딶EDY8JsJjgji;'yF=,&dgHHmԇ TQ3WFUxƃVBo}Xυ<-^WݒR5jve@[8*sQ|_JHLw(p(?`oWKkicDvѧ^tȚj *ƍ܄AӵP`{ PzCr?8M,y#|VnB}zqƶ &0$x) L.OF5m lGN_n_kZ,/#q"yh7Ak0X&#]p[3.0xzN't$9ϱZt]4]y9?U.bGR-C_ bƂVJ)!gYZ7e7dc36234bd6edd9acc390e2db20312c015f40900b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02417f7e166b343839e7ae7d1d3f326ea8971b54cb # HOL-Eisbach