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  t t  Td ] HOL-TPTP:threads=2elapsed=7.394cpu=8.668gc=0.448factor=1.177zXZִF! ]ŗXf1-q恈5Vs1{3 k8gx'3 ˍ(`lTr`5{BDZB}_Y7CiihH*LNB}c{?m^C- qMxޟ. /ptK|6>~]2d=ele@еg';rՏuI- X GS*`xIEܡ3Tb_^`&gYZ7zXZִF! f]ŗXiɟ1{nH4ʼn8@ؓ&lsɄ=}}#qz5:b^f#AL{z銒әGP3 Z'!bRCȵYo1HG:&$<)KSls ͫm%?[c8݊\,Wu߼穐4UAQOpmWxafpu!]n2/J&gYZ7zXZִF! "]ŗXi%;>azaC{$sd{DI:(\Z BZZ UnLM^@=[CܨKAhkOlcCI_ʵo4=!DNme?K,ڮtU[ŽycxfR6z==q,IU욺bFs=s(tnh-8x۫ha(d/N \YZb:O(oAZQc:o QmQ.ǁ^`n=\Ui0Ц rE3}iOU,\ bmYuu.& G6nZ4G㸷,6Sq1faV XV.4+[HCrK|@즍<ǙHh);k5.#1"=HÍ[3n 7L+edD/n y8Ba86."(3C#TB8˒n1'c 0!sijPSGLJX.b̗T{|;mLG|q4ok8ڗt*L0NGc.>sIp$p4>+˦:.hϷy+"q*βR&j!+`!BaD.4"54҈#}'C-B3-^#^ELMgYZe7a31f17643089478dbc602bf4a7d0234d0aaf03ec4f72521e1e679fd5cff6fa91e397c5873c6432 dc95e50d9809fb8249d7a6a630b1f18cc52d769d ec788b2cd5e0544cb20063a87273ee6a4edfccd3   HOL-TPTP