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 ,,E1 tl m/ Tree_Decomposition:threads=2elapsed=7.951cpu=13.816gc=0.360factor=1.747zXZִF! Geq]ŗXf1-/6vR[lN.5ZoT#80g- JzA}Ee ^A߅X(e˗Dr>VCpV~9d[?TrEZJtry87\hF3riΫ1w.sai^oIKl!Y*h-ax=;:QSsf83cHa^ۈMӝCl1,6<(vpBѶŌqN 7]]fkʉ_v˭ 2(U#)XݘJ4`)+2:^Ȕc%RS.)$UoN'M̅&QX0K;9:~UbBbo-1"Qx:Jjb1@#rb˶+B~6#Sg廉<^͉J0w~Z$@K1+/080ūRg2PwGjˀF0G"yGzڊb^#.Ґz܅.è"lB)r&RVl: ߙ : , "a)[B8(y) :k{#%7e4N XMQBjЈrW׆KGUԂ5)e wz"(N[m!62dq;x>հis1eZ9I|9TbiZʷ_Z6vj)"RɎg|kFLl/>5Jz">L3*qR~XMa&czӸx@~yö[ R7""PPJ4