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  9\$ ww Koenigsberg_Friendship:threads=2elapsed=62.106cpu=113.044gc=4.244factor=1.827zXZִF! 1(]ŗXf1-/6vRZ뿔ơhWllUMNx}Rw ۑc;`M(9/f9sshEq2pq8 bhCA,@D3} A,y}XQxSѾNbvDպ(29eY5 PG/^p9T1:'i].q> :uOw~^VZ5zmj?4(׮=X.P:$>z[48%\ʝN&<ҨC@Y; 3 &)/@Z|ٖ+cVB]<(1i<"R=))U>uh1`Bn+CmSˋP3a(q_ 0+C1ϡ+-ϼ V*I˳G,/AkLX0ƹ\ŷ|_L*q;nK灔R; k "--'(̡06,=IBvɾ?+`hmrI(&u`8dA$<Q481!M(ZM4$*8oft 6%J$tv}Q0j Q]eI11$5>{A869/ku[vsҩnpq&/)~ 8g5aR#LFM9SwӰ3dS.E\OLiV~r51d!wn]brB}:ƥCHI!e!j)؟Mb8Xfp!ym Z䄕F+K1ocK\8#YhCL ŦO[MAňvݶs^^#;ZKԄMrޑ:'m]25R17J y C->|Q+ ܎~$@˥"4sbqUn%}Diq| E4j˺sq3ao@L`A*pA&y""'帱uhmƙ o$c|gYZ7zXZִF! .s ]ŗXi%6Si-6XfżRfT?dЄ|{!)Z>Aҭ) ]9ڀ@uXFk+(y/ +Cps"wjŔG*R҉}+3+Z릜Ʃ.7力<=Y ]rw|Llck_l5GUȈh^xוH]I/?3+1WPʵ1꿘]p;\) -Ky'rsL#9iBi=,DRI5\{lqʎ֠q$ N2 reh!. B7rUA1l8DomQΓzjGz*aWޥ^#@t/.#vIDVY .VI%G(NeG/0Q?u1a#iƧ湐 ɕ RH"ògPOB"hoE.wrx2+,8f.C< q-^+~Mќ7{_̾Q񰌯MMUoB~)Ԍz+;].L^YS͉30A ~}`Qd2e,MtJuqA9Z,,pCE0HqPՅb7+j9s\'jzżcM sg(,% + ZF1TC2 @HA#=PpӠA3u D"Wɪvwϲ>U"RʗKiDﶴ+^ئFwo{c( ۵F"K*KPkaػ}f>X\ 7̏F1Ɓ!St7j)&e:1(( N<rݖ+Lbq%$^I>Ѓ:x8N>(ysjhP(((ZnҸFV_[8C*)2QvE$ӟw'>0kx uݮ&Tlѝ2/2Qj{V"@7+hO Vw",?[#NY.5neҩԬ '3}B_< H[:@9-:Lh\|Q3%կ^H(~fћ 5Ò"[7cH,f&37xa wJbέcd<XdeeZ{r);86b n1&4texVtҺk45ц?70lKrr= $Tl}$oK_/ yuJn]DCrhWñB7{~r5LYXhI:CrJ1Ai;n؝*-F[Y}ȩi1]vӶ*"'g[ؗ1g񤎙"qˠƓzuBt ]3;)  +*Fڟ#P28it |+:PDxcggJGT;XR%%Z!(L"eܧM&hyM`5߇|\CIe|'~5)3I4L᪅>E|-S-׺%IThb4߈,pʊ& ;]GAG@`!Eq?{o/v *!^ |5#ZBj`o A\-k%?g;&~\P^X feu{vsyPNy@bjp^AD2I/=AK%ce:I&C=jm';J6|l,xKNjevpqDw0B.+fceglC кZ]g1?HMFB/E=ۛ~Fv7^aF`'JcS~-19,ފ6Q]+),CH?3^ʫLͤ!]+m'H&^KYŒ/`#rf)˯z1(fHq&;ѐ-W (!:?~UWuxSѦ$=K !@t(,JRُ!{sJH;˗ǵVǿT<Ѷ* /މ,;Z -WMHT^,7 (Ct[cjT6I,eJq6F$ehN/O#9dق'a)%|ۖW+jB=;NB&Tx|it 6ʼQeI4Uv[e?zl1Gڽzx Q3DQrģm  &n޼t篯axo`8E99">`й2Q.lީsL*Os7z| eַW o|