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 CC2/D  HOL-Word-Examples:threads=2elapsed=2.047cpu=3.776gc=0.104factor=1.847zXZִF! ]ŗXf1-q恈ebLi=<^TIKl TW3%鎀@@"u@]@F^yQILvX6cJ9} ]# j=ߺ'{ar'd7{U*Py2Cfl #dAlui&@_DՋ gț?:P0k*6 i;.jr@}@𓢘nm6ǫ~4D1%n ~gMf`Ha {ɐ6)wJP5ufϬ-?H0 RΖ>.|EyU v˯}TT fQ (bdݟFpLOO >prEþBKz $t|Mڅ#k͖pәF&eD+'V, gYZ7zXZִF! ]ŗXi%B\9VԹ5ZX 1mZdR)%.,V5lK;kfuۦ@|FDC>dYsdK b^l,!F$[pnr,UP2Icw~8X\0vNdYRRY>gYZ10b1d5b3daabb4f7851a03597ffaef0493d96daa 2d4eafc74c6b9a723cabb48511a1a0822374624c a0b57905feea38e409b2c1c5f2a51f1639d737f61d303aa48c02fbfb8fe205c90ee243804756e6a6 3e7d2e5aa099435bba6e4e30f924c9df17b4a54b bfec7f6f3c06e18379a642f7733f45d76a321e48