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 /T4 m/]LatticeProperties:threads=2elapsed=4.136cpu=7.684gc=0.204factor=1.867zXZ / LatticePropertiesִF! ]ŗXf1-/6vRZ"P*nI%ͧ ۩\{"G $Q݃LOIJwaQ p^_Txs`uzaPhAq ޣvo鋎'ƲՅEj始iei+p(<\;:qGWG62YgFQb¹wpfǖ3J%2ׯQ& +j]O,yTHh$`a &%W~>U7F+ fʵL-җ&|3xi'Y_XcXBUe9*w zW,0hPz : fm[X/R%-ح'Ӳ-TF*NCŌ}j,04 (k| 6y~Q' 0s<@AǮKö^ORMizس,_|k9 CjuMҢIZz%O蕕|orin$]0$qC 0@Y̳"Gvmq~<9ް@|NFxp<&:;i@6 o=j>Ri. "tLaˬÚ}=1 1TqKr80_W :8R?@}MbBsD}JwM8j'/}ڨF˧u3sbdSj. 7n?qwh;z 9L3u :PVXo ޱO3ɥ\5 1$b-lA Q:$gByg}D;P8<8