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 <<A\4 S/ CYK:threads=2elapsed=5.368cpu=9.812gc=0.480factor=1.837zXZִF! g%]ŗXf1-/6vRZy/``$%%|f.a־yd0ݣ7%ky89p},f5!(2=ǭJc">fq`0Rj~̼ >^!;u^}E>ɘFɕ.ee* ɸSןSɶU2u&N?xH?g{@/PRr29V}m7?$-"ؔ13H~C{' }=Iڜ5Ua# PZ[?cB&H"~_g|"s_EюZɷY6}FQ^'In:Ԗ6IEMY{M ֍4n~s*i!_ćFe@cַ켭 "Pd({yt&¸|CH2kYK5aKL~Y<1?Ը9TZsNeg$* 'z]s9*$Sۋ>i"(5gēTx}CpS`"޹8M0cb`q_[)z*eM a|CyhV$l<=wl]Y%A|l8!pZ_lXFhPgYZ50f0096c49c2bbf48be7c1fda97224d10c974fac 5eb00cc4d9a70dcdd682585bd5fae0f37f7e2097 99861fa07fe03ba8914f3d53c7de7c7ef6deaa02 ad5b67e29573926d3c9af3c34856b90c341449df9711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9  CYK