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  ,/dt$ ]w Game_Based_Crypto:threads=4elapsed=29.850cpu=109.080gc=2.496factor=3.657zXZִF! 53]ŗXf[&BR cX=ρwlʚ/GU`/,mXQ67?u vu.%Í6\2! H)3xx!-H3`fWֶ[)90{l}zGR:Oequ{E#Ő=Ю04idM`4sY`֡xo/uv?Lu/VPG*j>TyMjeS%KT[e)J+ V )bmid9NwVҜ>$Pi &hQ--=q/SoCBLĦ]Rw襸ugD8{Q;%- IEl{p7irYCGA$|8O(%е 0QF1 )jue p)/˅R7Jdx4 ,`뛓<} 4O}_?QGDQeQGLnUtơ2i 'ep9YUJ8_i_D* 6bZ[Y{4KuŃc@99A{`0rbAb@]VGa+IվR5m+Y.&n!PpT}w!ջ+T^ᅨXJt^JA=S/ПC_)NC]Nq"J[&@n:GH/Ffԓ [N= QZs9Ǔg7E)FxPyd~WJ,2dg=yWBG_rU <|?S5* TF%L rZlXL*kscGO-#ݮ*[ Ysfd<_"m=2wIKCV´:ÒP۔#SUS~' 1)z (9rOv#qbI*~G[`d`S1 65S%_v< ܺ:}bfK9_^g疆~N PU1{8 h+yEyv锸dzίڠ-uD|)ak(:y4IѪ5bv$N\$; dAX;N֒h^2,|s{$4⪔'z0<m0q/jg$Ngu'eE~P)}}󍉎D15[٥ѓ4ޑi~N)i|ėS":L&W!zz SX٥/x@ .F ::(Yk7cv'[43ؙ#qE9Ap./ytcT8nWbkIg&RP,^U2b ,DpP C![ %?BtndvA/P1TI˳8H8(~ 2 iۙa d p|WE, ss*dȆfiϗ\}m8bbG%U3;||,܉ơiM Fgb-:B rǾ݅Dx|tJgYZ0ac1f0968f7ce11d8437a14a0722405ce8156ad5ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022 f2aa8062235ab9b94abd77b45dd8ef43dcd424db 1a050f03797f0adf3821f52f013ba9dc0cd56252 4b866009be38435af9bd5241b87adc6175519b2a 0bab65e2f61daf1d2e40ceab2b1e212221f048e6