SQLite format 3@ . BBh77otableisabelle_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 /   ]w Game_Based_Crypto:threads=2elapsed=38.837cpu=76.020gc=2.792factor=1.967zXZִF! *(E]ŗXf1-/6vRZV4hQ7Zbl=A8 \i;BHP8Q+\Xゥ{%V2,HTM=Sn=pD̛E ҈ H_zf~+Ug۸ecs~qCfXy9p,|9]#p'}쨸Yo O@rPQd`xSI!{5p:v$^qD2wF̬ce# 9D`1comC.GBw'"W~VarJjNXa'^]AmQSGˋ($H;r!~v`u Wʾ9lF / Game_Based_CryptollY#N;R>92pц(͵T{b'I.=Wݬa+m \>nR$d1E{fǖ &|v·a$qeTΆs9??Qxm(%j1[89i!*ԎW(k-{F\sdyv=zHV h?!xI8o+(F<9ȍtc7y~9,`*Y#\['urC!Zbԗ]e4EkM ߏ2dx%pUvh(u?P孳{Ç0MV[M!O]#m E;W"FjUE|U[%v)'Zd%PJmޞ*<{|Lo]u;5±G WM]Wr\J>eJk(6(K,|_L:u-U{0%Q^#0yxރB=q5* }.LYIoe V;=r $~KJpU^CQ"I1pn㵬=&X:-H رgYZ7zXZִF! ò H]ŗXi%;x&Wh<Pi#') LsDFF_ .i\j]\.`M,R)j/#Oo<<6߀j֎v:^g}_fƐ p wH& Ҁ%7:H/owwf o dR3ޯp~:Ix<3L0&3 [nK-GWv1^4*-g!`O:"-9j>*{?l7RRLvus#?X84p;p7?*?Azgi /t B^q37"C8ZM\kIdZ-HK'E[OuA)۱p oᕐ<԰bpUco/QplF b@qM>k!͆9@0#*QD LB v#O/|5] ,D>$K;A֜Ӣ0{=X䊹 JF^oKqT}e}BrW^ŭhz#N ' .+H&-$Z8&i٠oY~"|Xge wxޔ^m5xD܅HdzWݡЬ-`Qеrmϻb t$+(IM -4%L} 3tUkYcIrd&~ZmZg혙`@vF, }hؤ 䴕H.3~Y1P:!VX7p|BteȄ Bx ņ_yRld˙{hc}>/Vg^fD7Q_25Xew'>j1m]oiE`ʟ p;Ѱ4߷uF((rWu/f@wDco?A+|]OA֠61%"X1شcai.m1ճ(#+} 4p=W xA_X̄Ǡ [ HmVn)qṚţ(4BP$mӨT-EAe,}S; ~E;;n^,i,#\N%$R@yʏI]fTBQ ia筽3 JQԂs6P %xKR͑A=tU:?6Kh>ERֽPNg{=!0JDv#MnFc)ڛ:H)*vۨٮmQ ֶ8\ABmKۿ-q%r k)9S7PLmea[@\GPS5QԓM+NFL"ORa7F;(C^Z[AֳpB.j QK7Fi2xDhөW)vqaLNsE?#\:tt8 ! ~φd+*[ĸ#ڌbvJ \d5ET{q>++Jg;Vy?p$xC@v4s};I$0bFKBLJڜ5s?am3coe>T&Ce MBC(oԞO-HHn /-Dlv)„ޚ S4nNsY{np%9wRQt`i]CU{B/ԃ&h3YbX}0cnl3W|y! gZq=65!~VmZT Ʒ…>Ԓ7J:j$ޞ2nՀwn{Gy* gzhG ه4}IM[[0gYZbc0a32a6329645cb49efa9338c7d9959c5e0ceab79d8e835726df87c7b301a8f091eddccadfabbca f1715b405e31ccabbdc6fec58464e458364e7dc6 27380dc72e623c038461b5a833200b5803ef071c 0173998c1bdaaf02c425934bacc56421e11f319a 0f39d27755417655ea712337a78f9713e5d91fff 9a7f19378d69954a778e4a4ee8bbb1b58d0c86c7