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  U U /\4 ]w]Game_Based_Crypto:threads=4elapsed=32.765cpu=114.512gc=2.412factor=3.497zXZִF! Ys6l=ݾPw} N+0+akkt>s.Twd7Eʅ328</n^ΈR!bV (KaҌnm.w9>],K73JZP8C538\oL0Fx KI7Nʟ1s\T5cҹ828wq>f4F'lsr]$Є5\I;]~u#?;}WLj+)Dy5$qۺŲߤ43*&樃I7BCđkMe*TRWV^8?Ѩν5lI7KXMұ΃4jVJ YѫzTvlܺ3c^tNkl嗣]9ư*ʲ@9,2Tij iV4]E7Yܨ] .FE<6GH%W,=&5AHz|ߴWSSfQ3dIM=,X.  gxoиz=Ua vo42$ͼ0YlF*h`QNB[{S mߠ{}Fk8NM84E {E;l?&8ZfF)jP eoLQߧe'O7u ^_UoY?>s {$BbsRܨkt$%GӼ x|pS4r_rlV,#iMdve15ђ wSK cKk~i G0%[g01X'c;Jm? X:L>>'t&GۧI`n(a9ky3ÑoS! zPM# ̡ل~kN,&lDm206r+MP S!qTR-~~LQt'ҘB|ϝf&HD(]'Rik8 `n)e4Iҹ׿ViJ|ء ilTYcbh]1 :^UFZ dԪEJW݃|/h5]q}_}B6 wx:y(Qlb\/C# *:uzXn"4;ՔwKh޲_v؈J6%L~A3͖&3}X|`vbm46Y_%tZU֓v0Bщ]vSCmWfhq*,Pxdo[ 8pO\V)Aʴ@PCˀ / Game_Based_Crypto  XM xpgYZ7zXZִF! L]ŗXiɟ1˦r p0+7bOa\ C;5i/ߞf"z?RXXB .Ӵ^7S]@sZ|$Vij'#dQ2#3lQ i`9l]z'{f5 L`e`[yL(SF*GqR7g΄rw| n$vIJq}H %7K }l1 C%=%5'#XVcWN[U/H U-A!;pQHyTeEyC)=QOƀ ^xsnńLz>_c} u7 RLm[Q_n6 ۊ X)5AJth?"dKz"Jz ڪeuP_JJcgrm'a0n.Ӣ= ?|:v&79^\ ċur%M|}W~=;YkcJrC2Z,{.v7OgYZ7zXZִF! * ]ŗXi%B:dQ#0JF~nM]v@hN]תp@jYY]Ԍ'#^?(tsPjyJǷlJӭl\^C}J u%eU>-X;ox0fi9ӺO8T*;Z1P5 ]QE?2%/%AÏקbP}C5eORa-fKjYK #"$T<Ǖ9_~K7Rs"OP4;FK3.0t h]Witd\YH@$H[Vc=9g4GVR ^@".Q)A#jܲFXOaLEv ? f O*:lT:4]h5OV:)qb5N/Upo_j'}FcG[(%8_+.o7%~N[|tzbkZ}|,J@ ̶=im%)Fdul(jLB)Z's}1aU~JtR[I;*V즐GJK!}ssNC53YˆІ#pRhݰHO9#?7E}; _:N+'7NaSm 9Y۟rˑN4 EB$8>=M4H2<>NLv k=ߝVDR,"L2k4Yo HE N4YKig{1N dHo0+N,89n+%=g|**M758?5DԵd&_Z.2N7}ؔIo"\Z'[9J厥_k{T;:OսBU#gælN3 <uFN2{yF獷J 7ׇ0+MmUY=oE" d*v |d[bcsV&F-AFzPlz?6VTg^)UYöOВd ?{!^G4zc62Du2F) /n_aVQW-a]FĻ?[dڐ#8ٝ !C ǘE5PÛMO7PpUwBǩfZKNU4Ů݊&_SBPt6&G'2z^#4!H|s6 Ik r\4 1ň8_疸'8dMryqqMT"tbTՔ=Q35vm8Rxt 1MdBVmS\.Ysp􎟽r#]2%wH.)?y5s]vի|PUm@񜐋확}qjXݠʱnª.f0G}-`{|k&A&((05l̼ g.$@"jvw$\UCEz)Cd+>z[8?YV:\BS( r_5q>6 EUi6 ͙i7 LpVS}˄9WVEo:J=k /&)lTJSK3c|=7.DʭI=AH@߿~)V+LMfJ~*|X] E?>_M:.y[F-[4z u@%).)Moqqa{Nr^u8' qj ; Ţҋ9ӔWӓ Dϙy  U ^@ Tߛ2`9b^G]3^Թh̳RgRͲ r@^ 9C= |NN# =HpL3́ZuLAk6յ\h̞D=t%~nV-?{;;H<"csR5n _]zz 9&p~Isn}{$*CkҸ)P!*)cd4B [f848O3xIp0Ӹ Q?qyL5he\g]`K(PyoY"?MۑUeH͜ixP?X=ԝ.#& ?3EjH D=N\&Dq)h~8==a:]nG6n+شfJrEn$4+oXm=*h,mrXyx.vUw ``D0I~[,VIY