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 q1 &9/Pt{.N)_2IoBSU/3>'32oHg٘2kAv8`hz*\ŽF̋֍ۨr%S)}mmMjq|TgMY_vbp|h6Smɱ=+Xƭ],@V,Pr_"״`}`]H8U1.JcYX#Iʼ'׹ ɨtfԌ!m6s8iUZnCoC};tٯۓ2or`c3=L# p,nrq,U!M-\;yߛ/Ϧ  fQ^.lK"!0 +oS2; > -!!_ڰ4v8tos~o%!+syViQ);b(rTR/ם,򰽥 fO5DU/\죌KUS;v_lSTA%>鎋Mˤf-QF:/_RުwWY''p" @7N".FH!9AlwW:Om 9d8s-0jZxB6X6J+Wv ?h|Qڮ`ֶ}בXU]$lSVa6;q* y뗷nj1zLznr JY![Nq/EF&Wrg?n)_Q1E"gCRv7vQPN@0%v4]Cs(a #ݐCqc̦)$b@ Rn LӢaP̉$9E!}qe2O2fXVT3ڸ1*ΞDӉo I;xHN~GJ@2r6"؅WlH" *yOd.%|Nf6+ Yf@@*E8l/$`J. /YDlS w_˙id&ѵWE7Ǘ3nc#Xo?BZ0o e lJh! LRAtn (c.uTIEA*ëruT|{M K '8a8jYof Ũ&) QjCωw>JaEvsZO}e^63# 7Qg*8bdz`Pd@u6imf߆?6F2Xe19lRhx  #gYZ06346cab5ec6478ae885ed1eeec7530656c6ffab 0db7fe504b58ebb3fdeb70be35902f8743bc2be2 113d89a9978a46123f47a2d125380933b9307f82 264021d3cde7bda13dfc001fcf5e7840dd186849 30add8d917f77389231e164e8534087eebc840f4 36efa08c1b8ba73be4ca19ec7aecb7045ca81b8f 455e68ebe02bdad42086eecf2bf25d2e9bc3482e 5ade9aa889253c47739de1d2a0c211a08953fe15 6a275c069b634e2c489cbcd21f5f0832260b3389 6d7c9cc1af4310ea8810af0955237cbfd046c69a 78046c9d1b79912b0698f2ee2418dfc36f83616b 7b6b2158f35389a38f5ce764b78e06dac1c01286 7ff5b276617d7106185ed08cb192804a12706164 95c841d96beb7672851b61f903b9788f5d5e41ce a96a6d27f3252f89bc77eac16e0507b8e1bde85b c9db538a6f4f1cf839b7484b90be22b2f08cdd9a cec01125ab754aeac0a7dcf5817b7047c6a3a33c d49138b595939baf5780a53efcfb4318f28501d9 f8cb58b34ff8d7482a8f3edd338e97450e679596d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295 d57bac779b5b488848d380f44507ec94d26f5b25