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 :?$4 S/ Lifting_Definition_Option:threads=2elapsed=2.720cpu=3.208gc=0.000factor=1.187zXZִF! L]ŗXf1-/6vRZdPR6 L_עKNpP\61&d~*'6%(POM ޭ=Y2tyV`ΩTH[" ? Lifting_Definition_OptionVB/{10-Ϟ Yyky. "|}6؀<%TJ9QQAiJܡf_x*J-U#uڠL}7=7O8I9>c4 D(-'bEͤ6{?gYZ7zXZִF! ]ŗXi%DQ/ur=3+Hm23IjrrrVyQ茂[mUibwDi.vZ|a4RtɛpZ@f§5|ls|y ?4fV sXuz[}5``/$ G;'8Dpl7Ө>O ^hQva.Ioaoh BY ],=;YBuQ0_ӳ ;;7y<ͽiGEh^ ψjx{+ظ+Ӻ",(~ŸۼmEt*@m e`rXh,f7*$/&A2^GxUdӧ\tܙ.f!BzvI%L/,섚RΞ)ȕ7to,;OCo/Soz$eA9'Wڴ0ݰ((QvtZds߷"de3T--,߱gYZ635498f98c69487f013703ffdb9caedc0fdb832a 7fe7d57e3e198edd83a2d382ef65f4104752bd8b 8818f259d173d4e233934b3274c267c7f059cf3d b0e51eab0c8d3dbf8b27d2a9502223abea2ab39d7df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56