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 ['\ %/ HOL-Proofs-ex:threads=2elapsed=1.044cpu=1.920gc=0.000factor=1.847zXZִF ' HOL-Proofs-ex! ]ŗXf1-q恈ܗ`pnB[ )N$湟%#vq0\n2 (!`vzGDOd kB እ{G? T-a+;̺46"(V#aSg AKNҍs1Jt!.Y\KKԓ_8A j[:栆(5'bU>L.YHw_PPųx兄\_s4 +cgYZ7zXZִF! h]ŗXi%CkTj:8(#h8 !$yO*ɄBmzV=cgoX-x$ .gI,=HDv5)=ϽyֽJzxwki8,C݅_ G%|ʹG׺uUBdŎ,xPLUˊ`O$8*[۫]7ADž?CtK!-զ(f2<Y1яi+ըlYr=4SG/ve|!fWU!v*k{{;Z~:NJJdJ {\ˏ1>LX" megYZ0968089760f349910671eac0a954fb5ca15b2a9c 2b5be0f523e6ddb71d4106b0472be8507694462a 9e7e08378f5831bbe94dbb2be763fed4e356bf71 c8914473932544077e1e2bffaba559fcb7c2caa2 daba3972be164dfa9dd9d52f7c9d32b58d67a5f48c5c3c02f05e35fe442f7fe3aff9bd93f43f72f3 4b1b8c1ae578e31da0d6d5977e53120de8b24611