SQLite format 3 @ . B B h77otableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info VD,d ] HOL-Bali:threads=2elapsed=116.337cpu=194.328gc=12.328factor=1.677zXZ ִF ! K] ŗXf1-q恈73w@9!Ӳ) RVxDm)TR eXЅhN0q¹&&+mỸF"K% g: ~mu]E\*!oO53m@DQRj9;H`|C7o}hy9 e%7ovДxt gn)l ˓818HZ!WHCD(4B${iˡ:}~t\&c8V@aqL7j&+H(6~Q*JtFrwm@ $}>㨄@EvkXB='hvF,*%QUjg0)Zw;Z ?V9JbRglmzltEO "vOIGPJUZ+"r~nRt6!|$mͲܴ6g_Q/C(9/!-jk{f>3e_¤rnſ,>2}ZVYkB;=H,wY[9'[ 7,g1:-kI: fRJXJ߫ -zm3S+.0t"Zɐfa4N=;;~LC1̄^RKFyv_n&R?+KYXM8 p7ENz9 }!X^~VGLyiI)3뗮s& ZFN#A>[VYgc+0XģXv $mN!V_;$jښo[! Z`lܯx+\@J/tw{a͇~1ƣfH9}ںNi̚b#6c-V8TVvO'QL