SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 dd  D ] IOA:threads=6elapsed=7.192cpu=28.572gc=1.116factor=3.977zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K9]; ʭߍLh3/1WФb1"Y:zASd bD"Ֆ\48P+05t0E-Ke~()+8g뱰*J&7+MҪC% Pjɸu*_hJt[M;ӆɓuэz?2AW 4L1rPV~c6?b4_·ߍ5oᥞ$o^KUX#B3 CYvޤ+~:+d@JpSiX6e|?0cJ^{3BwBo["6\K29 ދA\KJgz:and-} d3u&E !xҙG:,{Ȑl0Dg>2(|ICgYZ7zXZִF! `~]ŗXiɟdN'LvH۹8[sV/yo.r wl "y7!{9î) :\W؎VE#{ q-{XIAӵ x~Ŷ*KO_2v*n?!|qjCc>v|9)$ݬ(P4_,{1~B~0I^UH][ۃW N6BPܰkР{|-]}.IÃɲӃ}T5ɨVb8,=LO6ss{j*QV_l#\瀉F)9sp^͋qe5sM27  bRAvx2o-k= N# C6uZJ9Gxjq=ɇ(d[Qenz8 _*TCaa\ ~&JRqZ&ѲM2h7pԍ3G&Xࣼ(\[z`>fk#,먮ħ1h`A h5 džۗE17J'Zh[86.wf5”U'eUf_eT_XUI@v8e?U "ݑN (Rg"D+p&㠼X]ݭ`nHe8]]a &( _iOh>~ͻtC] ڝk?}^q9~Bx[{Z40XNRbXeCx!8bTbmg4Tlw]|Bfh[