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  * *S#|T ]/]HOL-Eisbach:threads=2elapsed=3.530cpu=6.920gc=0.136factor=1.967zXZִF! 6]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^Nͤ[⇝cD 1}"nI=ہudLsN}p٫, 87NX'vuwtheJ|sXnˑ>|buJ0Yf%mc~FRDZgÏeddǕ}sWY@5 'ѓ/3x2¥qڕ*9($"lr⠔-|h?wC5`@=p=ÊG6eً]M,Jg':D ogYZ7zXZִF! :]ŗXiɟ1J2oeTʹ̰Ko"  j[zx]dȰ>۵m[dJ?c_AD PI7Ah\)Տ9o5hhoqb^6rsScߏrt=Rmuuao#Gj5qs)gYrv`t귒N(Q|>Ga!bYU-SI1@qDχj`Y`6gJkvbGF?Kԇ89cN<m .p/_J,(d,90ٍʌszIe( X9yyTJZ],1H ?&ǹigz_|}#%X-cܑt!a̴ ZCKK (vV{'Z0SfJln{(sYWDr iWJag;*c/0iKӄ+EΒ'eZuAN_٪WUpf.!Z Oig޷ ]f>g#"7WVC{5/1\qWHZGH