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  u) $ O]Kleene_Algebra:threads=2elapsed=54.976cpu=91.292gc=4.192factor=1.667zXZִF! ?W]ŗXf1-/6vRZcm#kƣOw C/팪¼;o{'&:&mAx_׊Sm%s+*,(RffHx 6ʲtگzp]qe"Db9^(:a"eÖ3KQ=-:1^&=Y|MsഹS+JȇO6)`%Y[* R$Θb@oh6L~1+nW/ۼ{jC)AGT:@|&AK%`5zw̌vo)s)1"}'75g:{|˃ l,"L?]Đ gH7 >.EuX%Jm9}i/.<3ѷ~+*z3baw]TfDC5+,*E+7gCF T3GdF7h0ƚä[ };uhkAD~" Ru'ד*ů$W1W7qȯ"L̉[&UΧ0e'ԓ5F@1Ұ +yktiS2\t[p% πKGr ,:~pX**w`ۏwu\$*U.stgs%v\Ji!a\v>d'F{ceSLnvn*w i1jAg>7QCᎅ- ?mTS⊙RK@S&!!‡bjQj%Im:u[ONʡuM+gp{rTN튲p(R!yJ@6PDZfi#IS:3(y3Lϱ&"ė8&IXb[װ[R~]VD +|* mo&Zb}8M.P!c+bB Qtfjk6ʅ^d%hCcO aum{zG;#(Cσo~= % b"0 h# %G1;n/M )K`E䊒:2eS T|YT <3I0{#bl 2 '@{ȬeXlI~uvMAp茮dy$fy:njI]0,9Gkk -U Vt]2T\v)bM'{uOԱpZ"i)kr<Ԝ5@SGI<DF Ŷg|SN!ZL’k: ێ*WE0;z)94G Ic&Y̙32c-8!Q;;O ~9gYZ7zXZִF! [ ]ŗXi%6Qd*8 /Pq#:Z] ) Kleene_Algebraմn@p6B0겸tg_mle8нgY^*>۳!yh Eǰ1ݙG֡ ldQOo;BZ {F^ èN SCŪ퍂hLة4I{5w`qid2r).C]ceQL87d`5q E(ZcwSl2#6BŬd2~]C7aeMN37`-n ~ujbtm4ֈD~rPF.$zH ݕnftEw='9!ఙөC♛)y Y"Ny-)4uꌳxq BY^, bg߃LTh@W}-=9.ӷ/QH kEXcAxsw Hk@?K}GCW˜rWl]CNj?h !!g"13rU#v$kUfKwyFa7$2:_ \uL(!pɝ>(WSٕJD͆D!2=w)┿lnmȥi"\O$ݭ%<ALa#Nu $e`RJ]K/su'kA 9P<>Y,X}IRft\G?h6緡8vWPf:&N< 52[ ݕ+Hvu0ҵURS[ږZ>m23V-砾gQ4#'޸VJw O7Dc'=Z?LCA_Ap dNs/Ɫ!*8cMQ(M=n@IXz'8Bt'_/D˛[JjU_+emlhxOa0s9R7¨j$Շ){ WQbXubCHsUɝほ-O'Q~1P+ ҘeipE4Jo I _$n})pkKe#7{\m⃁bD/^0WvNKQvEr ga&`9V'":0.ߦ1lDgCٚilw%qS{Nk5IXLX!Jwne,L%Q EUƅeח,mf_?{.␴I2뉤6v45}*84 +DW'q}|snlтg4ČYrçqG+EKs[>b4F)!8fdr1.J)*F"sL:J܎1Of# >^ \e_`$*(WF:'w/)Q3(/7 C͵v (zA Y'q|:,+\^̍#q$xuyՊt#5LuIS?2iX[sFr;)I(QB!w`,6("P$ߗ\wqHj>[z b^ wmG0`'M P,ATC&#Nrnd@Ϸy":=1ޕ3{bR۱{oOc 00|Dﰁ£3%lIK2S!!a&NzZ1D|h77[8UPk.`?2[OJ@$.{]Մ`eq%dhXhJNDNitdD *惰 *Cl>K2jAQ>4ȁp}]p lקxlc X XoNo).PpCqdⲎx'"ݎeRU0I5C`F@QԙFu?:HG8vP3M?d;yoXPz IҿfXUaM_]66Ydk y'Vp+Y ڛf77?]F[ Ձ[@n#;xb4Pƙ