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  6)\DD ]/ ClockSynchInst:threads=2elapsed=3.373cpu=6.556gc=0.096factor=1.947zXZִF! ]ŗXf1-/6vRZysB N^WG!mQ^|k !keHⲅ?֮pFH3ȊIn 'I:#B]:ƹEdƑPCݣkr*DH+|EÊQXMUgYZ7zXZִF! []ŗXiɟlQ#ۈrKn6úw;?׆S%Znh0g~*x 6VsNo@wWgYZ7zXZִF! ]ŗXi%ύw4ɪnհ-)}N [5vƙ/vA2Xnoiп^17bcӑHnYH-i[5_8;Ezo#N|BFw)Ȭ"EWs0:$\L3d#{Pf7Q>lE" ݀Fp y"XsOC {PI0X.t^0Ι_ vrUŠg`QÏ If,9. Rm =<itߏ噛~SmIieE@T9ji