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  | |\, ]/ FFT:threads=2elapsed=1.472cpu=2.664gc=0.000factor=1.817zXZִF! f]ŗXf1-/6vRZ;qOYxqWgA ’ɶ'|C b9$sR_c:Ty3zŌ!gYZ7zXZִF! ]ŗXi%6fFi塒ٛu`̵ f2BuStt1z/Q(X"㵙TȊCroByÇ^w[N~9]A1Kg1D'J%HFErqBN7so5/ F-)d\u\騑TܐN4«|k,(=ފ`Eoۗ " )!eT;-ӹςЭD4Tn_tKV@P 5#Jҡ~" K+_iZ)A,CE D)R*7+aװFho |Mګ8aJir8]LIiUPE|@$@"G@DcѫÆFXˁj'498 "t0:YA0 ^ʠn#? ѱgYZ70c8f4fc4285015ed3da44a1793d010912568a180a2796d42ac427cc44af631a8b97f23c746aecac d64a82a2189953e009885b82ff3fe520b1ddd159  FFT