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 v1 $ ! Separation_Algebra:threads=2elapsed=20.003cpu=33.696gc=1.800factor=1.687zXZִF! ]ŗXf1-qSq{D[.uԜ.RXE`WHH ̊EJD]A:caOg"R/ .8 LS un,m1, d ڭU5QU;_Á} 5'7m#u"&- U X›r9 {0M{rjV4-_M.ӱ3b.e3r.!ÿڨv:mPv k?Aqʰl?.K<:)H.:FApZm-WhuTJQh.h T)M˽IrmFDl8 8伻o1fuA@2GUޫH/i3ُ]0 vChK5Ĵ;+T8&CHgoi/xeА6fZbJ[κ)% ok,(ҾY0FJC/Ps[T3>+ݺ͐}+>]Z"tktWI+=B}D~ -^N+% A׆A ;x]֋ $NplSo(5kgYZ7zXZִF! i]ŗXi%Q}4}aq|)oJԩ{uQsx=.&;Zىs?B% eG9"x-o`+`-n!G3kuɕw.f=KO|`U^2zi5g}UNxcj߂nPz.rm`JܧSwuf+ JFzlKCPB@7 j\ZvKA 7DNL6d4#l K\>}t+~ /UUac?fw5NۧR>'*KpQ0|II)6>&!L'ƇZ.9ⵔ SO?Lx _:7p\ZY@6g&Lz61Dc#yފTQ~)`6’-R'(Af,"8ܣMZp->U|s<\INH% LƳ㊏{qP;SǥR#^{@fDaWIph!Xfm >Q)ʕ=hnAb@َ Ac:sx@k|7W5E{ٸ ޵H!:؟+ |ѯG1S9hT^֮bW?ؼ8܅%sđôfhN UeI0zs!eʢrJfe+,}$T\qiJxhoVOiR:AME0D56X.;icP( m%z:֗wDw=ҥu,lY5ЉԱ {=<9q39,D&`'vݜOcgR4ԂOWHU7s#\ds7tgfjWo`D_HS,G>?xS!+W+E7h>ڴ(z$*PE50?HAfV=^O<Pu X *HpzX,(1\aA_hdgG]bC24qWzrnBP>,!gh[ذG9s[5-ۛl-P)ˆ)U< \Ŕ]֌{ )|G&]l=9o7hlnY03C pʱgYZ06346cab5ec6478ae885ed1eeec7530656c6ffab 0db7fe504b58ebb3fdeb70be35902f8743bc2be2 113d89a9978a46123f47a2d125380933b9307f82 264021d3cde7bda13dfc001fcf5e7840dd186849 30add8d917f77389231e164e8534087eebc840f4 36efa08c1b8ba73be4ca19ec7aecb7045ca81b8f 455e68ebe02bdad42086eecf2bf25d2e9bc3482e 5ade9aa889253c47739de1d2a0c211a08953fe15 6a275c069b634e2c489cbcd21f5f0832260b3389 6d7c9cc1af4310ea8810af0955237cbfd046c69a 78046c9d1b79912b0698f2ee2418dfc36f83616b 7b6b2158f35389a38f5ce764b78e06dac1c01286 7ff5b276617d7106185ed08cb192804a12706164 95c841d96beb7672851b61f903b9788f5d5e41ce a96a6d27f3252f89bc77eac16e0507b8e1bde85b b88240707449689b5926781186ec44327c828d6b cec01125ab754aeac0a7dcf5817b7047c6a3a33c d49138b595939baf5780a53efcfb4318f28501d9 f8cb58b34ff8d7482a8f3edd338e97450e679596735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa dedb1fb2ce17009850c27ae6db421c37e92db7ea 1 Separation_Algebra