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 w3 ,BN]9j}WCP$A[6 ԮZD/KY_c{[Bd@t1u0VFq"&e@~t`ִ ӚA/_Wpvi"1@kИu&m(4vyڠ9@TJMMؘ۠5z'Aw @{;_f鶮p&{绝:yu2W#,^ _.F|^ŀYk>qֹ0!ogYZ7zXZִF! ?$]ŗXi%B׆O6ӞulZt8ֵR-Jls7l'Mwgp6 /8r$)ݘ)m?je22fHD*ZYo.CeӤj1{_ <%ɡo'H\-5tFzk]=WE aSPfu77,ǧ %2_ިCF 3< '|ݙ(Vb %H" æ@5rrz@xaG IDE̠`y2hc-:Ni\!aE :Q)D ,JXnzmh[ 3:B6~ ӕ7x?-gmCwHk-tvU(mfbm䴖6LG^ ','Lb RRD %e(nrn_D<)$O;/zZF\l|m'aUO\uv L2Bsom%pY۾Hl:rcxEGJvE8;Z:.ۍ=vNN7?#-҄jE.RqM',>H[Z_ ñ!6zE̞ Жw|Ggr.M0k zz{~9n(@CMR[큄Jvt4낵ok9)$zmc0)m[UV v}jUFz0(r%˄ftz5|/e-`u v‘K.a`e/X{M3ڌ~EEzo{V mGak8SW&zc1ťNRB+]I>崝Сo asO~q2ggYZ17299d3ba8717cd4b2446b784f149c5440aa8081 2b44293b6dd20a34d66bcdeac57b17e8d0e4c8a8 994a0fccc0fa771e9040b466dda92c7b26d3507b dccd01286d84a773bcb5903fe229a02738bd1636d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295 3f36a11d8c74ccb5219961f66c2ee8539a4707a9