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 _SFm^i%ף(fH%^B@PQ)ѽag?.`>f( SoEfR=|69STg0dHų<]h 'CLNnx6e|L ky(K>6}+"w;Y%˼镧W-Rj-¾". ~ivO9ܺtAV,4>WW1oz{Az)єFnns ssxf߃\y ]a#!,P; `ڠJ{PޗB<5kt!$n l \y"_œ1A,a]tcsaRT1#ꕦ:]1~ Նl_jhÓ:~H s (%6JK*\S|`A*F2ܺ=^9q=qe.B!4==p 3[rɬgYZ1cab770cd6ea4935f2187148971bad0feddbfdb2 55f47d8b8312e64c48525169f65e691a7629e91c 57747abbea9f481cab010d83da74e03c692528be 6ffa702912ed93e8afb94c39f234619c58c1261c b5aeda5b24e9394475cdadb8d97799f7912cd5ee f19db8742da00aa7a8ee5cec6a290519b1607b84d38e002fb81c6e684e22dfb9a00446f1cfd993cd c88cfa7fe983b8b87f38950dd0874ef6a0f062a5