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 X5$ w ArrowImpossibilityGS:threads=2elapsed=3.918cpu=6.996gc=0.196factor=1.797zXZִF! 4]ŗXf1-/6vRZ]o S.AMLfDBjXrF:%95*rC)o[P~1: YN 5 ArrowImpossibilityGS8Iv]7`hz^9C_qWM䉈%]G40Dz.mbJ8j3 VG<4FUP|4v057jcifĞ,06P%e}R#Uzq|14e¬+BJ؇t[Mh(m`9}z>66~^W+/*:ر'7gX'\xs/;?Dmےe0mj''f(zKx)tl?pJvȜzk[U&XkU|ȗzNQ̮<<$qLPvPx=+vr)09yy7X{jVu*ȘNX''= v|89nǧw6Vi;˙%bI$90A|Z\`k>.QޚG fh0'g*V^pZ Q76=K<Β Zs}C-֡h L푱gYZ7zXZִF! N]ŗXi%DQw8WЕQOn4-&cBU;b׹)*dFfca`gzec FŃQr6&L W"l sÀ ߬,ix8\>ň?ljrb0,[JZ0*؎0xFD&bPHut09Q4܂:&g_[BՂe |km\$-Hnk⽗IO+,̤vy. оY!lМC#O-L;yU>#G)cE;;Wb$nRΓ} ;) KL!g #0ZP6%5U$TԿTǕ6!QfiJZ ɴP][6iC½-ge[ Xy = v?Gv2Ц6jM,h6:@6K(ޝ2E oݲq"+(n7*_^j /k#ePTMiS_1Bl=K@tEh'% YGyeB/Ujgu->2L[n3e&!EtijmHnެ#ݣ%*M. HQn}EX"fuǎ(f*UXؾA< gYZ1b7798b5a36172c4cfc0bbf4a87f92c4f4990afc 527e33139d13d29ab06ef1a036d246bb1bbc37a1 9879e6323de9f1b60c16d766699d7513eb60656f d6bfe6ae07bf828e73f3158ec9c7b4cdb155c92b e8cebaba1f0ac906c897804d71803231c71cd04e f6087813f3ea6a65fcc2fe13b7c4393be073fb887df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56 5c50fff35e48300ff10062e832c26a132060085f