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  W W/ \L i Game_Based_Crypto:threads=2elapsed=40.690cpu=78.324gc=2.244factor=1.927zXZִF! -7]ŗXf1-/6vRZV4hQ7Zb`M}:gjq e fJTޛK/tԀOhkGe}yE?"f .ALT >z[}r4X#iR#Hk{}v,)vbc M6F%=v^s@B,_}srI Y KE+c8a̙sǁw:]qzmO+̺&kL]yւkMo"e[?z~ƔSQ裥˾FM6JC,2rgO?5zv}mzwg%B ٛ^+J\c*O׬hm:} LzsHz#u 6r爫!oO{B~ϙ`Y'p넩QAnpzV]i˰H81/MzBX1g YNlƣDoD9Q _gBE'~ P =~n܎ZY k-O / Game_Based_CryptolgQ^Nԛ ɇ =AS$MT)ER90՟׽!҆lyDQ\N<n,kԺBJ.[nr(E 6N( N|*MVQVvn?vC3HfY^j'>OvQ8gr1i*4D@Z4^%1 ~٫+5Ivjd_p8T2paS$ӟ~ק ұAgy:8p) [uQXkў0<ۙq LpL\.6{؝oBhn N Y߻O2TatyM&ɰ߂X3<[!ȉuB=Rw{M,;:BczVnW4EzmG"ajHtakѤqy2qB,9%J]hZRX7Ԙҙ@^IEGvR2ֿ2=4߃jDJR3\dtey?:qs>^KyW[Y͕㕓-f"Y%hm,Y5k.mm'ݧйf-W̮p,ZNY0 鬱jb7XR>{4N~R@U㚰x/{ I¯]>a}]Ԋ>nS p]S9{(f& P'ɷ)H' SO8ZFp#.9nz(M<+ɭNlA&N4vb]8݊$o̥3>l%}YWK`hXP{xoz)j;3QqbA&3oXbVA_82Ui fݿ]I-a7k9<D2CB$XSt̖r]"+bjFM]tx9w 27ZR"D;5%YX)1:=4ūȢL۷~nCPRbh,5BԊEj2'{x~<W+ȍnUgXF 5Խn ÕcU)NX,8.~Xbt3H_l}`HU+q@l>QbJh?&Jr~]玕|nncNrs|.hw!iPll`Mc%[x 70{נ-!ܪsد%q@ =1d4j~;&gvF4ą$kx͈S" xyۢ BIu}( !)qo7? X>Y .=_ln*P6WfNuϢ7rbAL'=iJ>S+>8ZUR~E;