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 `7 M~VI%q66|?D48"#B}llIMdGb?ii ]EKK .J {L9O ӋgE\L>-稨 ,ÁIMfr'Au㎴sEu0zO94Mc"h8d3I$ԶcNtx5G/_ѿEzk6TfX:͑UF>ZgR#XF3}MEΌ"Q+̋Z4&Y]Xx7, 7V2`m8Ndwʬ(Z0=mQo6!mKa=* nVGü8 (F,b.K$D`2ͥsBf@oY# #`ֺW٘f9y~guUSK+LpW )[,;V" ag#0]j>7e`!i]dhW?H|/bȏVf/|7G[kdz)Ƽ{j=R!4kA7uxf1MGuٟ]\J$qDB2+7Qat7 GUXzԧ2U|I}- \CƤxo&H8J쯩8j‰17AL fNeTYnɗAX El[^RqD "hRns&|Qc)F>;QvS~h%^2r[Vъ6O_Dft .(.s^|  Uu)oƕf'JͿg `o\]x(^kBaģBu0hG} S1r뇣p1 ^S/rp`G&,Cٴ:wbDH!PZx r8gYZ04b7a4b36802c3e540ffbb0d319654ba1d66494e 0647717b3b50aa8e2ef37fb2e3e29c7e6491a56b 2502510f72ee28f1fdde549556e7bfc9927db6c2 27d345abdb90000e88de4f09620d1a0aa24ff072 42568fe36bd892a17601da091593ccc1104d5e23 4bd7e1d80f70247d964bf7cacfecc66cf3c57a03 59fbfea245001d6fac90e8bc750a7f13d680a43b 643ee2a2484e94a06f3aa097422c84dbc87171ad 6d710bc24b51794b6c670a85824b239b1f04d387 78f6e391649cda5ee46725af01258a82ed88fb02 7fc3133d7f3111247e83a018399902c2708bfc05 b3e8ec8cb234d4c930a4e6c1a74f7653a9de9afc d604a29cee484371110439ee25d87cb37f90acc0 de06ed2870136633117b4815938082d52def2efeb91a3f2e818b0510d726666b0272511f10b50e54 22dff0657b35c8921184e6e2b14a3d15c6bf0547 c35d342c744c45b29787e20f514b29a18a185e60 7 HOL-Word-SMT_Examples