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 h) Tl ]/ HOL-Statespace:threads=2elapsed=17.832cpu=20.272gc=0.544factor=1.147zXZִF!  ]ŗXf1-q恈8\:[Td6(Jx3[YZEeȼE<6]B Ȧ|{ !VJV[rxi1x8!h5ر\ ^El4̞X;QLٿ:-5-`ʝtv*V1 :`h Z >g#y vJRgYZ7zXZִF! ]ŗXiɟ1.F+hzl-M'-Mzɠ.hj! (Yas yw&ǕC J DqW=XҤVRsN:S`n'' ųl[5o9E(ީBNHA^^7`ygYZ7zXZִF! [x]ŗXi%6abG[@ rUmB?ۈfN{<Taݞ\Մvj?&t$+}.1)i6g%m: Ys0p_QT5ܝ utϊl"߭$FZ+^,'}"wAyɃ6ȾJ`tiC7JQdV_>E2 /d|T5#)P10pR#8,wjn8hli%eG;'mbHi@*N!%s= ;c# 7\`C W4g@kxB)y+(>_ǀ|Af\L๿Ǻ$Yvg2 4=!-r~Ud[P V*A.S̻ˆv˻9*k^;x5H 2'a*5!#^9^zSEMI_2DUԢ_r\@n=]/=|'ycܐ}">bp_xI~__Ҹ-G >_ɑCZt +ˇ+իh)\p[&y8{o>h;[-j肭xBhNХ$$݋<)##SSW[;Ct> W+=F3<} ̖gYZ388b718ae526deeee801e7a71f8e2be57c080e8b71091afed7a8a197c38e4fd92b1ce9b0f5e17eea e548908dbfe907487adcfaa9280f64113ab5bbbf ) HOL-Statespace