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 cc/  HOL-Word-Examples:threads=2elapsed=2.035cpu=3.832gc=0.096factor=1.887zXZִF! 8]ŗXf1-q恈ebLi=<^TIKl TW3%鎀@@"u@]@W"L  !d H ~Ve6?6a23\\x.=GN#^N.?o&>Pf?i?&˝KAd4mO 0w4,fz53P0b#%U.ra8Ũ:]ߌ!1V.)}Lל_Hۏݜ(.6',g}\5y*#} / HOL-Word-Examplesm$[oqx4~6^n6&FR8@êRGy+$ݐ_ǒŜ1u0El`k╜Gϝ%f\WjV#0b<e'=4hdnShHC#M;.w_6D8J@ Тa'j]*y,Śjڕ@%j^ <,6s~?5-N9iiHAtM`0dF&qZgYZ7zXZִF! ]ŗXi%BՏf*w8whxj͜&q:.' 'wqm/Rvj[A _]Kw)(PAv|SpuP j"Igx(leE5M7#uT(T)Xn. -|EY/mg Ǥu(B݃bgYZ2d4eafc74c6b9a723cabb48511a1a0822374624c a0b57905feea38e409b2c1c5f2a51f1639d737f6 f5efcb46b0fe1f58ca83839cc36fbd6638a23ebf014fdf73a0b928fde39c061b3b448884e65fa152 f4f811683dcda440eaf96bee8739ce28e3523afa c12cabd538f6c4da75d1826c4b43a759cd17318d