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 #Dd %S IOA-Storage:threads=2elapsed=1.651cpu=2.476gc=0.000factor=1.507zXZִF! ]ŗXf1-qN50^\z(Q^ bA]0|["> CzmmskkR:W3nGJf?3{7Z  T,xPH[ 6o85 %; # IOA-Storageq=p( JMW`sό@DԺ ~+= K66RH$i)z Ħs^m~SR3u NP^86z5ClG~,nc*/9gYZ7zXZִF! m]ŗXi%>)!\j[k~D:cϤvG ~q O2:mbUL ,b4rhS髥ФSBo [9SQG]H$%qrj>ʪJu`q+̙8V+T<shs>Â ®CRPqY(TXqC[-?]PG8Y(jESJ< +fc /9~Q. )eLi>G2x5j|hҨ" կςTzPϢۅhTUFLV-X*gYZ1c621daf073290d4954797d14376b4be87fe39a0 40a9ccea56ff4483ed7f63b7ea1e940df2867481 54cf1d1347f9fef8508c44b2aa52c813c5522952 591b123da198177d0c3644a83547f0ff4f07e6d1 79c35c2aabb290308d162d834860f07aad4301543269756b47a6a9653987fc2e45e2efe5ac3c9347 235bf9bd90cd9323492bca5d081941b77446f18b 8e257241ac01f8b9869c189815968e93197fa288 2a0c7e9bc04a109563a70e1b5248a267a4eb0ba9