SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 ;;:1$ / Depth-First-Search:threads=2elapsed=1.109cpu=1.692gc=0.000factor=1.537zXZִF! C]ŗXf1-/6vRZV”̥k2*1TI g~{ȋXwq 1 Depth-First-Search/m0ƀc#A+S9"^/*k5(TSod0*O/eY4*I3-,Ɵވ||opKa,ӳ㠻'5"h0~ʛf-9Tk7ӽ~^kh܌` !3~SX',~ D5g$}rCF:^<|C?5ؤz1n.-_'RejXsT[ltg]A.?F<: jժi#~4DċgYZ7zXZִF! ]ŗXi%B׆ ̖sR=YW~hş}qFq1v*RT^DM l$P雏!tE*UCaIv {PUǠlzaBfJgg(/-׃$w 0R܂\Myg8Pf,-f3e+|C]*R@ƿ j.m .w# _u3~fCiLOznxgn,01=tRߦٓۉ2.bCI"!p!URH'B]P^9QKke\c.ٖZ|G5^՝gYZ2c772489bc05d91cbf78fd6c91af68c0ff0a34c2 8f87d8c86b8a33cb347a1b5ac47d3a35df14f396 f2794a839bee3dc83e874b225b1629997d7b874dd7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295