SQLite format 3@ . YYQ77Atableisabelle_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, "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 O) \ }/ Resolution_FOL:threads=2elapsed=19.090cpu=35.480gc=1.704factor=1.867zXZִF! ]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAFm}ד!'_;,crG\-؏FEZە5 A˚ C1Zl ["΋MTaA-4Y۹϶e9C_'dsUy6 k34T,{8j4X@+vGԵM XR(zA`3vY5P`G!UZ>Ao,9=d@J< ]PP|o.FQ{BÆ@"j#P>r$vSP]cנCH)@V\S@9 fĥleSlͺDnaTM6J(̼B]׿z f8Rp=ׯ }wYrqoWMgIౝQܘYz-nOlܠ`%haavKv]F$w,\(0>[ME~L}0m^ 箁08n@vh57nd0d8o[!X٫*+m^= b nQ)bC4A`I6uN!:_-0v"]b \_Mp1n0@hї2[b#5f )gaH)濶:gYZ7zXZִF! e3]ŗXi%6yKYU݌@՗l Bz+'CK&`U؏7q̆Rc*ݱȥZ[\8vٻŠ,nTb\Fn0=TLf/ӗ ]citO) T[KsQ@r:xC^[5M=Ӊ&D<!͐QN)ZvfdwAPuC|,%PQfQ0u"e@Z;',|єHGϤvr#6l˔G,M`0XE_xKyYkՊ+Ϧ$,FiBRgCn⨰Nj)=EΛɕ<>C5| ݇'z ^qjaD| Hl-/KH#LM]`ؽn! S k K(p9D´(4o{CeDN T>穊#'< 50$ }8Es_sDes@4Ji g&KdIgU rdl(tsIПo Rq~h, B.fLׇqL.cмRLs9 ajFia5y ꂲIpjie3T$- 4lo&rܧJD]-3Tt񓳻C)pe낌4?R(1"NZvvK^zƀ]NA[uY;-MKK "y lCC\E{pi&>ȓ?:6YUMOM}+s~ߔ1'8Uaְd =QS]KUUwW)LJyYC`J+>2^q YfN6# WH|)h0a|ύ&σj#fXg:91QT`8,%t2 v8R_̴K/93C_s}aS&uQN!?! `=>3da@/Y__ igYZ0af10dfe72700a1b08699fb7cbfeebd3293b4b64 228567b730aff0977dc236c9d7d51c49baf7082f 4c7b199b410c734957771c90858a01aa83712f4b 5117119a178eac69d137fb85243808da2d667eaf 76fb46426aa7dcd53d59fb5680ca474219f23eb7 7bb2894bf6b2b1879e224f67e577c429b34466a5 994e906601e17310bff00be21ae5e216ebc52992 9bc5bf9a2449ee6b95470c832bbfa8d7fa97f4a1 a03727e72c8cce7585c4a7236574e48ee2bb60fc b0b074368f4ec664f58d1b17aef8c82749a7f3f1 bb08591e5b9c442b19230eab6c7dd489eb42fa63 c9a7834754ca020e75afb9d98e309c88e75bfb0a ce168f5c6ec1725149cd64ec4a6feca6f681f8b8 d08dca19963f3774dcdeebf848c3949734d61029 f4f3e740babd6413d503e89c3d125830ab50cc6c f7d7695b21718df39e8a80a5c0e149dd8fdcff3e f9ad8b0e4dc237bddb1a7187abcb79226fec1f90f0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24 ) Resolution_FOL