SQLite format 3@ .;  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/DD ]w]Game_Based_Crypto:threads=4elapsed=31.920cpu=114.748gc=3.052factor=3.597zXZִF! 9]ŗXf[&BR cX=ρwlʚ/Ō046x`]&88J7Ryn-suXH"K14o<*/rYbAR]2ɺ? ;t`ЇB]}@Ȝ_:vѾJ[6ϫ#~g$(h}΋~5[OqE#P|?tOHJ5>ЋGOi"lіSA/Շo,n={0N#2Cmd-p'`9V= ܧz*"̩T~n{U9'ڭBe荜~d[xFy=1ITS8arAqt>ꡦjmHt<~򺔆sJ%d"uro1tx0mt8S ]MmKhn^؊T2ىXd۬U ԀZ!hX55*ǵ2ohW\'R[hgbwzh3a%fS^vL02UKyS wE@R:){OD];':0tB\\ؘ2-V=1 xG/`@KMlnLʁINh2O(mb%&y^VrH Y&cJNˁ҃)12|W fCe i Yh،"n2-gNW\D_FBfUi:d53WbQh۹ Rjv3caO@R$|`tͧFKᥞ7g6e^;wӏzh0 5ؘ 5ܶ}D#CېT!*!Z#oIXM}p*=?=ΌBPހ`8 sAbgYZ7zXZִF! M]ŗXi / Game_Based_Crypto  ɟ1˦r p0+7bOa\ C6D5i/e6GFѨjamϦÜ=VUc/!( ͸4@k4Dt{8,nK/n>:[+&0 S/|'M'abcPI KfJPn\[!WdnEߓ!4bO8-6WUy-m6r^~߿VjE % 7>7!8ks$ųgYZ7zXZִF! y Z]ŗXi%L 0x1/.-4ĨN?"'2a'6rΜ zȯ"jɫ m9EA ŒeEd;[;# 4 DTf]V˽ɱR%6-G8c:fExo:-70fʱ+a9m11 D0(AЫHq@Jgc]kjhk—עcb6 ?0\vs)jLAuxºJZjJeBI:,bXKN/m_'wsZ[ i#e(1<mWE valt/ 3 S%ˬ n<%\&,8Xpr~0 xCF܆U:b5ԇ'c&t<ض㚅 Sb`جJpCh-D޽:qx&`Z4(Uc|ԫu+WtVGUKt2tL[fAqP ?4r>Xg^/^ǛA_ƃSdzlH!x8(GO199͍g]?ݱ54Te.k' ~7 }ӅYިo5])c 刼#ϋ[q5z>DuU`[/J(3GN&SjB'QhKe?t+/ ~nUY5cE:Ewu0Wqk 56f-DoQ Q3dˏ޴W+l$*ȍB9U354:0)V+/2Q}&Ϛw/楫k/{J=)jS} , h2m8OσTy+礿k=jbYA?{sZ%HsS-2#-Dߪ=%r^ݠ&-Fn\ʒ®qaad.ɪ;z3MFʋDwᯎ`!5wvp2~:ދfS @= c`cWkkzV^n;I] Ք`yx;ǠQC]barԊ&:;gl_3!~0tCHzJ7|[WS2?F剀NCPLi:V{Ӿ}~Βl/J0v3*AB)!#蘂&L;F6&M4d%W_\Lg3uRV4`}!)nXRAP5d*PY]Qp]C8 L8 oxtu}V8}Hlf_1"]tx"gVgbis$tn\P1@) *QcTDiI9!<:K(C7 wǾ Eڇ(`dUuz0 6>&)5p{ 6`~gtya>cwD3OA x65)y!㨶uCBq`L:x{rd>2C0/& {SK T_oR$kFZ,tS:oUC^c=oD5 O}G]D}d/ɿՕ0Q}MƝ,Ƕ Yt67idq2u}t.!:a/)ul30ypd'mN KAzc!geԙ)aVHjj+9/; f1Vϡ2k}?]H^$X>y2|^5T|^h]RVj2m{;2ʼnu[ 8Lq[iCǪ fr=Mγ_c]jE^@n޳':sV.X -x ˭I Qtd86ϛͽ(W[nؖ3帾[?8?k0clսR?pJ{Fm"/ \0|qNq"']ۚ`I ^N,`Sۯ?ܕ!ޭF6XٍiQz؍/l8(6Ю\%o^Ձ䪏1iж/IK!VʚiPE ݓ+587$Y l$@!