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 @5\ w ArrowImpossibilityGS:threads=2elapsed=3.570cpu=6.996gc=0.132factor=1.967zXZ 5 ArrowImpossibilityGSִF! .g]ŗXf1-/6vRZ]o S.AMLfDBjXrF:%95*rC)o[P~1: n;w+ҁ!ճK{kzR!2#sYGҏ3w:eEoPWSKYؐ !D̃D/_ﭷ7J]ɗ$Qf".Z`]-[E1Fg'SêsBsF9㷩 8YU 9}x?7xnvܴ|VN^I\EY3/2ܞl6s.@هۓIZ+GX7$y;%xyK<X2q,q?i. X1w%@q"1e,T8He'mEaXtx]2c=fZWb/'#Cd3ԨP2A "z^.)a1^%ejטm,DӮ䬼7Zjp[/C ƃJҽ7h/^[MLN˿+wt]?kɔQGZR]5\alݺ": fV RhZ,%$ip!lʢbhLT;tZxryaR.uAIrP: )]w|gYZ7zXZִF! ]ŗXi%=' lb EgsH 6K3+Hő]nM@驕*'R+_ЉJ[4ۙ8d/%CN`29*e kBEq[K2wa:U0#QDIR ? fERLs˘ Q;ej*yA0-ŬwyC6,xBWaȕ{:;I'&νz퍡i{gd3/pHXCmkDhE2!I3r}Gx+z跈W-&])dBO`voE z,9HI}AۯNHW necAKDs kJ;Qfl\z%&\8[JF7n`Dxy5~)C%Z49g:̶1 r@S#LM⥏T.Tuk>gb5\S(xUO 86+%)^*)ͺя&+` ȥ@;md=لXȒI#곶/q3/Dߋw m$vhy;_Z~kܸ˿暴T772?鈅Oa~]ca2PJGpY<[lՐxH<+3!gYZ05986579c3f4e790da03670c7d87f887a7a23b8b 527e33139d13d29ab06ef1a036d246bb1bbc37a1 9879e6323de9f1b60c16d766699d7513eb60656f d6bfe6ae07bf828e73f3158ec9c7b4cdb155c92b e8cebaba1f0ac906c897804d71803231c71cd04e f6087813f3ea6a65fcc2fe13b7c4393be073fb883b94e1300442e1a3f5f809d9b370cfc0bbbae59c 2f80d3f93a8e8908ea20a991b6190f7aaeac097c cf1f16d97467793acddbdfea0d823a4bab350303