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 1 |l m]HereditarilyFinite:threads=2elapsed=16.379cpu=25.552gc=0.716factor=1.567zXZִF! ]ŗXf1-/6vRZ)/V~l_vdᷟGK?尺 [-=CU;"n*?IezOrD{+b,+EuT(%ptaA6ĝ{-D|aʿ{ gQ}xY(cq9 V?!HW-F<뮾K;~ho̡OD0m4GP(!D8a9 љ0e\jeB-swج oH.-/u,ݲ{a7R lmru_؀ 8T6$֖KW/nnpH!PL`}t!B}U()l(ZJ1yO/:F Uvps8l-ua&)Mן7sFgYZ7zXZִF! Yv0]ŗXi%6wF@,8T!lcㄌ?Ͳa6&"P,iw1 Qq"Sg܄zK0Gbv|\Ccmeg oէoLJw~߻;{P`x-^OgD-?hۻ릓2O'y mSHd9.S?0x]%4+ӜKL ,Oyp^[N@^V)iJJW /h9NлsnYC6S#//Cxܧ,\(α}2h\T$U(F@g@r*ġ2 @gӗe%mE VdqG4p?ۉ>M3w$یykbXXAԘwq]Z0L\.聗ĂρOFgZ*Tc^񦖆"|3HXD.MiNa4l{ןJj浥*ﴶ]@ Lڌ2Ȭb Wos&D3_/2ɮBC[4_e֊ 0љyʤ|yV%3wvq)j K/GPev6ZbTW<6FGY/^,` {e4$._H*|PvhRE+ $zkbk_Dw?EoE}~p1;]Mw@k SIgFPQSt[jjƴg-V6k%e#rfRI“PE@_vBNt_2 ;ᱏn +q:.9y'M2TM)ll#nuL5PMYbB,ߴѮ݈4(@FB@~rP͋/sCge. <`sBBBNϰRsI3CxC+h{~Da̮ 5L&N1M;G 㹺JCp >w튔TPJ'3,6C&ۣ!o 7K%f9)ohdSɩo?{:k5JV!0Foƶ+]Ϭ.S{tm[RX93;nC gEGx '+gYZ001dcd4d6a8d3cebe37f416fa2bfd07d87bbd6b1 12f77c17f595eedb9c71fc37f436f86ff7647a6c 3c5ac8e26f1721d8e10905b9ea177d85075bc738 6ef6bfcd3e21356d78d8377e82c11e1522283f67 a0d7a666e1ef01cff26fe69e59978baa40c126ac ab06ca086aee730a79dddc1d42c28d5bd6136449 c23aabb00636d95c777ddd7eb7518b377c4c9fcf df4a72d4c2ccdea476aa2a97ec6d075cba60850b e528a9016bf702bd31b17e02bb7f07c640ce8059554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 2b469e38ab065480632e9b5b8f44c208e16cab8ab15d30799cd38078a94aaefde3a020ec2efc82e8 1 HereditarilyFinite