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 -/ \T m/ FeatherweightJava:threads=2elapsed=12.597cpu=23.092gc=0.696factor=1.837zXZִF! M(]ŗXf1-/6vRZ9@{q$Szyj߫iIlCq4D_HȅC *hoowO{vq*V u?#\*Kq ZjnH<+tu_=$gCZs<bT u 8ө  e~&1!}lAT*t,3w$t&D6vW6P$qh{J ]rc?=oeq }f^qb#|@IJ= c< b7v؞z.(irU:;VJ/C۳vH ̪+)Te$ еz h2hIOm$q =gF3&O=ߙ-U@dVo[W7 =[ T?mh ۱yVR v BNPm \ًƐ`.4 [o .M@>U#ޏqK !@<, w~+( zz9yZ9Ll$2CE%HځV+rWjbp |)IQFCoЩNq!p E \L;WVNmy4Qt<)>\. cwmW3kDv72EU6'`Ms#ޮ~d`ڙ ;!ۯ !ݍeIc]R>@xul7جHXw¾l(l5t>Oo dtA8X{md&x ZO 8RQe~̅JlpdP~B$ lB\ Ysߙ |RWV!HBzٽRKARBݩ[ :)lgԐ..h ?Bp 1Vuǻ=ǀ2N9&quu_<,^ P"mŬ'M[SKaE J iU1-.3ocvɲgz(+rF lT:}|0lS  {l.6ҾVE πJDy$ѳ/;O!?o T#4+*}sAuD r.DfQ&R6"&v@ $F{#r)S9|$yHLe7*\Y'}:dx!(NYLc0MEcF!PmBp;W(e{% t@O Q>I q  +γ5e4 HY%v1zE/zxl 8Y$n'&[ G8Ȫ5#zIaSEHbu%o{/>FoUZ`x[uw1?9A3j͟ r56NLtC.] #zQqJ+Ƥ%j C&AeU@d!k˻¾$ ͧJTٷ\OюON\.Jf;# ;HanqlqVܪ6!^Ƙ"@ad I_?9Lx5TY !ty| &99kQ}߽/{UXl+{8c.nRvdF NS$݉}>Ww.RV/%xXQvI؈]z^X^p{2ĉ69u:oV3;/EG]2ג{6DM$zԡnI)x_%\4 [ټ*.74C$0;PliBG?jyv9JQHbCjB^H½50Pܱ J: ^xZom 8ь9=xgYZ198938cbcbc4ce0043784e081f4ed6f385fc3fd9 1e9875f5e0a757bfebbcb562f5c50b5e166c192a 2fe12d51c53562d8369c4e884abc1d1fc76e9c63 567f9f3722ba555a42e70439beb4b81042d52d87 6997f9235ca3d099fe0942d18074c256eeffea71 79f51d0a15eab3b8daf33ea13a876578226efb47 8a7bdf614baadee9c2f7718c6862516e546b4b93 c35e0a99ae96f4f979865d8a9d9e12042bcc0842 f0b6e798c92be38da5d39829f18dc38183d2822f07addc2441fed9b50c84968593d4ab6a353bb724 8db62e28615d4e139a28fa3d5b23cc3a3410b988