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  / t< ]w Game_Based_Crypto:threads=2elapsed=43.040cpu=83.660gc=2.764factor=1.947zXZִF! +t]ŗXf1-/6vRZV4hQ7Zbl=A8 \i;BHP8Q+\Xゥ{%V2,HTM=Sn=pD̩Ȃ(̿cEzWalE!7l\ҋU oU}6Ro`VF(g6DZ~35X%N4Qd:z.sR }T9`sj產ΔP-*Tnt~V|Ѫz2 \<_j yt M*"t$ wm4T:F?,jB:J"i[0<@AcY<7xF E|=kFe kB@aY ٮ>Cp: ѽBQit>SoQo1nlDz_>XCQ6<7]- / Game_Based_Crypto  @QQ*^{rN0QC\!Nҟ;yi;Qۿ{T_HY嚔߆"1 ³`#bw6,h`˫d T\ BkbT#eAu M > Z~ByfytuinžƢ7ϷrWD%RC~M4Hl%0GiI3s*&gF+v.Z̷!?xۺi翴פ5?QaH[aGoQw:jkС{zC9 H8uv΋uLZj g,]=M ]TR{R p!`5~DF:T.n—Dvaߠk&gZ>Cv!v'#fHxAf 7g7i#o MwB)NG"Ytgdze2}X i+Ba j?3[NoWt?pD+RgiZtk?\ &"/#Nsݮ,6؟ bZaƞY>kqFH~ ]LJ1$ȬY6UM3VCzcrY̷N>SJ8U"sB<_%9SrzN'*!o8yGtWz/*XtIďUPc(/bzv/Lԇ_-8Z蔣3UIR_qNQA >!5%fl]  m\1fhƒ2)EAxAu@D}}n$qQNJNHD9 W{J{y8[Xw"JG`9f13>$Dg%.O. ґͭS fH4fB00}{KD(B\4XtS71T(9*ұc2+&Ѐxm[ cu|ہKAzW4 "ݱV4>Rׄ6N J>yd3n/iKzP)u,׌1:wJ$SHͽ.o" 3`^Xde5" 7x=S#|AucLZY ӽG9t5|4D!dKZ V 9Ǡ1BQX3%J±CO?f-/ V51ܰ;c ׿JW/ @%)f~i>!Ow[zp~SuT7Et+ [&"Jr#b)y̕)_'?\A_9*0K%>s$$%``wiSe^9`4J\yIRPsY}9zhpC6.fϞ#>o ;Bz0a25VE9U.ߴ\tjϊXyXˁ/~o,j)kހ@yQh {eal!IĩP)c4q[/c%Db@;ڜTύUƩK[j)G.l0O'\i_z#f{ƒw}NY:%%_j$=NHPF STn=:"9 ix41X1Jsz;CaPle0JͰ'YU([*_r.*D? *U[9`iG-?)B}wM5%4Q1!Fه;Pã)騽"X2OUobMzrՠQ071ֹ,!^m .#ZN$ǽD(1Òɮ,;\7ǩz0QWN@^uQN"<{Y }"B,YCoӛlMy~sU-.WK4 eUPDWd m͝< ؏=3B$@ v>zmvE-F?TdݧZcpFe%ke>Ry$5;6 &ѹ: *s3d^'KS>ewqR%"=b0z^!J00)D=cvڂBoHD{n &ݾ=^// iś>\ tв8b]φۄGVIp!Z3"XCER>.=h=Az