SQLite format 3 @ . Y Y Q77Atableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info = = 0#4| ' Native_Word:threads=2elapsed=194.174cpu=189.468gc=7.000factor=0.987zXZ ִF ! ] ŗXf1-q恈͐7ӺV-fw0w]BjZjfʖ+hzqPORǙxMQQ/ҽJW) Xdb\G^iKY @4zj&S=*)bg^}sHdTC#:`,Yxy}aa0k^s\5HډN=37^ bXTe?3O4;6A 8 bzvwظ+ 8]:6d_S0ٻZ&b~K[ %1˿Ub{>x4ya{iސ65H%=[ EH"|ol]dR +kCU`dT/.ߐz,˵]`^$aߓ[| K8̋_ad:%[Tt,)W1l3Λq <$Ua~<ͱ'" haD:R8AGܑeL#c̘V II96[u.c CȿJpo աCAlmJ }̈;i `Ruk"rf>tna6bSEAX_&Hp1 1YlYc2za NKR;.SVHDWI-f{5myt-NqCɢxXm P*S1?Kry&lJhf1H|lY.%-|=3O#I znVqeb Y<6{Fa-En&:ZE4L %8d<Ŀ5tSb: ${N8l6,A^"P)b`VJ\`(`n¯UrUoV cG>Y< vQV%tt+k>]XK p(U;8q]} %^K~ 9ϱ:hc^avjY>M^*mSmbRkӗл}S%O{-#kxmGGY70@vޞY!+_^r"gp F/]SVR4Ey0Bqϵ{DSQMmusW{kXe9P@!$e7ԡO n{yo'O DZMX%e)>++l9ėIgp'.Ӹ)%4<$ 4h"s[~\n/B\EVvÊ;9$N]jWy!~ѻ6y3*1XM$) F&cSfF.飢IJF