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 U <| O/ ZF-AC:threads=2elapsed=6.702cpu=11.672gc=0.736factor=1.747zXZִF! %]ŗXf1-W'UTxlFO` -mg}GxRySPfC›ɐR-կ5XB2ʷ9 (]z~>{Xλi 8:ye$۵bYf"j'a@im8kY[9$[8DqHL7ƆOt'#7 3mxZ4{#jzTN7Vm v- 7p< 8˥8<tGIМ"! oE~qـg&l߭;kFa_oӐ }ϱ*lгYYd۹ΟiJr !~mo b \[%ihF ˃P{Ġ )}вFu]!PTtj$C RWKw˾y_'H"6݁5Z5K /8h, s|*VrFB)9K_TQ^cx$FdqΟ4#ZÊdєnTfph6{9 |vև~_{lDO@c̬{_ewk!4ɹ6_Wcݶy!>idH^rɢհƝ@t pOZl`_׷c!8cA!r>t`J(si@K MG^Ig]Ct,gz  ZF-ACle$4gYX{q2Q6)ֶ9 DdXJcdESW۠ If 0 s"`4+bO^@ pƂ|9 ϋ3v''˸:m?Jqn SZZD-3-p~CL܄Eʂ3@+d@q}M62YƸz3Ecyc_E C\5Rk-8BÊ*.!x\1oI~i_-0 R=~(v 98&wNo;tܸei|]"S2EK#G.Z9{BRG @ GҖnOW, ˧,Zf {uex~QQ}4ۙ_Yt(o&`Ƈ6ߝb0ߑ>Hչ!;f׼/2 `X>cKYvlؕӦ4s}L5Bfm'A䜉dxѸF