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 j#,4 %]JNF-HOL-Lib:threads=2elapsed=1.516cpu=2.832gc=0.000factor=1.877zXZִF! b]ŗXf1-q恈<-¡$johkX2I):6{Ohq\“g:Nb'W kNF4z[Tͳ(A>YA$EҏGſ /)Gln*lq,eN\ȷK LCE3/7Ǽ#9X;WDu:6@YĨo, Υʄn # JNF-HOL-Lib* n'Mu-ьl-`N R(}-֊sy ZUNTeͽD2LW_5v%*HO\LR=jͿ Ha-j: aS@5聼މfUDӈGM1ZkgYZ7zXZִF! .]ŗXi%Om30tz],/g̃z̀BHE͑&) Ga>L5yÝ1l75fkNx΢!(xҬȽ&4s $Г4%hxjpsH)ߺ3R)i^UYߢ":WTc!yXSTD[ 9k:%s40KMx"O8AT_pF&zp"=kIŦc=_Ҥߙd&-Lߜ ߮^ Z<7C.(pPsSelgNV0hȜ>ZMSNC6B8|f}a@|!d5ÕgYZ6907e6f4ed210139c66774341d3055dd22f24c58 d8b591c052c85b1671e1d7822571568590dc3e35 fbb41d0aa9e7731b95122619e8a4b9eae61c727a80f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4 ab8b0f5e11437cc3b3ba93009ad67ac171c6a59c bb2bb54135ed42cbf9b16f494e9081c8660de074 5ad2f9166cfd8d4d2fa74648bcb36846d876bb60f837b52ad29ce7db2a60e2328ea78022ae00f418