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  d/< T ]w]Game_Based_Crypto:threads=4elapsed=30.484cpu=111.616gc=3.164factor=3.667zXZִF! 8]ŗXf[&BR cX=ρwlʚ/TT;fyZt9Hz; ,aJ𽍁E#'n {ZҹrYNoL8ռX `x廊 qt9NuX^Y3QhC w9HN#icT,a) bjF{Am=h1"G41m鱺cEe%]vk3-lS6 /5.c)R>,i.l^=1.--ƀ—Z#4`z(cb/R^)9xbsyy 8:#Tga0!1j&ĩ󍲡%K oqEؼ :v&T1ɕN;6}Zһєxv2)pFmK XQņV|ZKYW/aI`C&s5A ( Bj(j6; .u*_tÞD+J.JnBLI5Sb"ƯCIWƻ3T&"lߌyw@d8RuI]AwvEP,4Ti)VMeb||ztTi|\:ħtvKSNb\-φHJwSᕳn #O?_|g_ۦɢz rE(G*/3}FӸ4p=E6NPc7x3N<sߧ(j"I-$SYH Uޙ] 8Y*[ЄWqs)7?? dAPd+#}my}I=ÑC })KjQurlhVnaZڟ`Jvxo'rT5p[f@5>_N5ߘ;Iq98J'!22y𡲗QI򳃬RNt$f / Game_Based_Crypto  (_fdIuwW>ZY}](r0OU%P1c`!6ܥ qHgYZ7zXZִF! M]ŗXiɟ1˦r p0+7bOa\ C˲ !+BTԡ@+fsIhA|k="dHYb O/FC|J*sCGP1+S+jt }?qZl)cDd쥎Z i^"```ȍ|K$zk½;MHT|U׶)-,cfTBiҲp"8 i5xڹ< dȊju9iwrJD,j lk}.C"RUel5e M~D3^*EU+hɺ;O0cPFT^ o xx ߷bк?H2Hs"P u|J} n׍DGrx@G6A7}τ&ȥ!9mFD%ɯ8!?`ja xݱgYZ7zXZִF! b ]ŗXi%GS Où$5%;tSЁRw$H4v'ghbOD@"&rM/X{>TzwL`7*cNݵ1Q˹}H$0Hspץa4q Wʄl.v1s2iF #XS;"N=)@B>Rf:`E\us0.]Dhh~N{X4d²˜~戴7v5LGBхǀX!j]N@nha%XZVu:-g]gǔތO6T!9٦*Vmef7,v !-~df]dcQs-w[^v[jK/*$-Dkx +g36Up [)-ϥ %rF ̕mق`$pњ @DZZu b1 d*'A(#!~LDBNwL΋N|]D%5b__j4yp}Ju`-u$UCmZ_h`}v̪ `*VWOG5T;jY )2턍,(MR~JW ^d ʐjyo6 ?tb`s"C\5Zj"s\d(^L(+) # jMLVɩ_}=LBO {\mB4<lrt] gOtjқF?-PjKzXU3&HDߥ-MpFI0@txH[[Q;o4{KNdg诬WjV] W2}#O}?uLg啁._+r{{]ֳ vY5 ^۞Lrt}--A=f{p']_TOMKnɥ%5K-q揰i}-8\aޥ>95wdދ 4~,K+Inf8Pf = oK;Xfk+cxBפbR΍$KR8ZP:|$PtzYS+U7Xo1k-E H )otX3_W)_S`gFD{SЮZ|ۂABq=y'4d)~uvpG{{vl8xn|qcW߱ /P9q[ ~lNuPka/J!|hMOYS>}!cɘJQcX NfG?so1V "Zpu޲8 9ԱCTL;ؕdu'vk.t)Oe4toH "]G 5uA< ou2ƞ$jK;.TVEmPHK{-]6,NvX֔azbZo%Ȟv)%NTsJ2wg{׏QYXY'Eiz..v>}Ι7?߶n[N