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 ==@+ < ?%]Landau_Analysis:threads=2elapsed=16.858cpu=26.364gc=1.240factor=1.567zXZִF! |]ŗXf1-/6vRZ_rO⛞[\5((jgڙz*1$gw(pwrH?sS>5R !E_hcWz,+-Ym۲IgRo<mes|%#RRhipI^5~螟MM3tcU\ 2A2 彙Nڿs_(wd6ҷ9A 2F3LuS fNJFӋW9Ξ\PmAޛ|so$NC,nf]4,K]6X  QZ:PO H[wj [JC֊J0JI5yEO("m(8$4\n=8m|8;yi鷋(ޢ4GNX&@%:}%).A$E\ q&vwF'AjYgYZ7zXZִF! M_]ŗXi%6wD3 *NVH3TBV'U,m47}9UzER][O\QUwy^ {s\j0ylO1nև@B VM].%zhsST3̄=|Ygeb@NQBDydk9;JȕEtV^._(I$ؑR^',ewWd@tZ)7ydm C?fpiBq9OL/Rv LyybhV;w~V(Ei78ŸbWd6qa~4>Jա/-s+O2sO