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 u1 ld Y/ Concurrent_Ref_Alg:threads=2elapsed=11.844cpu=20.132gc=0.388factor=1.707zXZִF! {]ŗXf1-/6vRZy-`;TS h|`f$ 1U׬D>rhD l j +eB?upW:Nգ|K"Q?݈˫ױ4 tײַeg>_'WJrѕ?ɾM"gYZ7zXZִF! C,]ŗXi%K b kȥ"r/pZ 'f<+'6xי7ur[+_FQb33t vȋ \eњ!@`yM.1 fZ345=HXRq7mլBdJ_2b@,LӁ+Ǝ nE%xM0qb:Zwvz`SҬ>J3uFf630圤jO> Þ{㺊FLd+c: Il^*K8/lgj,H(z q˟ʓ0R眣,s1> Igcq 纝}6Үʐ3wwh")nq*-&Cy3{D"t1h%A4͇Kob)N<`krl>.BTOZ5lTh*kaҦX[']PB^4)O/$LUm &2`Hbኣr{KAOsV