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 GG.-| %/ BinarySearchTree:threads=2elapsed=3.323cpu=6.532gc=0.280factor=1.977zXZִF! 6]ŗXf1-/6vRZkc-X{8)aI_tTʅ>!diP;m?Fv8LMGۆ#^!َXtmq%e{ב. /xU%[c='H6LbA6Ѕ< \Hi) ӴDI*LOeSey18 [N^W=D.j|@ %>fjѓh7Ǧg0&~cIƖKX r\R4>\#~TH >Z2vozQK˫ae/tfĻWPեX))}9q4Ҽs#0dw]]'>Mm`;R U_ {,,펚@x8l}FA+*OG.JBv˅&ғn5 )eL(ESL|iXqz3&M SPp><۔[C1kj1e^16EU8,xтk@tS @Mj;4iN - BinarySearchTreeDx-J+.ñgYZ7zXZִF! |]ŗXi%DQkUSt*. nTCk}/ސe?_LOE/q(r`u@㫨,r~aQ9 ´ (/5mU+"%$=Bf6bO$_wѷސAw#zTr{=1 oqC哃u8T{)'p+[zFezQocyǘDK")gnVk%VpWlj$oD-+1aoyFL0QVTEgq [zg肌X*ٝT/ukT 8[ !b~G<{[mC`=gW'p|!EUpN1 ޡ~uR/h3*!X8Cj_-ڡdB?1 [^Q ÔCJ!m8`Џ/UhmaU)kauN#a%Evf}/ܪGt"~!v$D:Lּgq%9ՐT_B:X8J>vk_cɩ&Tchy;H`O)֘JVwFyZ X