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 eC T, % Boolean_Expression_Checkers:threads=2elapsed=16.902cpu=29.540gc=1.816factor=1.757zXZִF! #]ŗXf1-/6vRZk3&pTsqFK9/mGJ&hr.4%~"DJ/js sHPTAzˁa1、U~ͮ̕=u O4%IX͚uVh3Os2'3?e'oplxO]\$0a .\#ͩ4Dyh*j00HHLLܞu猏lV=F.t9$M|HbdFW|yZSKߣhU)^G{w !"(WG"ӹTJmTj\*ŊԳ:;^'w('%3䌥M5Vzc mXkk4ܥsʓ0Ye.o) Ӧ`ts 2M?t&}gثhᯆ}aF"tjPT%c Ρ #e~' |)b: {-83my' IH]lӛR]e}IRɊH /~"ۑ;:{4쵃m47*ߝ wbvSK/w<9tћF(/2]0i%^؋h8{М#%*39;|ݭë-cpY$oEZYBYv ȕs* ݃܂R*MBDAQԊQMHV,3Qygo /&ɗ~ȴlO+k}CGr-$=i9.:8qbl1@ԍ~[S?zN )pZz%}c0hFa48 ޅR*,CvJZW:@:sΤYg .w\~"EY `4%:^ƊA-_ϙ`yr[eH^zV=! ViF>Q0YL @!Dj2E8]ٞQC$Ė{SPbʬۡ5rMyX0VX + }ar{BTr,N[S]P/qsˀwNDu2%~FoQ*[f 5hd?u9K§/'TO;pq'q8spE8\Vt5 O]~Zܯ gYZ34d8beddd1063e0f88c3cec18d55bc84f4ecdff0 5b7a8a74977f35c97745ff4512f1447d08ad5d6c 5c35e753de9008821a6118aedcc339f9365e8561 a8a565c4f899fcde3ec79b7254c1ad9f09f50fa3 f9a59b55e84d053e7eebed397fcd3b207594625fc7c621c8c679c6f81c939be460dee2fbe4c459ff d97c8eeab5366846f6d9647d2a5501999e294803 ca57ef1b446e14ab305bac96ebb43b476d3520da C Boolean_Expression_Checkers