SQLite format 3@ . YYQ77Atableisabelle_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, "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  w'D ]/ Case_Labeling:threads=2elapsed=5.035cpu=9.380gc=0.156factor=1.867zXZִF! []ŗXf1-q恈NucvAݪ4 c?im+)=3}Fns@rW$֢Wb<-jdwZ=c͜M(V m@ǐwKRLEڤX7N_umi<݇p IgBx [ݐ­2_'*VJmӐ=;YƬYcqT-(Θ]3v{i'[}{qav|kvkbIъ1,[t|ʮ)y&_yN֝hP.gYZ7zXZִF! ]ŗXi%6f:Ij}ip@^HQHCv@`*'1Zɫ oq{:Xyk(抒dO]],״\'j؉:MtX4=!-sՄqrLj.a񲖮dl=5;0'/_⺽#lj!'KA;}}1ൈU5X4(*4s8If]^y H[ؒuLЗpS|2Vqf߱3@.r؂ZUM ;Dc`K>m찰w{Y[;}% d_~xEp7r'abvĸ}O*k,V FSM[3[DZo,9)V\B4A5v^"Cф׭gCv {XM ‘"g8b%AIH