SQLite format 3@ .  YYQ77Atableisabelle_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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info   g/ 4 S/ List_Interleaving:threads=2elapsed=3.136cpu=5.508gc=0.200factor=1.767zXZִF! ]ŗXf1-/6vRZږech-`UMqď꣮BYmyIqJ'\hfr >lv%KṽZӢ$jI%Q݇Ok{\%$=q`}P*x/|~ S֎HĒ^e+oE3&  [gYZ7zXZִF! T]ŗXi%6 $ʜs`äkK{~98o ~s`/$j>0v;+Ea;ӵkݸaN 94nq4Cs+z5;:̮>{ ҈x]2.*GF4h>aHMSuwb K@6KxYM<%>=[lԪ X#b(]R;!ڼ2 ѷ_tQ ׈Zk/si}xOdZs%>G,Ó>/ˠdy双p@f%U޾ @->d;nS&C':z_Q~Wl7@݈zI}Ӵ ;̢NVz8h)R8:;>ӝG%0ٲ>iN)4}Ы_]Bߏ]9gpxZN0\9.=Bvu9_)IpZ='aˆ]=A#0@]ـ?EuXcwK=`WDlkeMdEJٝ(H}} )\A[TV|Q)&wEM oX@i3#gYZ63b9332e0c2b071f8797a7aafcddf15a927e077b a1bc38e60e42695d8caf1161fed157c8935b0253 adba8d4b718d4b39467be2e3f06ca5716da6c0af f960ddbe27f8bd882c523a07c322f5b997e8cf0db9e4cad54624ad835a14cb92fdf2da43457b5cfe 0c8d5da11ffcf561ab033c36ec59459b7d4f6e36 / List_Interleaving