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 B1 ld ! Separation_Algebra:threads=2elapsed=20.485cpu=34.276gc=1.576factor=1.677zXZִF! m]ŗXf1-/6vR[]]uRlindBkTi 3A \A~z[U,r >U-M^&,ϋ[q_]bW7kV!$@[ 4.GM!9(!Xb֋J|D SiUKq5DTmytDH_;gtJ(.rPyy:QOB{=dz tMD~NC\*M~qf~#V "MIR%VJ2s2``Pg* d c/ީp+fhI.k`:8+pUz@!S5mÉ`?)Fx{RTɡS5%RI4Ge($F>F%¡hkQx6TO}o(?r ^\36{2#A腥lSOh$ 5ղ%ݤ,0{+wT_!CIg40 )iq̕G_:wvzP5!Ƙx06BdI˦4Xr.dv%\ gYZ7zXZִF! ij]ŗXi%6x C%FlIBK/^F'A9r;dċwݾŸ;[הHQ^,y')v.qeR㯯0Kq iBJs.O\\\=?_Yk'/u[Hu{78ujxbUf(0v8;I=ǂ6j 6i9P+H>J =x 7Yso-?zP\'@u DE@sv[Ap:6}`s = LmN:NQuP(Wr\,?Ut)hdmc<4Fdw.]Gǒ}#j.3`7̉#Qq)h+<)$_-a:L@yqZyjRa]Dlp3iY k<+hϣ1l<|鵄PraDn^ҭ\Ꮸ*gt'A$!eX:c9aȦFCm )\%@N0er\Qi1عys[B`5~ ذ CFsVA N=;|ڳ,i  D?<ͺm,*ţYj KXY+t!%B_%=JIѦ8G-51BH΅km+U!#bn0推 #CDӇ]YV>r&rlEd~zEբc=L&m\ XBmIK{R.ㅔo`s9mӑ.XU-&׆W$Q;9Ɠ?{4qzY&["H-!Y5*XۈZeFIp_+TKy_is3،޲k=7FeS ͔=@FDԍbM? ׿Lfo_÷u6U_ՙ<C~|*Zb;C(EI #p=x/Sh&&G,;"#UeOXN +>(qHpE2e_'Eub!MTJ}SyzԸ3>S,*ꥍBҭ6qp|Cgza|T?^OPel ZnD'O&mRXgKpd*A~`{*ؠuaT5ZaG(VVf*>c`ӔOy5Tsj6H4ב0g3%P7&gWjmOS-Tl.E좌{C3If$q)l,`d:kR_MC?t>1XWضj Ю4gYZ06346cab5ec6478ae885ed1eeec7530656c6ffab 0db7fe504b58ebb3fdeb70be35902f8743bc2be2 113d89a9978a46123f47a2d125380933b9307f82 264021d3cde7bda13dfc001fcf5e7840dd186849 30add8d917f77389231e164e8534087eebc840f4 36efa08c1b8ba73be4ca19ec7aecb7045ca81b8f 455e68ebe02bdad42086eecf2bf25d2e9bc3482e 5ade9aa889253c47739de1d2a0c211a08953fe15 6a275c069b634e2c489cbcd21f5f0832260b3389 6d7c9cc1af4310ea8810af0955237cbfd046c69a 78046c9d1b79912b0698f2ee2418dfc36f83616b 7b6b2158f35389a38f5ce764b78e06dac1c01286 7ff5b276617d7106185ed08cb192804a12706164 95c841d96beb7672851b61f903b9788f5d5e41ce a96a6d27f3252f89bc77eac16e0507b8e1bde85b b88240707449689b5926781186ec44327c828d6b cec01125ab754aeac0a7dcf5817b7047c6a3a33c d49138b595939baf5780a53efcfb4318f28501d9 f8cb58b34ff8d7482a8f3edd338e97450e679596554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 f3abfffd5e9fcd04bfbe84ee6291a6c45296b2b6 1 Separation_Algebra