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 ee % d w/ VolpanoSmith:threads=2elapsed=9.201cpu=15.828gc=0.660factor=1.727zXZִF! &]ŗXf1-/6vR[iB9Gf}P9O`3;%{Is`9"PJhqzx enTczR@D"* ~ t-(է 1FꍌDMf}t10Vo_@XK|uۓhנ_ –"[כ~ X)* x>G ^Pn@pw\̮ h)  % VolpanoSmithWZPLV*sY.ZNXi-yҝ'鯶e0:k^?M<$cB><8U^]t3l7[9M7<ϴ: A9"}O11HG(BQ5+8uFZ(̹$oaFɰuU5>[AvĒ_š( Ís63WmրQ.s[ƝeƋՔ_~Bp 3~&eWm_%#Ua֎%gu׀Z{ꢼN^OΉ@-48'" rkFYj*tc0ݷ!]]M >9"0x8 W <]Ni7q6~ķ~U%>oc@ht^dG'Jqʕb՛̃smw*1ew)m|3 D]6#]ްJrޥ/x#{m̞/xOߌK ~њ9ZHVjP#VOmF/f签+LInw-ӈjڊNBhcJ#fu0f%LXgYZ7zXZִF! 5]ŗXi%S? 0cy.)q鎊+mVZ"O2'"9TRÕv +4y:؈n:YY1P1[@ƝC3!>ޤVFGIZ~6IIbrPgB9pyhp-Wgc#;0 AIABq}5aӓw~xk~R@vF<U5a(sq͠mYr~PXvbUЭ0鞴-sPWgaGvW E5yS%c!+=c3D&Qiw qݡ=r]yjˍFj@@'aF;8Cݴ|ކ65=4*jڼ:BUJDDf]="UuHJv8qf[F^Ƅ?WR*ioSC|Zۗ4;5*+6A@GT=X3.I;$K0I_ &V$׏uCn!0'UWrjE5ENmU/EТbiP\>Dռm*J~ނϬX@'QJ=E!ktձgYZ07c3d0c0260d24e84312ea07322f84eb50610fe6 15649c4dd41463e761306162c948ea79ce836419 43a788035c378e986edf224750a85551aba4b61c 6918709c5cea4390c2aa9b7a9c411fb9b9e72799 7e04ad2d81aad700a3243fc642ee04707d75e34b 8d8e5854f33fff58a9ec327ea3350411fee5e5b280f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4