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 B T|d ]/]HOL-Word:threads=2elapsed=20.951cpu=39.728gc=1.880factor=1.907zXZִF! H]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?yݥ܁9y0M$l̆l$dzrGN[-o-F;3 /ZY@Cׁq0.EZX! W x]ŗXiɟ1˦r8v@Wl"`&Ba+!@_yd3ŵ({GԨ "4XՑt|CM;YPxþ)Q/ѫ] H$ƶ >^5xmK5qA)6*Q;:p@vT8g2j‘ A.F6ir0=`<ۯ{I_IȌܿˋir_L猶B6jsSEH`1?𓴛;ā%`r=ər^1a)jꭑÅ7w3/ J9PZ﷘?e#@>lQR "4}7) RxYQSZ1CcjMY#򓓋4MC%f2zwMDŽI:^-lqisṵ>BocA"pq#Y€sة;bp{N_"_,XûsO`==QK4q':3i1^ڝ/Pm~mFz7L1SnMM'0I =E9^+VIO$>elWppr]fO 0WAG{V$'Yoz<-vj7C$pR 4^]6S@#!dEHxIBp%gG ҆>S2 u3+Kxΰ(6Q|:h D:u_S6\S(KC@A/h2GŊ{?<ݖnq&wN}fm`WA|PyH'*(XLjz5 p"ee"iH #GI!C\ 6&Q4_xFp̊G