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 DD9 , t ] IOA:threads=6elapsed=7.515cpu=29.996gc=1.192factor=3.997zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;KΡ15dJ SG$2RAٗY:0yVf"O(GyA҈ɋvzs6zqp ;LJX5<ͿUgqOTݏL0;!cކrk`roN4F焴=JY¹,XS_GQ~v@iz9}A.:}I_}X"=2` 䍘ca9@_rXcJS8ESLY43_.aw/gj3Yri2=H 9ݚU_yiKk5 nRE+XvYxLSHm"|!I~< BfQf9͝x[Y(i)n*I kȌ.)m,VV}^8wFnzBj7Q bqe^yjE}Fs᙭ma!pr0R%yb?R3: (fiIWm=0@Rc*V -Z?LX &rr{bC8儩{h;'" C~xh0s*sCc SOԮN1K"'R'ؗgAy''y?§"/fGK&r7m$+W߱G-c<'šmWv.)$0VJMOYN=XLM]@tH6KeK|iė/dœYMO'=-VºGϔ:j8Ԙd:'gEt v]H+/gB\ΛIpJц\Y8#t@jG w҈pfH'm>g7D`6R4$Jq]t1PۏN˷@xv6XzW@q>c9\ט{4]FfϸW&P7{&ste>4eFRQL&g—r e?q