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 @-D< S% RIPEMD-160-SPARK:threads=2elapsed=1.147cpu=1.228gc=0.000factor=1.077zXZ - RIPEMD-160-SPARKF! h^]ŗXf1-/6vR[N9ʁ@;._IVn,^?*:վ-nzjjk?~އ nY`$4A{'zi8}YZ7zXZִF! ]ŗXi%m]q]5@y@#˳BAܕEq#ßn`^u+ oѨ?By,qnRr?n7 b;A\0nZ̧*5+ʲ\a6HE]lKQBuӫՂ>fސN+IPJ3i+j` {'muD=-0B~a`u(b 'BviȨP.-DŽ!A渊Eun(R~ r_}`^ ggn'*9״|%u{1V,e|T1պ=g>5n+wrn6No;zʕ[[e9&P&ȝXlp jJm"XGgYZ032f91905f35339d42804f02844f44487e2e5dc2 2061605cbf790c60d6ba5299b18d3388432d3511 9f5ef76d0af853e976c57953965d1fdf7360dd28 bd003e0bd6ee5ec5d85d899e10916a7b1099deb6b9c0e8f4a3ec48522e3484ee292a510c958aa05f 7e8b43cb6cf3df2a7c6640f5f367906a273b3e9d 82cd4d68c338fd10fac41d74fb7c4213ac250009 fae5ec30134c7d258064cad0d6c5163ce1c17c9b 73590bd6eb03ed0a0fca68e167edc20cdd4060e3