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 9 T w/ Trie:threads=2elapsed=22.529cpu=28.172gc=1.292factor=1.257zXZִF! )b]ŗXf1-q恈͐7ӺV WQ=)"jݻYS]1=E1?kzS$G,|94=&~n?L5+l3&=DSL3UcX#Wa(4%}x21A|eSNd2U :=aKf{}㸩k`on:VDտ,mIyFqzR<.a@]1aZE[a Ub dn7f]F[^_2U! >F\vLM^)ܩb)S*-v{&e*Y7:FlF'#iog?`q n$hXɆL0h~ rlu(h~9biP|^j.VǠwrZ3E麧-9^o$myf(m/p RNOnrM'&Xȇ`4}>c&Si'ڙW%)Үe;lzF=ǿ)՘tDTkSNQظɯAKhF o7wwƽgږIM^ #QS~lDslJMJ T8sq+m)cQ$D8V9=ݱHDy,}'8BSqw#$RJz  Trieݍ;O3BeA0")BLa{,~X (Zwq(I N %IO-`)v&p zS¯#͓!E'֮5hQk>]C̯VggLT,셌JV%"i]/ t`oiy#僥:<; /| 7"xNAefR+tW#4FhHw›Lj_q~,.(_WS9)bd ,)ovDu|R |gYZ7zXZִF! s6!]ŗXi%<`qgexD;&ȆM$C̔+ja0Nw%_X9 ] "J6VҒ?|~i1 +&VP&7w`R?rGpSʘdhm/7YeӁ0%|@Kpg?dd}iKh6j$,˰s+ )z (:Q~`AC}ʨ/ĸɽ}9Z'jb9 ÚEg}I{,?Clk&0.T^mi73>krҨ[I L