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 ]/]HOL-Word:threads=6elapsed=8.907cpu=39.912gc=1.468factor=4.487zXZִF! ]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?z uO* B |HWfn5OLn$$_52p'N ty{5z>=MR=s *X)~֢Gp #h'Wjq%/b”t+0~-1JbgZK͕7b+0y͉M9Z;AS?@W+V\}J*AO9 1ѳf'oV|q#%oWգ3#!ʪ1i/"۳-bt^4%pŠ(F,G٤]1fJ llp PQ=$notxLqw>\T]CEϣxDxi,KV4è]F/n}x+Jٕukv (g]Vإl6wHءhT"!Pj_Ǜay 6 8%hnG(NX˻ri}ˍ݌TY}=;o aꋳބ'n$gYZ7zXZִF! ?]ŗXiɟ1}?қѱfدyQ2$2|B.AS[z} -l6<@Hujjkm&$!dBL 5y?7ajVj\\a6Vc Ȝ+L a ˵([FZ˕ýO/0ٴm)Z$vJ3|ij9 Ś%.SD+={.d 87=08'h̑ pQ?+ӌ+n˚4QJkq$ r)jJP8AY4 ӓ-  7N q HgYZ7zXZִF! ,]ŗXi%94ǥ2E 81E&qk1$+좣K_u;Q[}!&^ צ'+f>#' ؐmLCɬ8t׆R9^FAqILA!A;.&8>Qf(BkZr1]ZV9ћ=}6ƪ&KI,,Y  r9|]IWoʇ8b?XGRh6Kɩ[ gO{ &a8ؙgd5b[9|hf sp}ٮFU/ˬ3*x$l8@x^[6jV=1(>a๱wK;םX='zC֏)t2PQUj 8->!m-f{ Ge0zLo <]Dm&Q&Qw5-[YUn++82E6G\괽SCf0*O!/o"gc:IA@UAu?t!iPO*):y#هZC "͍B $KRVjDT6v@-8UtR̂Y+eGtB{j2ڗ-mT(jpEbǝI^` Cyt~zJgg2-Q'Hu:1W>F͎b/(-I:5Z'pHQ)tXMΡ?j|=]R~"7޲75Eo X]ʌ緯<椶9FcMX(?U'Kq}I3!n47z)f,i-- b#9ÿZsX5X{y#96!pMՙP(zPǞ5ē{+ryY+f]w$Gd4!'+D K+.x2$OYSXgYZ1c5146c9c967c469c82810dbdd9abea9aaa37eb08efa791dabbe9fabbba3e8078d5274688c6622fd 537220e845e462fe9dd7dc166f6d3cf6145faab2b55a9fb4cbd254392523f9039db6f9373c221b83   HOL-Word