SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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  E E0' L ] HOLCF-Prelude:threads=2elapsed=43.952cpu=83.580gc=3.508factor=1.907zXZִF! 8"]ŗXf1-%˓> ؽΒ$%`?D+l6 \಺pR5J^o+*kt,b3@qɧoh48@>jYJCҊG{0*ub#(ʪuQHRK1;3CӾW=>4M]oo8y{OCK9]pJd,#w>(]MZY+NU^b=ЦVˤdvLPOA0cn戻et^pzwn˹z#rt %)\oҰIk.ݓ=w rcdYn˔ߩ@|6XFV㰛}W}D6G|ߢy3L~j64Ĥ|$KyF>~8N@@rGՄUv:y`jzpM9BxUTrӛkڬm5ͺOa5Rpѣ,7e:u S4R E[W"H9򀢶ZyR*n0 v`>X;c3W>sS%J!!ӫ| {)չ9%D I*pE("ks+)SXA _ZL(qoBևa !)C]&]r|:z#6UjN?kvC 0{Fe8y}QL8Lg ZZ*6`cYn:8O; pgYZ7zXZִF! z ]ŗXiɟ1˦rnzx <@0+gMLS  Ljmv[0ID7_dր^܊.62zETKr @7XpdäDk?L.  :&7H^^Yݲ 5 Cݘ1^:x~ӽ.ZC]!JN$[қϾb@аUO}ChS肼c4Ra/>s]\+AP?D,HDtF{s?'tq#ktt.H!r9ͧSMߴ_p@?<$[ 勴y]$&l۽\@AlsҧAAJgLG)Ĭ(r`E/Qظq"42Jnh֩yEtl38ŐaH-$gYZ7zXZִF! ]ŗXi%93>^9y7OoF! ՜~u^9eE݌ !}fp :Gμ\a"\ %ptďo e/Es 2Ԫqf92_<O#!:N4dnȽ0pֲ4dj8ztee{`-bPo}gmgr# Fo4I~'tcj&y3`cX@)~zDK \П.,tVy/ې07krb %L:qw){ײ)΀a;E3²;(Zz4U4>@-V!iU:mwEL;\Q"l JL*C1ȣot|vDwT[}$iu|0τȂP*ιI[((}]9Nc }S Tړ1HAc=`#g=u BEZ@֥S~#Tt;5kӣ$4UՌdx pQ'rI&sST#C:yFRxB6E^sc :<.+2Ǔٻ0? ךK|~=NT^PsԵgNOce\jIYމs1-«y%4adG"s1 eOE~ܠt/SvփV=,Mf:gy7Obf:5%ReNƑMy'ClvEB@ZG/#+4/[UPpbfd2+^~CN's\CLsqê+;3?U ϩ]дr=*I?r d 6YgЯ:TN;~D{,0aWٲfBHs+I.R삯bg1}Jj@k+[/BD!$2l+`+\Hp^ /YZ`}V a7L`48[is7iPb5Ç*K`W[6l51d=*s},JYq-O˲VbHO: E2fظYՅXL@xk HXm bSp6f^'3D GbʹGtR]>ŇuE>ȲEf2rq2m5J&Tֹ$ADMlm-lպR [q3F,r p~eOMe'_1:Osd{C䉷2$46=C~aUA>7~C&Yox̤_uDPj*-jv}pOCWa?A2[@npJԡ 3W..@8K`uKUF A <znDPcZ3n5M;Wfz Ժ9;.Gsc_AٺTcPEB+WPw;\4s|u5#h7<x{K һ1ʁ6ww-Dz5zZi#:<cYǬwxn}U*CB/^;Q/r~8# w3G`!)GJ$%tG% ԰q~Q.I gTXbdV5ۖRBOVCG&w<+9G2yw|laxRds<9"H*Pj_[[c5TQ-O #[>J)%Pߓ w~:ؙ睧aRsPV)hYQq[) EOhRX֣Փ/)4vI \9DOʪ2Z;A~ݟn\KvIIq%ܽ'p>o_o>mᝫ?$NC+<aNgOx$Vo:"*BSx)9Rg,8W1nyG"p6{ 3W;n-u-qJLvDl8i#R.WBcgcZG1[1 }Dr"v~-..#r|MN2c);*9\2:j>d,i/Q+ %%8"&h8 .u /$-q-`ܦǪƟPU6} } ι2za' Kg>؄]cP LJeʈ |&gYZfeb4b78c7e84c58a28624141c3408708f63d70cba86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b 246f6e81708adcf47b424e236c7a30d027d9b852 c40411e15cda58f0aca26f5a7949660600917046