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 ii= ,L ]S]HOL-Nonstandard_Analysis:threads=2elapsed=10.057cpu=19.064gc=1.088factor=1.907zXZִF!  ]ŗXf1-q恈1`VnȆf ס@,ns*%~FȒm<;!ɺnKY(.ŏ}L0 \wa6N2bEĀe=ήFbxG@V"^"ӅV\כ$fԺ|Am>O{Qã+w:$^]\_ wp@ 0)>C,}7JrDedW60g.FGb@XxB)w~2 Wg#g<ۑSxvoA H|ܟ.t=rYul08J{XT\,%I^U̹~"Οܼ ` FW6~_-'tcHހL\^_h' %3(b #!r 03D;'Ǫ8w0 ZGܾ{* ¹##ARC4͠P=a⦩0rӎK2l 7-1a{?Д+Ojf+bj8Ŏ,L Yȱ|IRܗI>W'S!R1e y {~eb~y!]=71k{sbv?o 2;TW >al8H'7a4=A#ﴃ I$ V{#k68@Er]>$0H\@2<㡥/(Tb%>o#z"A 5)~LTr mLUW(;[HH%\Wp4ߪBt(H'~.Cxb(M*4X *t(JLhh|#FNos ppWmz-%}e*K!,.[mYcg^M7b! Hǔ~!ʇ`v\0ʳ]W;{GZVHo~S.hk@rȾӭkh6I~ș{7C.%x`@>',FaiS#߈a;?b=^ߧ,V;^8lf[K_iTiڴalXSϢ"8U"ڏ˻&vj$lYw}J m$mkF;~xNASB_{][7#b˪Zem˜tѱ{sns 5 蠷O22AB1j!u\