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 C# 4\L ]S Shivers-CFA:threads=2elapsed=29.040cpu=56.992gc=2.880factor=1.967zXZִF! @]ŗXf1-/6vR[]u EߑTA>9Ǒ6^ X( e}k*sEN[9! )q؏"!t-ԩg>V~% zԈ>[tE3.w#sA"ZY1tDzv{AIQa^<=hioQ ^Wɯ)j9VƈK<&ԋ܍1e{ə,#\])#JUR|lƜkrknәДK}~9j˻|2qD/ c0'9y?T(\ 椨CLT.QH #J΁B`%W9>L/Er$`!`iz׮ef9]S9vwz0'aHr!=EװD _o:X4IT'Mw8_>5a_4)Ȗr3̛4@{pnnCNۦEOpD8.7B*IӴYrwk@?ܮ~`0 ΫOw'+\:3JH?Qlb_vKM7m做n+zzzx%&sL+Z 0^T~&rV&C8,º2#磟lgb(3 0p{_Uʷj2_l2eV K9NP P&Wtξ{ S.s{;o@-6ydcgȕ5Xq/AJBph`(7rtsSiA7@=!w;0