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.251cpu=110.388gc=3.032factor=3.657zXZִF! 8]ŗXf[&BR cX=ρwlʚ/}𢨍WdZc$s9bluYy.t tQQ^XkhuJo3]<3)ͥg&ec`)L"@µekr<> z,al?^݌CRH\lQRy ?Ap>暨{@ALiL9Ts: pB O' l{=?Ru6aTӟs28pDDO2==yXS"B]5jUߒHkẁI&P,jMU+Nւ3XL 2?3',U#,BlQP`WdJ&u<@#%(CsP:Y%}bL"&Hz;4H'VFˣ2;d$^3\F]=Op?ZtC=g?ML2'_0$ "s<ϵ1rF%U5Fk8n sYAiqȚ+mIpaܫ'S v39 ݍ[LȻ3 #DFuK`Ҧ7V!oRUq֞XC0t`Vd[JgHRL@/C?]`46 vGϴ $`4Yd&[[1ֈ gUOot(bg<ZLt֖Yxt>ŹO|q 24d.]6̓V.$uc"{>cOXoQB}/J㘌~uǦ ӷO-D2w@~l(m9W_Ag-O7ɘ+]!c" kv[ENamDymP7;7OY,޳UX;m*7R~)?E(lf QQ%I1,J:Bs^=dð=ENnc>EO@Gİc8n C٫= D'1^>r`y=.kǾ7 @Ză1\ը )bI~v7Z8_= / Game_Based_Crypto  6Ua`v/J`ly旵;gAt'U>9' qNLgYZ7zXZִF! L]ŗXiɟ1˦r p0+7bOa\ Cɑ;!+BGdt=K"^\qfNgnaM اHXDEwD:dR4D}{ UA{v6p}uw5|[H`# (c;ҖX Ƚ˄Hr:Hlh=r^jBTO){M%DgGe/9r*8zs&$)HQEU 6 ]쥚u!|v+U!.y5S8Q.=yN{ |CS(خ8P@u%nck9aM.} @) 2U2^AWm6%ܘ Z syaG C ip,bKfuMSWTqWVW5jɝCOtg)ŏ脲U۹L^/ݠ5IgYZ7zXZִF! ҳ ]ŗXi%Ge'T F(;+Sfw$0C'6,ݢ>:J`=Fv ߝ<"YghϷ&w؈32-t \-(.s6 }g:+> {i0-r9$@LWݺpoV̓[w3WBiVTC `]s*rr 4vk( o-'"6֬"ŰUF =5+ugGׄ O(,7B{wR~ТC)g/fC$ܶFԬڍ'@ΟӗˣEP1d5gBmS=:21+Ɔ`|N~ÈbL3slk"Sr~\S7sී), Zh0n W 9^[Sso@n;^f}w=áeJG}5s[ E]Ɨ \KRdY;E^/m,kJke]=퉩*@_%C%z"yQ!qO#9*oՄk! &JL€l$c N1f3oe>1jd?UE9j93ak1mnIZjj9&UkCSz!?Vv Cג瘌:'J^hhR˱EzW鹛'(o98{;2AȰosJ״A'B!0s69xby˪S}QA1ёV=Tkdr?>f? x$).*'Q_qT~,=921 Lt%$p9|bڼw#8XًFw7nxf5_j gSl`YP?U7#e߾l3dVt#!~ t:j Z!t'_8_`ᴑnPy ҋ{*,k9ԟ P̡iǸAbjblo*YIl+Fpi{E