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  P P-  ]] Cube:threads=2elapsed=0.348cpu=0.360gc=0.000factor=1.037zXZִF! ~J]ŗXiɟ↝ejZ]_T/x9ieHVa$S Qua[a,Dz+rf}YZ7zXZִF! B]ŗXi%;dmL%32@}PL[EfzBc.@kUJVy>| E[s`` IKlZB1֧Q5w* Ї[N2=Yۣ=E=6Z[-Լ)yç)4}ƕRx,_K=TK$%><9d4qB{SYJ|)N_'/ދ{:( Ο*Ǚ@wんrdp~ᾬԆGݶ+[hV5wL}Qi gJ+gYZ74c2d890b71fe6333300c37a9d65bc8069dbb2fc848658d617e1d31408814b70d854f0969b4d3dd4  Cube