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  B B3/ ,\ ]w Game_Based_Crypto:threads=2elapsed=41.108cpu=79.992gc=2.732factor=1.957zXZִF! *-P]ŗXf1-/6vRZV4hQ7Zbl=A8 \i;BHP8Q+\Xゥ{%V2,HTM=Sn=pD̥/,`A8^"_4(U0ߐh 0V#AR/HLIr'ti},^Tiа O2+)fc%M/(p`LY; Zi߼@ԪIN?L#sx7cR[QnMPx(WJB:BX_ykx S).!Vzxa.1d+ T7b-@0c$tU2]p$, c;C~"ȥ#pۈR2^۠ڽ fsǖ*5mb¾t|gM4;'4s`l*iJdVf+ѽ%,BM|,Us=YC$þkrFh^faDtZcr vَ@\J/5:% L9Mj NfPXl$+p;eXY0a{".xvFL:Vn }k C9ȹEfw~0hU.$6<|Q^-CY4uXOʖ\qh9+!#g$G5t(Š _8IlߞV &2760sBb'ASk}IƑJ(|lA>~s~r'g"|3J2֞wd//~AM̞sYQ435}H>ܘa^xqg9w FFnAp#^(֓u {Y%7VSOLY@3yڣc5踰rOQgpi[G|z/ߺ]FoI C(a}}:|f@$3ݴ%&3;3t"ДҴ fJSDb̦sPHodxS {["%I4A>fn/kJHkd5AX/aj#quF[3 ό9Җ ;^z+P.?)C j{pNHEkJLFJ p1{DT9[*qZ!ʄJOH=,[4t] BbJD @I#fwiAb2hKDI1z2S)g0 ˹Z3 zȍ7f%qHLkel pNm-~׭a=O F%.oIF,{gEaD_cE>=_HX8{!x&Dq=*6 |h]pv =?v\y/*3cJ^^'tEXK#;1 +908'}ކxkn(=j>yfIZn ژF 7:ךE*jztp lZ@^FXIT-㺕8rfqiL4錃l)86pfa13*կmCeO:+\<7O7|,i48)pZI:G`/T gPsL(92~-M[ @:ENgʑ$ܿ3>.} Iu1#xD?)m".عhNwmpǏ[ m,{kAS [mh! qq$uG9|W|iÖ6dD΀ʪiWxG> 1Car {ףGNhN{!=xgHvw2jEgj BBY{_vߙGAoq7IzRLq2e}Ec;RhDؔg)g?nM|5c@{OWv䉅{tH >0ѺU ضnO\ꄄo@+Ye (hy (?ƽQN0;YM:]$EhE #Pu3I7z=$­UHSǓXr=7@ٰ?D)RzQ}pا{X;Uk ՟&Uy7D@2 Nk+#g,۽~P{B8^ d!'ѹ &j?.K4V0Eĥ F O*U5ʊMƲSJXނ B}xĉ}a]cz- O\LGUXu~/tÁ5OxX?" M$oQȃ E姗 y+W s{OZ3>9m2 q9XG lJXyqa:H-Lc ٨pg1}\%'%5lWx'E{2)OY1f~3S)Xų^Ku|%1h8Xd{aߌxOB7:efHls̚~u6W$D \_̈́~=p<[ * i%ր\I6r s/-]cn1{6u= ;XO=YuemDArL qDVp˫֎&= N CͿ`BIƊ5|}~Y-"tz07ֵ!4sr[~M0B7=6䈂,Ze 2Ֆcp|V(B R;غ(y*MH]˛j[EuJ8b+`elv=ɨO,Q.}zfc-m