SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" 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  SDd ]/ HOL-IOA:threads=2elapsed=2.659cpu=3.944gc=0.156factor=1.487zXZִF! z]ŗXf1-q恈`Di۩}>;e7#pSU|_0LCQMb$1b{.[=oWhv4Fj63A gYZ7zXZִF! Z]ŗXiɟ1řGtHʘ뤒>bXq'p.v, 72gU.bE0 s!V"*Q=3Nvo'gYZ7zXZִF! /]ŗXi%9(P1ȗ'֤8O_w;27ia[`)ĦDM%{V\nMZsEA+ U;&ġ w&z)Ϲ9jyx٫J1#֯NUx/̺gd落ށS=#Cw|\}jw:Txv#O?RҫpcG`v}HҦ@b^5Ke+*#jL#dݜ/DgU&Y-n-o]9S ?%8 3@7;^!cME5V ʜ [1Ek'35 #Nֹ_5OF{:MrLI_;3ӿ^F- r2? eAH!EٰВ{bnІV9Y7Qp+ObR[pups(~.H,AP ۱gYZd18c81ab8e4aebf5e1e87c3424e20401d8ecc2aa5f6b46d75794d7d779141526bb8c5d38bc06bffe 14fad242a862a8a0327553b16251c149a42b3da2   HOL-IOA