SQLite format 3 @ -
l l B77#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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info
/4<O/
HOL-Proofs-Lambda:threads=2elapsed=192.291cpu=228.404gc=9.512factor=1.197zXZ
/ HOL-Proofs-Lambda ִF ! R] ŗXf1-q恈 I NOf]ZBabx3.L#.EɰntlN):4%_8,<2Hk,N"y9l*<@EhO5'P!iw+G=u,PÉ~yV9
خ'p`aOlʉtݭYB&6g
ܱFۣkN/.sdKp%wvqQI/܇9}}5yG6f0_?Z5A-Glc˾1`Pݜ;prAB%m!r37@P)G_h ܶA-TJKyXfQ&Ma-#5ӤS|V,6RR(,(0zHu(ޙE[=}sX(WAiyO<$DjFw9ڭiy7pB{dyB-"w؆^2.ms+ "D
L xդ!jg?0kyM^%PO*zCQiB&x*@+`%x>vz@5&@Y'3x)E*B?M?#*mϼyRx/i>9VKݗzdi'xG(u(euPc:/adYYiIٍeZ }'0Ŵ9T
"qYd5&)&@e#*F%)Uї͕ MAXH?jF YR?vJ*?UO GM1h5]
q !qbwew*LWAջqF+!~6mêfDUI6ʁ|YױBϬKMC'87**FJGMnVӂ J16#u}Ǫ/+MyW˟4w\AhzM>&
9ϿA7uF')6+nS IViIρPj&eCP{`9Jzq6uKCܵ=s