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  C+ D0}!m?_Z/t8˞dN;spzS9WXHaimIfnwG` A>(K-O*&i#ޱUz^qc.#+r6,STkSgJ60ɔlt AYJ 0,.uUSl yCeZſwk{׳תyKk-v@u)q-od&⃐ȶ❃W"nA8D&dHߴM$Џ 1槬MO/,G CCǣr8)hv0YDcL-Ri 7-m!; b>W( + GraphMarkingIBPohxp첞[4 Y7<ۓ-,=WPCbrڰDH9RstWoco-GCB~Ze!Zq2T&ǣA%Ȁxg-./n&GX/Vl l}/ [,j\["/v{U_-v @4>y?,e\ĉ{.I tNJ@_׫M^։$UE>Z gBeD AHnʚwvr,)$=$aǽVu2$0rZͮmˌ (P"@wihҗhH'+oLj{m4o,BkJ\0[YD)HO~䥪%nʻ,9{[DWSwCӕ AKYl $"`<o $+;[:3_.:ѣTm2.)izTe]8|~+ΟEHx0h#"Iڐ*.,!GЁ@i= l6[i53QCm曅l1ϕ Xtw :a)vU%#Ξ9TjGPw0 |Z/RˑӠD>4yw5]#+pg0!\w%me8h`]^GB);-BTu'~?sJs]5hL_0m 8E]{72_/,8LC>ޥ-JP* }4p!7q8o9ݪӂH}ΪE" uیR_SyByg6s|- G# A^P~Wn7'aL pi}_^sԴtJ-dδ9fmWLf.nmH@̲W`-n6Wn`'ehNVu~75R3a0s"92 RCy?j#ڳ:jf2ӌo m`e;s0xj XNjo6*MIҙ8v`{s͟ԵȨEIm> { <LXrRw7f^Q. "|O-€)#|9R!1HlHgݢ¾AU&oo)3SMf-0W֔ :ĵጰ]B["݆*\h7ٷgJ [0 %38HȶzDqDAŶ8T߄H)ۤz_$s{t-`YrSF4U?8V"H`=۝e-4 9ˆm~BU[&$%pvy1JڑD(~@~mPǻ58c@ɽ7 %@]ޓqZh+47Ͻ:G-fÒ x`oKG>9籌5х3vfi7&2 GFHxf:si(GLUȉ/