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  |+$D4 ] HOL-Hahn_Banach:threads=2elapsed=3.919cpu=7.464gc=0.164factor=1.907zXZִF!  ]ŗXf1-q恈a.W>"Aޙyģ΁K7!@c_u'QzqhIIP4 ۀiy{<;7]G4fd6njݍ/Ì6- ; iOU;Tʦh5V6=ß*]TCzk#‡ڪޖE1s`/:ATH-jm%;9n_yVq8x}o,ofC3SiO'|h ;<ձgYZ7zXZִF! 4]ŗXiɟ1P ~n8nQLh) un0ļTN =Qo雏 9?(ꨠ??'\PjŨ C+"N>R?Pȼ8{SĤVtJNUy!>'yM5=zG'\NW[Gq71XI™<۬ͺp>QP?A6|\POEmz5֋ob@H+ޤX1I؂::"k`dcKeD`B`K嚱gYZ7zXZִF! X]ŗXi%9+}(݈lKzz|p(ox4`X$Qg?z/%t*ZIxEgCN%Rx2Fش[~qSA \kM`vyH0hJuw#t5/%yYFz'#)Qq<Εz;6Q1RkAiD!8e*.0ª2>0'lC>dBV6I_甊*AJV