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 ?5 D$\ ]S Lam-ml-Normalization:threads=2elapsed=9.591cpu=15.904gc=0.904factor=1.667zXZִF! ]ŗXf1-/6vRZUT,}"67}F%,]!ͿxLРxGۭ@x츘 13Qqݯ0&#y}[%,mA'BT$Zi:?vpKkwP$|<ߤF-.u fQ0Q83eg4Q,o%)i*v+hC8UؿΫy+LIo6F~D:O90q0^a MP 4h-58c& &x"F.BpZ:2JrQ>+xC1+æт:H9M~ y Q'IB{^{~@Հ̷ֈ,ѦlXwOdoTӫ|;b3$ތ,{3fkڜ襘Qh>,]:)_DÝ- c~NxQ@Pn>@$5#O='EEĊ~=Dr_K h9*1(gvRmL1 l#hF']kLO<'T_= DPz3E +w5X5xRuh#֎UE'h9)\}AQl'*U7Oy͊HY1 9s%[ժ`pTOdO $_]ؚD@ó3fOq7yAD']UZT)O@mb'(#7ּD ~ iÖ8nL6 A\uhJaֳJmfZM3'ݓpɬ.O NC63@q}&@?PT\X rZ1?UkE#(V<[1$i\?`yE;8vsy^__vdW~b&^gYZ4b9a391d7523c314153c9b9b3d54f77b6f18f1a7d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 f9599c72045408b4573575612b1544f97d3e8615 e9df4ac96aaa27df45a4820e2370310fd3189a3e e017de0afbac22e2c01e8efbba8e43822740229e 5 Lam-ml-Normalization