SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  z/ D i Game_Based_Crypto:threads=2elapsed=40.633cpu=80.424gc=2.664factor=1.987zXZִF! ,p]ŗXf1-/6vRZV4hQ7Zb`M}:gjq e fJTޛK/u)J󣊺LS{ñPZ֯r/EbP`1f)Xٞdygu]Q՗q+ yݚ'id1hs() ; aGհ_$4m#]{>m̥AQZ"FfICA=3O*IbX9Ҿ `Kiɐ*F$.?ՔNrwɡAማZ̖to;4fGH ! f!JyEOo՘-1լe;|FXR%zU 7a@1fpYpdӈϢ*noNIqG6MAsY@hƒR_E4GBM?n3hf +/R •s~x%٠P_ ˳Ikfgg7IvuR38q`O!z9lOgUI!B`j7U]M8nKJ0B+l۩b'ei|6t4ޛE3}B#yRc{ҲioVv5~OYnttyoT=ҺƹkazES^8|_nZN0X. <d'JtF"CU78M~U{ Ps%Go0?B>X71Mn­0>ض[^e / Game_Based_Crypto(m.1^GGi)C˴7%|D ,>3h%<#fLT%W 矪#J ~RrgvW3|;UEr( [n|͔_x5 q.i~TtC !?%3\f ֩V`ZӨ5Ϫρ80ѱg2_5XDi,W[PYE{ n-h>Q=bBk>Vvیf1$hۉoP/JTXt0+Yi X:7رgYZ7zXZִF! x ]ŗXi% )UƼuKUOLv2x2ҷ_7._E+LYgڇf*kZH >*Aw9^; 젚]O3>-m~nd#/KmKa ~/yFsJMxb路A s8P宲ga/y)@ȵij;?_> &L/P7u3;[p҆916 4sGS‡b8n_CW:{t(jE Kծէ܎Qma7IlKJR|w^ 4af(L+ǯxBJ0&P~ Ymʹ=K T`IζZr%Vd?ag'}I49ζ39!=;^ɫu[@j䣽{̐* ikb0$2e֠G^)Ԉ5 H^tW:q$\^P(t8 N@}C9 qӥVW-@ o]%Oz`B|JPVH3}j~NJO:<- mHY,[WSi-zя~wc5OٴkyS ;TVTU$r"꧸h£L"