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 ;;2! Ll + HOL-Induct:threads=2elapsed=16.004cpu=29.072gc=2.716factor=1.827zXZִF! -R]ŗXf1-q恈4?/*b#)gQq:#iqDO$4eIIdv:`[3hRGK:'!T4 F[YTT6vk8^RN- 6߱G.3*>iz]UԤP q҅ 6L\&Hd*e?1 Q0ܫߵXs)7Hm`B2i r|oB($ )At0k^b=n7@!e_ןȼ?J4ڈQ ,RR3D \Jِ;_7vZ-M Lؿ;Ó)Zh"&i}XE~W VG9LG=#6 1Pxn5oh!-7:rXv:[gdHQt͎̕fgn#7 Yd> \H2k3WՓЦ /ZrEvzc>H_:zV׶4 N꼦I6dQlS';6&R|_7?GSX&duj;9j@L̮@}xhʃjsG,} ?Kwz2r##P: