SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 65 4$  Lower_Semicontinuous:threads=2elapsed=9.078cpu=15.876gc=0.276factor=1.757zXZִF! h-]ŗXf1-/6vRZ;tZ6B%UbmVҼP&D-,@xVWti,_&WDsjрAۢ,zUBe*B~Ci>$mi&^>m%a86 r-dUA$(Y'(YX~]‘b 4 s^V쉳DƧSs:`lbCdFN5/CV=cJ#%JU'JQeq-nԕ<{1KpN_5hNsTGIARO G !d(NJs38#7W͕nD_|V f>XƸNexbܪ&Ќrgy0|ɫ3b|zp=.P6ުy? 5 Lower_SemicontinuousT/Ğ[~)*o)-&~fbV{ۚOcYkRP :B";䧐HDӹ?Q~M/ld'.`)9Rd7YXHŘ}.u;ZwμCI"5M-(;TOMk'b2.#{ZiO .aHcG(&;闪Ǫy䮴r$la 6#_BGZ~C䘲3;<< Ll-վ/>[>pTg]68<ڝJl 469ysН/xյ1V &eCgɌvsmPG Ӽa>R; ͲHICS x"\b.yk 3aDf;9r`(Op0s/Gy%XTzFHW2w! k_/+|o5Z?c{ޕP!uñlեBspe7AGGn`'#93tѲ^iXƸom*992 weFQh#P&r6/Whk1ל}7av1vlFE-b^8$5LUuӎnmLzMhu]iKCxl&v蠵3:3_jZ-7HT(r4ƾ{./LEusC, U΄GۘQɧ5JNlX,̂'m[B4[?kA2+* B ؃m7l({9ނI:O*>FkF\pj*tS47ݦ4rMˣ3Ek/YO^qG t4قc zYK/K"L9aF{wad}}wk"yb+f/6UVTPr Ue[@gKYKosN:a͡VC&C X\ af,(L`T?N-Pwoe{o,J1 u i`Hu<2kS '9:Hmc]WcKn*K"@<~l$|BJJYս-/ g㊠ZD<1#j^}@ 2۷ڦ[ Sa uCC!6$bp*ޥ4`9=O!(s|[ȋ<09 ˣ.;4`o*JQo  =QlXYB?8wvk gYZ86b65e55f934fbae00684093cf22aec3241178a0 a225c696c3e9d48f7c4f8098500d46711fb37700 a37c0ff6a586dc734eef0c613efe285630dd01698c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07 42e138dd2055b0a1db4a1f3a058a8966ebf86487