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  l/| $ ]w]Game_Based_Crypto:threads=4elapsed=27.404cpu=100.148gc=2.900factor=3.657zXZִF! 3hx]ŗXf[&BR cX=ρwlʚ/nf/h˗&8)h]>?{.J 9`gbD$}YV/727`OFD#ՎJ:*WA?C3)bZ8[vnx,,\[фI$U`w~&m4[hžhg^@g!xd /yx팸;"aa̋;!XLGy^$7h++nU0M.h1Ϗ:,zXm6P~*7c)S9r}"zz-2}gԔf1%].h`2"5Mb|>YlD f_ձgYZ7zXZִF! L]ŗXiɟ1˦r p0+7bOa\ CquG !0>2Ϋ9uk]G|Ӳ0600Cu@NN.P6u'y3Dbmupo%$#%p \i5PsXp jcxm=Ġ 3GRw<ٷZi2c@L Vu G$q΀, 4Y^S/`nGTO;NK]ƷV(asH_>5UIyGW:J2Iøl 0+#\6ku*3ǦrN&ecjrZBy`L:MMN_zal FqHDGR!Ik -,:3~}ԛ"V}MRb:PF̈́&ڦR/_k dZJPbOM^JL%4[ ]V8GPws}8ұgYZ7zXZִF! t ]ŗXi%GkҪx]* <Cd y'THnU b (" Nyw R 0MZ 4XJyRi鶄T%Stn FU ӱlNZG(L\>O¼RzP:+La6˪~ [ӚAP: 'cBuL}'}\]POyH>^}^yjJ?PZ\Qo'΋S*/N$$ ;lA1#FW$eĔoY:'Q%0Ò;Zm>{>l6Bcuw[P E+g dɭC3Z +A$ Ps_&H tkUr6;N燦1_x_֒B9ft Al*aQkM,dCgpef+aTJ2$k6rX*G$fԒ;5 De6ȥ:Mj"V49~6?0c- VB7>c(ϕ`oOh6TDa>m;F/-M_Țz!5kL;aJRX A.&@(~!\N Nw 7i'"XJf_<ǾaIkR锢n$aߪGd ŵGL|J>pHs63< M-Bc# 8ޙ|."I7Z#J29uzF7<)ٯ㙌bĩ(){L24Qg*JUE6tҼl58ݎ%Mm?Ƶ†=' J7ݺ(;L"%2vPmn׉X8CO3zx&$U/W9غ5hŘ{[VV.%|?c*%+uoH͟ 6gMklGI)R=ڵK^8cu8K6rʼ4ϭgJk91o!ݹݕΗE䧸g-ܥZ$805hD,E'Š5H2o5LiW)Y]|qEۏ n;xJ0pLF]!}9}ftYV9 QC1ǿ/{B +_CP;LC yoc\u(vc]a| r |IA\ڎZϭuUWj+@!^#OcW?,uNcqQ ![ '~~u蛵iɷ~8Pirtg̕equ|/jHRUTVI^>,2*;t/p0 -O׺DŽ0denzq & Wm"qa$fOJҽ2Tlڶ 6?)Z9~6UYIE#2r2kA=. ߥ[LptrmTk &FX@P![E03C+tWz@6yuWDF~6/xUK70|pM49I*!Öfdda'~쀍=Mx #FPl 59gYaMk-gc eF`Jh\͊nȝ"Mٳbxx;L/F .F