SQLite format 3@ .  YYQ77Atableisabelle_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, "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 JJ3 || s/]HOL-Word:threads=6elapsed=8.625cpu=37.760gc=1.272factor=4.387zXZִF!  w]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?z@s̪˻ZT G/+afۄd&LP>t-p.y,9 0Hmi[2 vx|ʎf? ?)\C9S֍sQaRlGg2"_ Nr } Z9;QO,ua'T^`6y2"d)NTGm%qe&t먽/vc#d',s#6s X}0 fgr ZT!2? J;Z$sLLNE8cn.9P ,Ye?غa =d^/C~`6˛{M"ERYb׎=Y^)ݏ2% B9IUI[bΧE$p3`pTά%6wP*ƩmTXY6 #bخ~BlM% 3!d Ū6o ogUOba$BȇdS82Eg<BiElkKF mqbZ ,_ f{؁yCN/XW0a+Q|oD^\t=#^#[lXBޘ Ⳮ?uXұ>ԐH[0I,3;gα@GzY\2)aH?`3TZJ;O