SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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/D , ]w Game_Based_Crypto:threads=4elapsed=33.534cpu=123.784gc=2.936factor=3.697zXZִF! <\]ŗXf[&BR cX=ρwlʚ/ŷO \?`#NLFm7$OO`Cz )v wk'֎`+FMbpQzlmqQ2zx<1[e.?> a]vZpiHk@-{.(͖!q/I; V Go ͽ̐.ˊ3_q-~.jni+g:nzm9ya~-X Vk8wUZaƇ6J3bن‹QPK_\T%D:XM)4HQZ0fd^+v rgD5:b7p N / Game_Based_Crypto  +^JKq]*uD)H1pdXbeA7*9U؋}r]iao}d(z&ܿ'}WvufPz50_.N RlkHUq9n3?m?:E)pq}yEkqԩ69=6Qhֻoiܘ*'H$ 8pim)^LWR]Uۀ.1RL^DZMI$jY}[b C8ɐQaUN`p}SVǂCe8||:ziOnK8ޫץ X,ap_1ͤH%L*~G{NGgXIhp}:*=u/G"gFD>IC`%qynr[36V2}jozx9FZ`Q=[Az!9x:RevRq4V!chPi⸂|%1'zpqX2G *7} -a1l!N:a9IU*:.]a:-,HK{$9@Q@`uV+!9A6E9jf EE[E +:/uٶeD%{묀V4X!*36-bNaQ!̔/%M H; +)gxOu9ߗkQgYZ7zXZִF! D M]ŗXi%@b^v@pyڞ+jQ1t_i_#=#ѮASy=3crCf- =gVT]$z,BU0?0iL[O$xq-oIʌ9kd M[I.'|ڵY 4oJj=oX韨8fYΆx>#p@{TX$Gڹ7.j匱.ꖊYb_.% 7C6#1q%PJY$/vG8`W&տRKV9,;LݒT9;~5}l xe$ت v yrN[NސL7o vX@nc(T=џ?z|\hPFQIga-8.^@JXيDek˧2}qu7)=>qjǛKa0`%c"%&a!{M`z"",T#:b9MIEYh1;vkJh}b6P`ȕ`u&սZX=YWb] ;avT%I-Q!^Q=EFMn7c4 6ۑ[0B OsJ$oq֕x,Bԯ$T¨IЛwY֥ЈͶHg*}iYɈ:(qQlm}QJӛ5}jÝ Eu0ѥH: X>R)HqPk;@ƥ .0+^AʂY\ Ý]n, jPWC9 Az~ƍw 8b{# M~;ɸFX5cCĬ @4ЛQ^#NG#|7~t} Z C%uhKѱ~Dz/4 1dzO^$5hLө`VaiOo"OXF]K7I+RHgh[7v TQs 6h̟wщzH8K!]~R&-x)ȀKU`BN[5BdG ۶ Zd5y"U{p1U? 鬠>{Ƴ,f; N_8}t<20Rݓ<âRB-c 5'sn_&~;vSeZD ) Jo֮z>?Z;Qdcw Qy\H 9g׿ z,GnBwVInLȋb;P80!>2jJ}9h@-\xzWtC'#4=G/P[daY m{#AP iVGՓRn鑑 /&#XIcOsƀi׃g- 3Q]+ (@wrb %zт*V *zbZrՈLJZ^'wR)Xu[G}OI _/Qhۊ?qm3pE^#~#3@^AuB81J8?*ț:u'uHqkb/\1,ڙhOusߚñBn:<\ƼS(FTTňgYZc8cea31dc4c8d1f8e5087f47a80e3d2ded860c369cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d 5bff1fe22e9b540c1fdfa44011b452f73533aabc a5db842fbfb4189857ce2cd083e884a2d11c71f8 08a475c76b9fc4532202441f9f4bbe758f6ccfdd 6f0727f1b2af5a499c8198bd6c3c4bc9662f5431