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  / /F/ << i Game_Based_Crypto:threads=2elapsed=41.328cpu=79.576gc=2.512factor=1.937zXZִF! +]ŗXf1-/6vRZV4hQ7Zb`M}:gjq e fJTޛK/u3Q85uKz[my 7qRJ*EVPONaQ,YVfU`iLo1SX+ltS9zn89Xc?.}wܢPH=vY)u4#5 3_Nby x+Ṁ~h1P M)w {BA~/ U!É,`^9Tu݀fxkO=W'\։;$LC$ n*Y $-^{ؐ~4<{::4JV]Buz'3d3 0e 5@c*#{\x5m'ĞV6} {FK*g](fe?@aL/0KߘY 66>LRΆ`U ~8zN񕙱 W$ƈФcNàBaQvi) ,giH x%y 83A]W,Oя3md/N4ͬ q+ mg\0Crҋ/}BW[5FLA?[)5O()nW,{AhHYEMa8o䋬rrU0v}5`@-[Bu! / Game_Based_CryptoEQz2 x'$vͮ>0@ [~%I,cy7-)Nې C]C2i%ojx,g/tl,wT~EEޕ9# 0Nx-p 1e$@Ա7GQRqIw~-yH+*Bq9#HA>lf]GLXyGS,S3"5#&AKSE[ϲsU5هySҝ+CZk'!56>51l;$H觔$6jiPq^vK<1 +z<8dysD@zk =\/ϐsvo](ix^ ='#M߉(%bo>["D" T8$Gx,Vc_Ɔb*Y.VJ(\kW'KǪ?.s/qqeUU5vLH^ pv-!9~>2b-1{: =֎k51Ŏ0&2mh pb=h(E 8h YTSZҠm^˾Vtls; 06j|cpB)RsD1S6w~LGU\q`!בhU z-8^yG-ڨ Pf/ >KrPq®&>ܵx,dgPH8MY |.l9uZl<@i)\@Mf,Wu5 r~;cI W4 ks+)yjǡtf3B pw}xc`%Ҳ|9o*/'7,NϥE $\tRZ@p D#_]RDL\,#r Lak`-mLMf 8Ds}yءvO}(g~3kdj 2!ץn{D?w+  uYKetF\&rj1jڿӲ,)FG7#[\>e(Xk0j97GS. Wf{h-b |n@ӕ뿙ӓ ^(6y#BF!.שQnN:> I` 2^@$Ϟ8Wϋ}=Neڊ?[h&&ډYm#k򽮌'^TMFRgEai]ӫhHDγS 0&T2gVP=dTfIj9bD˟w c+ɎVINSCOiS7-јv-̷Q L) A 6 MDҰ"tݦ\#J\BV{flg Ϥ7'ROb i i-ذrHaIB,cb~#u6CI{ -W@**QVċ^7pK+z9OD%\Xe3=ćKtD0X4 Bg mBA˽͠ k}lhOLg9t8e+*yucD< KQP7F@YMk+u+ o}o V{3J,0(m,+/>GGS-d{+@TR]$_W i a1af8 uO8W1G7iUf"(=?)ԼZ׽1'~?*