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 {{3 l w Presburger-Automata:threads=2elapsed=31.965cpu=52.896gc=1.660factor=1.657zXZִF! !7]ŗXf1-/6vR[3 nQ@f0o2췳_C?XMX FcL6 `*>A3a96D}294PA.HKaDe9j~**HϏS]ZH-_k @k@CIKR,BztU-r9(EADbU**ˡVZ`[Ԡ(N!(%(}lni_ EoJqkXwQ 5k&64DLj% :8*Avnq+9v?J|3㛪§⳹0TX,ya^eԬ`_yi ŕ5VP v&(9si5폟BU qF>C>1bDlT1>Vb~ mX4Oj~RkOu˧f]`CQT=D3CYk5M~O'ҌsiYN`lW4&L 45:B[-@%}t!,4Ub`}SYz,soקr,7.a'vqЙhʕL?1:VO\W\>O:Y@RUuG剴BDke'2?wڧxw)fډJ-̦ 'KĮgZƳ57^NGTxLG?ɔ~uԕ'8}qx|D >r^(~šZY*B {gC%Ϗn&9nʬnݒcm$qR7hV[-Wr=|uTFdax.njBU d=x.#Jc&Ca\kVq[iDҨȐPmq^EF5)ݝ/,`6Gc"뎧ؙ8s%_T}Brg(2F)&'_o*7(te(`;vd^:j sP9#fv.Qɫ Lo_ aIXYg YZD\7N3| u`KO$CsRM$?Lj&+;ۭEa"pY #ZޣIƪdzw9ZneBoG' ΒA&ڱT^fّ?8H'(mGݱt.)Uϑ7Ѡ-EO=*(!  E7@z{ᯓPrl3 N@EJE5wHt׷li|;%F4-^Kt=0 IyZ딺$ѮOp˂DYD_ J3u[|lE[m;5LgC&fՊ%$fcm{ ᕇAl$IM|٤3yQc[ڎ| RFEq&ڈ\icLʗZ5FFڵ({Յ‹=(qJ.rJ44M屣7zœocLzpIVdҹhYiT*aM;<2|fm9n㓎:dc|ɓscWCIvYks$ŸhhBp#U 8a(8M?}gYZ0ea245c8b56f4057f8527f977f26dd3eb3888248 210fafb134ead6df8a201241aa13375e0dc11726 504951e03def1231ef59554348dcafbf3b94cebc b2f4edb285b032131952185be87c56ee9c5ed2e2 dec66a718536ca4412da909ce223c281e620357e fdb50092aafcc078d0aa224f447d321651817d28238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b c56ae9d5441b629f77cadaa07ce128a6fd02d228 eaf37427e14379c6b5bb0549a2d41983fecb41e3 3 Presburger-Automata