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  K K*/ , i Game_Based_Crypto:threads=2elapsed=41.303cpu=78.504gc=2.368factor=1.907zXZִF! +]ŗXf1-/6vRZV4hQ7Zb`M}:gjq e fJTޛK/ukA8R ,=%ں/{3"19oZ4°WNAG YCJŽ&SaQzRjԃ_o{^5$mT~;ϐ|$f[u55gzgy$?-ys]#U 5leH@lnTv'pjM<싴'$%^;a 'u8BUx ` L4֙`L8zÃiThYyc)#fc Y +T{qg5XSzql;g/QpUͣ%vWjiഹd'ѶO?<0ʔ0;-|s|nQcЛFb;iMNcL$0r)\e nj~ M专0eyC~n匷t; RW EGa<̶MDժe1ȳTڨf:U"#Z_m؟Ng$` [Vё\7 ljNGҝZIhEd9zUmfQUwQknwie 1kf@b|AJFzښGn-4n8 =3ҌPhҭNE/pO 3f / Game_Based_CryptoyXsB?gah.ҽ;vYz,rWaICTo蠢B 3YE2 WK'R `Y00N_1wJRyl.~Δ{<壯x?YlۂK3?arpI5&} ж\_kIC֢NRäy /`JkЯׯ?N>tkΆ3JJY:v.f׫>3}bWSa~("x\],>;%:q~ìUV^>y-Mn+Oǵuğܕ< WY\gYZ7zXZִF! A]ŗXi%~6ROMcU,‹rIԐSgv~@t,Zd$EZc']:J 9o@kF(::y:gtf~1YU}Y˧n,G! ӠY jM踧4P3(ղGKy+# Hl^bk;{^&'҅܂?ss,^g`~s0%!HgUA)"bYhm5"EXtS>Q +}$ ITQH^ O㛤HʏzGV`e57~՚I!v&y8\R`xjM]!8 f֫X X["NӘYGow]b4L iSҗ[}ᥢ Am`v{ Kݢ:1=髑doa%uH_h#J8'a'`./0W3B2l%QJdgW 7ykH1u.}V-oyeχ%Ŷ(s`[ B7!6v<=OGk)/i!PߎlnbC$Vq9;Ω̵0I^L%TE`H/0 `G-ͩR(%dё?EWHfP$uص/WDV&ڪkLWy2Q=gƍ T~#1لA8z`S_eHbsu;]Svq:."ټTc܀BD'0oGN2cJFb4z}頂SC~^ŘvW6h(r GXϧʱ[S \qnTfxJj9ce=ChD@a8vZx%뗫|cAL6Ľp=3`6` =.6)^"Yb/J S0k\l:|ˏg@F,4NkY'b"jf/ U8}qy?4.0b7x_ٓP&N ^MӬvd _+"zeSU'*lA&QA#5mء,A .p1c[t} ] C:"w{H_?NAp;ωhMhQ&*pzXA߶dv1$ӡCԠ?AA;_|[p#$\$EwDgJ^KqյϹNHwKq'y--18fK)=sWj8P3W'Z878#0j9o\ɡwu8, V۫Q]SEaY1/k/:m< e6gf x Mx WfwrdsY'c@pCǫX\$Y#}?}PTiY