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 Z1 ,T ! Separation_Algebra:threads=2elapsed=18.342cpu=34.580gc=1.768factor=1.897zXZִF! ]ŗXf1-/6vR[]]uRlindBkTi 3A \A~z[U,r >U-M^&,ϋQ^x T= >!F*3`_;}E1zxS` *_! qepl)ǺHm'EE稻%~ܤYE]OSbلzŢԳeA<8LIM!;8,ވţB@6dT" oQ}|'yvK >L:]3(yq,B!x8K' zxWKU7.M(-%te2%(&:z ,nBDNP'[Z|\?XPTcf¿SA"g7*s{4q$2v各<[/|dI-,7orxA>LY ]yx >Ru Z!$i앙'7L3WwjK2џor9ы)؝:2MpQT ΓJ8j=>ih]q7pPz@6~4(G>`z/yulSEJj8\vHWn<%W ̋)!)牧gYZ7zXZִF! `nd]ŗXi%3g=Ĺ#?^8l}\XmGm15rE#DbpIv-;ѝ˓vTەr]MWс3gh[hMĻ,TrW,s4!nI9 m61<_,Mߍ9qzA&V&w٧"|[!hЀafMGHs@diMrjZbe>`d>+⥢"Sn/Q?Vu?\ %($wxcD(;< ]W?RkHTæEO./Bޡ4* wC`:y 9XW|%O +@QhQpp +,4r iu>ڕ6c %c ,> 9"^uy05^TTF[)ဎ&wOK>˞|]js}VG!/`K/L&!et4;HF pA7jQ=4{d^@שN6OɦX 龔AK1P`J mA'-ṽEnwN|F/ˊ4|,v!$L]̉?Q MU) T O IAhʏn\fsKY@,\c;әi]F44P*}ksr.9ޞ_o ؚufIȎ뿸9IC+T㠫:FF8֩۠]7Lk00 71Ҧ":'8P.B30Me'FYYhטR 5ॣF_\Y/JZ\ /Or܉pse|Ձg +1❾qyD3$G6;b5,%yWJyD,DjBqi,PO+!^A5uBs=Ё9\r'.7*^VJh?EtJf ayIEVHPd|@[sUhnb| {gYZ06346cab5ec6478ae885ed1eeec7530656c6ffab 0db7fe504b58ebb3fdeb70be35902f8743bc2be2 113d89a9978a46123f47a2d125380933b9307f82 264021d3cde7bda13dfc001fcf5e7840dd186849 30add8d917f77389231e164e8534087eebc840f4 36efa08c1b8ba73be4ca19ec7aecb7045ca81b8f 455e68ebe02bdad42086eecf2bf25d2e9bc3482e 5ade9aa889253c47739de1d2a0c211a08953fe15 6a275c069b634e2c489cbcd21f5f0832260b3389 6d7c9cc1af4310ea8810af0955237cbfd046c69a 78046c9d1b79912b0698f2ee2418dfc36f83616b 7b6b2158f35389a38f5ce764b78e06dac1c01286 7ff5b276617d7106185ed08cb192804a12706164 95c841d96beb7672851b61f903b9788f5d5e41ce a96a6d27f3252f89bc77eac16e0507b8e1bde85b b88240707449689b5926781186ec44327c828d6b cec01125ab754aeac0a7dcf5817b7047c6a3a33c d49138b595939baf5780a53efcfb4318f28501d9 f8cb58b34ff8d7482a8f3edd338e97450e679596728eda92c596448850baeaf541586ad0cbd7b32f f43caa9e5e417d16de9ac31da220529d0a28b7a7 c40f1edfd2a24eb9764c3d9a35c20023970b16ee 1 Separation_Algebra