SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 % <d ]/ VolpanoSmith:threads=2elapsed=8.254cpu=13.492gc=0.560factor=1.637zXZִF! |W]ŗXf1-/6vR[iB9Gf}P9O`4Fm;s2ڃw)"kv7> V|Uyd{ Oݤ>Ӛӹ#!Qe=oIn KmZkE@ y .[ -b-Oqy<۷ t-9xX-13 ʤiX|lB34ЖC1m0*yy{cs<2 (I35,3gqHXqEq0de =mO }Q\[)!3jȕ‰\'x!=8O\\ BgYZ7zXZִF! y]ŗXiɟS+;̕*A!@l@?UVfprj*hjQ~qV46G:(ۦ!q&eG"}>\ww"Ġ^tgYZ7zXZִF! 8)]ŗXi%923T94')eԽGjnˆ츱~>}\1WTttǂI1n N&֬9)T ~0ؒ EL!9;ݺ 'L5/p";IL]ֈǦ ʄ]HE$*bgvJ%/(Su~O>b4\n#Bh!⾥ Vb/Cf9-*=ڳnLۭ;9PyL(J&qbqG~Yp)Us9dntً߱ŵ003tH(F"z7$dHvvfyzr L$\3t7nQ']6$oBVȮ*o 5R c%<2D<{~ ;١;4|28&?9s&Δl"ʻ޼ e(}Y74eTr~hoXI2c.>y?*=/x-%PؤM'qyFΌ_ʵ b6N%!~ zQ8$c?F,q\8fAVZ ~PӾh4j_D53.|Þӝi)nYZ~wu:L/P !_ &!8޲6oXNo\4 lPE\tQ(bVAsFݹ3 `N8VY$,cm|4)@-0M/goICp;q뛸ײoa p,. Yyqc\[\`ˌ'KbzԺNQx ,i[p%gYZ1cacea0ae9e03769e5d456e03e69696555148c4efa7050467ef8f63fd56cd5cc004bca4176bf5785 29f89a8c8c3de749e3d8f52dbed7d75c52623d3a % VolpanoSmith