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 a <$ ]/]HOL-Word:threads=6elapsed=8.954cpu=40.208gc=1.548factor=4.497zXZִF! ]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?yˋ܁9y0w39*OU!i.8C!όpQqJ_b;; rD$ ŇB!:f@fJyi鲸!v_ìcN˘ vĻ/CxE&m)'J&'shR5 h =:BP+0w>ko1N3g?OU).Ji:!!yh73XB8єP*4'3T̚-Lp.R$AcRQ5gyTvzo]Gddq>8y([/eܐ Jn#Չ O2jnyes ;[B~V4 *ĕS֨yKF7% }X>=1X?ٶNJj|vSrX |fOZ] x<`UoSdO;YA<7̝ͤڨHolTml&C扏;S L.fM=iXĥDܯ.XZ;|=}>{eXvE/ͱ7K'3,|moo]Վ/Aho/5@a!R ^V` gYZ7zXZִF! ,]ŗXi%*&ƖY{ih%k nAx3 x `\Eu <SNïɄH  !6$8wHg8.O(8y+`LĆqq̇O ж~-ȡS¡Z^$qiD܆[ō^WSD:Y:ӁU$~2}1C) НD[a4 <; Plq| Ub=Qc2zs0&YZ&I60S("\HOM"p?ڭ7pգ,KwUMOV={K -ysހr2,lۊVd