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  #4l %S IOA-Storage:threads=2elapsed=1.851cpu=2.736gc=0.000factor=1.487zXZִF! N]ŗXf1-qN50^\z(Q^ bA]0|["> Cz-B|[C xHwr߭k*Kf8Y~hJX"}85YDZ@"yF # IOA-Storageɼv@ 7_ ܻFO#Ml5ZlNGuI.HksݺҁI|?"MfxZJ<خt4*5O=Dyj d?ς&ǖP|ougYZ7zXZִF! p]ŗXi%BՏgT_mCz\!90q ޚ =S8AC@K=.Bh@)PkVJ(mZ3l{?_ںU>hDjq#~.&w{Li]YvF$Hx&PPF9^hb|0{Z {>$E j!^6Y4<$ O ;믤<{Y} b,WH IXS3O\Vv A)yOavy%8S>tc몭\}p*vןm*5TGID& G9 z%_b5&iid89#)8rf?i.E D'IpA _u >p[|ZkKڭ=gYZ1c621daf073290d4954797d14376b4be87fe39a0 40a9ccea56ff4483ed7f63b7ea1e940df2867481 54cf1d1347f9fef8508c44b2aa52c813c5522952 79c35c2aabb290308d162d834860f07aad430154 e264a2192e243c595ee3c4e5e1a5cc34285afdaa014fdf73a0b928fde39c061b3b448884e65fa152 f4f811683dcda440eaf96bee8739ce28e3523afa 5a5946a58e624c203389a73d2634854bdec986bf cae1dfef5272e341c8c2a3afe5b6526151a1ace8