SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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  /$|< ]w]Game_Based_Crypto:threads=4elapsed=30.523cpu=108.920gc=2.468factor=3.577zXZִF! 7]ŗXf[&BR cX=ρwlʚ/e Q#>zV|je乇 g}D$tym?󹬢 ,W\EcEVclŌ -.d4=s|{ yTx$߫'*!|r@^u+N.Ç;8O4/+:adm,ݠBS;0`d?Mnii(4X9IH]MޑHSl;9yJJzR$pl02_\5 k򊹪XD)U=kqӢbk_}{t%qA% p54E=2t'v_r_KSw.,gYZ7zXZִF! ھ ]ŗXi%B۾.dp5bbPk,F.SWaٍn_XKA*Ov,pk>ОL`șCIdHtWPx,&o2ɽn޵;Wr:<]2՟g3^Ig:³LbY6&k#vR0yjL$QhY3uuPxPѢT/hH*7m'|⢳:Ʈ v5vaU%Oq~lS 228cx5WxNs. !ʰEcKwQo6oypav/RdSLsڝHヸ!Ѭ)2K-㴦2N7^s#yZO'1@}eM4VLnoQT'xoG[EM @ޤ0$ZyT$ I_W1$5A_qbMX2q CQ0"YLU1G#I„e lXc-]G1+ _80my hCi~SOiu\[(r,AGZg̓]v=`6b&Rx^{{9PrR{zɋ  k (otso>ҷ$INV92򿈍 U)ۯ~/ 8@^8d9;2Ke%U\}7cv#io_eaP@!R5n:>vOJܸed_;!Xjv8`6AS,$a-Rt`o@]x]|gq<* { -CqSLB!Ti}Ikb8-:Q3h>#~^ba?YD`+}50 ~%1 ?Qqbŏp#M_@PS{Nܐ3"/})aܸ$nHDžV.! K^!"۩*S˅51, ua0佗hjg$-p]GcZgaB5UY*CU-x|FJH>%vft$)G§[ZW1΂JѬ[ZE({ `rp4uzэEZT 1 c &lc92]X÷C# :7aX$D@?\K@azYJܼ ,de1ug/خ==)"T.P%خO7_GسU/dHNFpp7 EZzJ-\}1b_Z68uJ_DbɁސ=~܎'~Mݨu-lˉԑHV= 3s#z+A{aM؅z]‘yiQdzNOsP/GE X ˰\\P|) F%]+~3IR]NT)aE'}]utm#qzRE]>ĎoX#ȏ:cb0Xzv~lC 51Fp%w 93tPtXX ̱{u nZ!ܹ\%ɐ}+nv߷ )C&bRO MDYlP' 3v4q"Tz"?;8=Z9vAmEns-K,8"OFM8RӔhhR`RZ8 qk#gAqrXsو%:c#P975$H)CK?Sr&` ,;LХua]AY7Z5Êsv|=m__ xa3nF-)>,P+F;ch "͂ 3 Fw.|JRpZVNmÖ-(դoKEkn۪|$[ n}Ĥ6=R{>)f,s:"n28}xɂ5C{c@Jy!efhqi\n]jO=OlXeQ\9ya3M˜HRqn)~ PPB~7_%K/7EaV`p(L>߻`w}ߛ.]""*x`a{'HK;ǻ89zAц޷ʞ#:r:FK ,!Q0׆/b]*F%(y~-7X quJ!VFDT^K|:8-`4ZTNÃI5b0600qU衔8;z)4((b\㖺-!(hgW&O_G@݂zWtWf%pO&DOjVSnEEsiU))ގ6\LJ!vWg. WO $[vE uS )]o]UbV|DLItC Dt3/~$z~{=źM$ZM-4Ÿ́ϗ &ta jxMV#4;k1=i,o8o |]Z.HX6˿<+ٲ:J3)T8MhdbgYZ3bd46c7cb99956e2f544fb79aa2d7f5285ac25a876b019a50eeda51c4b74870607c55fbf00aca327 877f746cbbdb3ee6d67adfa0ff386a8af3e6f35f 2ba2648cd2e9eefa4e482a87a5d42b21c90574a9 4935381b0a3d53b4475efa9a778a2dd6f8926c83 59902f30902a11e2830d741a8eac901c51807f5e 43a2d72a218e5dce87f9efb6f4cce13d7f51f6b898b49a5c0be958c5e8af23e2a1a43f28e4fc92c6