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 zz7 |L ]]Abstract_Completeness:threads=2elapsed=8.067cpu=13.892gc=0.788factor=1.727zXZִF! @u]ŗXf1-/6vRZyغgЕgQ,n0 z߇+UMe֥sFèQQY)z,26W,~4= Fo |<-#gYZ7zXZִF! ]ŗXiɟlAC,YflӅn] 6X, 0XCCst Ukޢ6ΛeR?$H}pVJ b4Zs/!`P 7` dܒs  m⎾ ts^E'CTٺv*C~ K $X(#J:D:'Ae,t{9H9vMFtO䛴LA0%>5ۍG"]w4C\N?rԦ2t,nhLϩВe@^2W2p/xOt2~Fx=t}/Jedj%{NX(vy@ti9t$VQ7b }[wCG;גC8("^iXlk­q#TB0l2Xuoe*g@i-D -4zhV@ߚ]Bc_8] QC w<P%a!_e4g9#l% 88c!ؚNu4':Nhꠑ*7]N,N@qȒ^qŖI 2:#ӄㆶ1<q]z#8L{h Tҧp