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  \d S IOA-NTP:threads=2elapsed=7.313cpu=13.504gc=0.456factor=1.857zXZִF! ..]ŗXf1-qN50^ Wy>j@(v܆eػJFk(F1>S"/wmYKq=~U<:?%h" `Krc\LLA=8 '7 9WZO㉋(~ XjDuP /o**0"`(d氹`*›Z6 x'GYN9l%.}zW:XA2o%Z]Ҫ mtP'3BZC!Oz} *:tb0O5m;B р)d+mxnub[ow%n}EL)mh9P$*+N5M U&   IOA-NTPg%^*1Iy ,XA䜠%1/3%jh.Gg8mMRrPl-AY%u`?1?R!6=6K߮rqFP!ʾsZgrƣ91@"UCm.ݵ\;>+q-U@/رIVZSkIoom(ȶ|Skǿ}eLݰ 5y:#-;$0 MU#vDuHkm~k}IJ[m~p.z(Ӿ2 L3Z $STRxm? kff)$@f^>HAqǭ(Xs^k?qOݒUIRń>pu'-( #/` p\Cm|VkUΡo{ɕlE膘]UnAK'F41X}*"'Aod ҟ;e.e&r$웨717G_w3lw7YV)<&+p뭉: |tRxVؐ娤,xi ZD 685M'Ř-HK+oQ'%6/,Zq@\'gYZ7zXZִF! #]ŗXi%k= [N6jwJ]L&`7)kiR|.?rMO4J7*dEQ90nuB-2Gj~Igl`\>3sc3:"F`09MRx&M+l%tj8f*?ZB23r\uaռOлYqɇ@21 ,KCxg:q;B{X)3~tx2x-v% 1wn|mU WK7]N =qO"1m-*P~{ڵ+ or7l!e 1iQU¿)Rl>ᖢՃHکҦvjii W1},)f֓!+1wsW晠 /]Yd`o_ϣ;D%OFc+aN8R#rDÇO8[ /PղaC2= $Mj59.|.b%+r-UD kzE?ˑTk0 yX:UcxI`C=s!P]SV[w-T8, ݩoSn%s"؝72f^:4|O>O&o9'h183F-~gYZ225822c1e6df185b3a39fb512d7693083c034b27 31aa2314c60bf1df8a389d106629135074489fbc 34eb43422c09b403e5d5bb215a18af873d1882c3 4cd2445493953f5e1f43fb04190777558f683d60 6e0981caccf92a743bb9e20c77973ccc858a4b05 8c9e106d9465bbcb1f87caaa742c132dc403de58 9d986d6e1195b470db7007792eef960414eb2d33 c68deed042bde63e5190737f685c33ed8c0450fc de04442d9a89a18b013fb327c8df684f4bf4358f ed1ea0caea47d5f1ac2cd6d02c7c6eab9dbaa0d0 f3e5480bef8e7e52fcca915fef651be33104b5e6d2fbbb72014e26de66d280d7be7d08deaaabe52f 8cba64bc01798dbdb9969f6de108dfc3cacddc4c 344aa01d9faa7875a66779417da64d59809f65b5 8c9408aa2d37997747536eaf5367e36f995a3b63