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 ##R/4d  HOL-Word-Examples:threads=2elapsed=2.307cpu=3.772gc=0.076factor=1.647zXZִF! Q]ŗXf1-q恈ebLi=<^TIKl TW3%鎀@@"u@]@G͘&`}I|e&zGv"-[$V2y h"" ifcٵ-:ʸ6.C ]h R9qoE1x2$fȊlk$e1DHKkXVfp zyHvtN{1UW0ћ0V / HOL-Word-ExamplesP"e"|",\Yepyux_8PǴRuuX6rk/1um Z'%q?,7%rɓxU PJ7%q;ҳh!g, kW:ʓ?x0pC爨4F16*DgYZ7zXZִF! ]ŗXi%HfLhᠼqq)&p{fȇާ`CWB6rQG'9[$T[;MTkM,8P{d N] LyW7|1ipVQ|8c}T>Y0윅vS^wvqU߷'.rGNQb!^.7eu<|OxY.`8@%iJ+Më\WlEEcel$7nWw9(X ɩg߆&X%^9OV %\m|dlJ$Bg==7: o(!7_=jIP2qmG!ud-'NEOf {*#%HRPZO~*.M!0p$LMj(fr&|xWnDWPj1,DrZuGgYZ10b1d5b3daabb4f7851a03597ffaef0493d96daa 2d4eafc74c6b9a723cabb48511a1a0822374624c a0b57905feea38e409b2c1c5f2a51f1639d737f67f2620c3106ba8cf7d1c7f769837afcff4b3cfdd 67de1e4faa6c594cac8f83698b542c3bbb933a16 f2ad22412fb42ba60b9a6dcbf1d7f98473d5f260