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 TT) t ] IOA:threads=6elapsed=7.314cpu=29.692gc=1.148factor=4.067zXZִF! L]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K*tagV4u"/ۂqcaH>h5ԃ+QHp!4|@$2h[2`CXn7<2W֭VO4?\0PE @u I2)rIC`k^ǍN#H]LF `BI5BCaxrpթXw0&#+_0S|b5oczss'߲5QmwM)SNrj)\uKqnT|4%(3 ܏ȟ+嚾[ {^lL5aD 9O rMHmȮ\C#'O :,Et`6:  % 4 @H~rBRTNTWgYZ7zXZִF! `]ŗXiɟdN'LvH۹$QOd}O]Rc |[(StR^G"D<}>u8}uGowֶp67n"%BQzfpmz %ZAG>tq# ༪H @gzavQZcR.睂|Nl &"ЎuH80kr Ru8-GBvk}`zQ`U:ĩGHXQ2u/@Qw2JUٸ008=a /P< oӊW3[Nj)}ꞽ`EJ|oCikw%CeFT gYZ7zXZִF! #^}]ŗXi%90z8 mU=8(6ilz2i3|U.V v N"O^4cpe'mI2Cwa,wAu$w$h%Ǣ/ <9|lkx`J紂69 cYl.9跗}P9C?q_4nvL(O`zЧ=6ֿrߌϙ=R3H8T;D;P=.g[\ݭ\ِ4j>asgNJuB :Z=ۍcF9B̙cD90w?| "ՕN/Hh(q&?1k; nF]D99Yk[/X:e'^:ͣ=$C]H0Vn \6f?::XS^=>P?][eC"[K*F$Q5)?j&,=<sC5 ZKI)AS&iU0Л|͓Y?J9qim¼IF