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 22K t w/ FinFun:threads=2elapsed=6.167cpu=11.496gc=0.476factor=1.867zXZִF! ?%y]ŗXf1-q恈͐7ӺV }"cXH?c;MԖP؉ލB[:+_6w~I'pqۯUIq[ i)+ DȭxIJVNL$?"Ik[)l _8+ _%g OwzhڱxٛďgY'c)/[ nǙmB T9Y2۱}X 3]>@ZȺ7]@#x?hL[ct"E}u"|Pk+;z6$^Fyn Ҧm ȢY3MZ]E'p4Hpwv`kvNfAh&~I^ѧ/djEy#<`ad7 B[)mE|;H sk/sۀEx$u8.4m{ 6Y}Ngp*,4^Hi:WPW¦ʫWeGEn ֥e633~*mCsԓmXPMV.ՓlTƜBkCc\pSD ܬm%2p塗t`L$~e(89WkDɘ~.{t1NX.q,htZ[0h!UnU=8]REd|Aʻ2_[>39C]2t73Ϥ&:@~847yS!3hAb M!\i|5s%o<ܹ!>1HIXxi} $(dzHg?PAlafSueCh,uiAi\l&.妄\c-/\.'o3QZM jvQPo% K63ՃYCL \RiD`tur|9-\\: `&A/V;`T6@-ݴxL¦q7߄ M-}q"}[Ө -A%$YHt7~e8~oPdSlG$ƣi)cx: `uǶ~ A}@аbVJ ʩ#UtSӝ5LsZkkCa ~aAϱgYZ7zXZִF! * 1]ŗXi% NJt> [y'6ė 6x5c#2I,դoIbZ&5a#8V}:%GJAa?PƑ. 2a;3v!h'g <K@{'E:xL^Rpq>,IB{+lU@ei1<|Rtr A )ALN(t<l!kPD 1![!eS:HںC2lԄ"GYq6ii= LJD+U#BXejMӏ|^1u:jړ[-V8~2OZ M[a1N"Ao7qLNx2 G"J Ex)5ɸVX|7[WPxXv+Hp|t-fdWe"A m 2=8Jc'x#FqİW iUsx]aZܑo97Jɺ>g"0L PI >˰Jw|%ޢX Q.]Do3=K8vC?O/{2Qvn<` ЭLTƒ6=43vH8_⚅%D1P4\jaRLjBVA(\ h!/,-Zp᳧%]%}lJTY-gYZ00373f1096635d47f99703056d4932b2c263cfc2 4cee7a4a8ff3a6a412156b24cb39563781feeea5 76672d0ca038cc430cc1a943426e3cd5f6065cd2 91e2f6df6462cbf984da0609a3e9ff8fc5f108f4 98e56112c94ef1e4b2b588c91ee96072cbda4b3d cb51e5c244f278a0b0fae9d2d8fb12bef94cdd11728eda92c596448850baeaf541586ad0cbd7b32f 9daf9b2243525f9f5d1a1f22d380df7ef09d72de   FinFun