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 I HOL-ZF:threads=2elapsed=3.823cpu=7.364gc=0.224factor=1.937zXZִF!   HOL-ZF ]ŗXf1-q恉 :NCG 8vۗ?xWfkq6gъ$V$˙rnmP2G~I50jG br0W0VjsVfs K s)Ӟ-S {؎;~!?)yܥjqʛY Y- TsѴ#KVJbI۞&|}D|ۼ/Ic90JuשFр|"?cbC~ev, -#`[Q_S,F? DsPr5I"OJUUcVwqq q')+8_mاSS8-CvOԲP*%ȝ`$Q V>B⻄^(wݥq ?vU) w] \=/snP!!T4 \0L+8;}ˈZ*k PTͬl;>VIZaG.mJ! }mmNcЃֶ?XAy؄u }zBjamqPMغQ3]M[4^"k@!2B~&b4Yl|OtqQ&QRWr|loh^ʪ ]05kAF}H++>'6 ̺P!@2ːm[c{y8Th'/QȦ[}ioV$}Xu}Gj9〙gYZ7zXZִF! ]ŗXi%#f25D'0m'T.?MegTBXM{cBXͭFk6h8D]DP9YA2qg0z^ ]vPѐ&fwF B}N[1lc?I]Ku^ez>a/Ī8z;Ɓ[_ 9b-V˺L#5"'̉PКnSodÀ́n)SN{đ?]|lt_&Kzݐ|,}*K`Uؐ \eU?')\@]%$~u8V%K"op)ftck8efM|t+RuUF`ԃh{ڇU !h',z!aËi= x@7q(fc`6nxFVuL`M9s8-^k}1E| ]?I?J > ?lUPX`hP#LmEHΰ GF&9.=RT[P <4>~^U#N3b%j2C2Py):$V錬.~:,~/ۯNVA|!e/^3|_.Eb% ;~č AzuĘx7kgYZ3c14dc53146f8cdabe471ef4b5c6c52f622bedc1 86fd7da255e0657d15e775a7170bdc58487beed1 91070ca2ed75fa7a551feb0ab60472c9827b89ed b5cc46d4a62f20ef6119a9851a7ca12f33a1c7a3 d4ce4d0c7f1396605d8e07780c2e270a04a0d28f f061effe1a39aad1953557c0a1606fc8143f9a30 f5e82ea1c278f91f9937efb26f3b0956a096c71f76e60ab7be570c8f37ab4fbd0cc297599bd4212e 75f08b6f45353080735e360691a96b11d33f8575 4113b3ffb31b40b1c0c2e73ef8640203db6d0ade