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 [[ 4\ w/ FinFun:threads=2elapsed=6.020cpu=11.188gc=0.612factor=1.867zXZִF! >R]ŗXf1-q恈͐7ӺV }"cXH?c;MԖP؉ލB[:+_6wOlZ䈽 _:rY#Dq2.=a/`N>v'0WN֎Y@sM@ص]p=Ո[^G.qqQM<ϒ:'0RCPIEs2 MKت RdDtCMݢB@; ݸ4(8?<- WkLsR4+$TXm=똹gV<>-#s3G3^e{<51N;f@"N)+]"Cb  *#+o*@( eLh.UVO1tTs?>l4ȣP} p_P\^33mDh @Y?͞r Aq JKKVLԡ S$ ;   FinFuno |]XVio+ xAm+2ۺ̖-;q"qMùJ󱚅bN^$>{9"/qqN3W ܂QZ\(lׯ#SV6ZT_IT|ab)w>g=U΍2l\;k[ &-+놈]I ~v:9?(c xJىC=e[ []p?akk¨FfC:i^zx$jk=LSPF v]觸bG =i!_;C| 3}}ǼW}SF F`!64Ê큷5b/ZUMW~E2ٱ5Qr&M<ضL7dB*JL$Ⱦ7'u_ե*/;A TǦ8'-.DQoJBn5yAY5۪wP#X'a3|Sd Vo->26N" b]@P r&YGbҊۼ>v >)/b?M$M}(k=aHq&Ř&P"i F:X8@>!ƯFT0eMێK& vN*(o$fr23 Jwj0h„b T@"!/B^coN }Qч"s&`Pz//q .L~6hߒ1K/O4+'$/[ц8ӺݷЈ!*v?_)b b:TpbJf̏,;lڿ/w]C )szs% =edyj0U* $t;܍+\3)ku1 񼡆XlyU D#k]S; ]ǰfҘNg?(ɂMf1 spdeȲLM8%Dc-7Aqc3p} n3%e4atӍXn|y@]m8UaڐF\8B޻BZ6'1@K7Hsg'"[>EbGTEmgYZ00373f1096635d47f99703056d4932b2c263cfc2 4cee7a4a8ff3a6a412156b24cb39563781feeea5 71871fb9c404b998341648f6e2a0066c41f02fe4 91e2f6df6462cbf984da0609a3e9ff8fc5f108f4 98e56112c94ef1e4b2b588c91ee96072cbda4b3d cb51e5c244f278a0b0fae9d2d8fb12bef94cdd11b9c0e8f4a3ec48522e3484ee292a510c958aa05f 7e8b43cb6cf3df2a7c6640f5f367906a273b3e9d