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   f/ 4 i Game_Based_Crypto:threads=2elapsed=41.946cpu=78.720gc=2.496factor=1.887zXZִF! ,g]ŗXf1-/6vRZV4hQ7Zb`M}:gjq e fJTޛK/u?+7mIPVU{iqll##~uz3yqQ%fXQHv\'$j۶PU2۳e ٟQGZ# DPѸj 3?EsS\<3+,9XX~V.6ABdCrOΫOZ5TJ3=92$x AB;2*k=d,?{ovSuzl!8khvCl-$_dͧGuMP e$^BjpWNs.F)M$xKa4^֛edrswګ#u.^-84Vot Xlfn exnir =MHA0u'lCudP6jAooVϡynCd˲5,{/w qKAD(+eܧH6“ʚ ԑzYhpW)Q!,>Ǡid92~*@ ;f[E^SD`V$xJ>/5QjN=CLkbDlvt]?r7.DԜ5Όw͓)UŹ 0EΗی8$dRuJh{WNXpt Dmw 5# zg@CZ$W֣3ۧ*~+osD/ O5U;W`rFP b l+SA4pWuD~ {Yz KY=ςtE(ğ)&XKQlH'*ڈF_I+Nߊ6ggȯX|rJ@a.'vVSXh5 X륱gYZ7zXZִF! с z]ŗXi%6˻h$\n嬗A9 d[̿8;-COs;G+HXEljպ"1bY1Հ3IB"EZiq!48Nga.03 DGA13r8y@NVuᗔiS-rB%Ӱc'=|q"K?Fح|$yDȔj,XO.. 1m`ރyM9;6Zڱ> !_z!Msν۠^ɭ]\ X[<Β(30nR;mM]dEMW:n b O2P#{Fa~grb@zLXOV@eή\JfXda[.yr Q NwUM;s;5J ~sp9}E`}}|&$ RDr2bU L0 Ln݉1bHBpr/[)$`4s`duLH LcN7/iOYe=Z?$wQ"'V }\Pc1Pww*z][8~z2}yltʪ?dKCB,(NTq]yw!t`~5$ ɜz%  ޛ"sur A:^&ieA\}ɪjv#zu8QEd^ΛRԍ}/(hD.pcl&'cS'@`,bũ_*7 Xx8}97 ֬Mݮ}ݞcj>cY$.GLb̙֡R*3x0ja~R@P4P{ &IGL|ˆk֛b^E/vR4u`Y)~1: j#9hߓ@Hp I_6s3Y\ %&KABo{)ibL'WPQ0<9"Iec`P L]҅}Tv,` &z=li7"^}Zhb %v 9 +`u¯plnX ˦3^'wyꪌ'TĹUsɃh!"]T2Q-;T`w`S#sG>w%xˑ5S TMz| Nʡ]ֲ-[kwhp@`n!ߙ 9my ceJ˭ 'ĪtkJ o'q?9Raud-<$$˨ @J^;֋h}he4$ l2_'75arE%n-q8.U}o۔Ot%> "Da㣕!7a6=+הC,28PZ&J{jb&Tӟn%\?VЍyl͊bsԶIi fŸKbw_P.@M~bj;H(  ,Ѻ(jSWA$ʰ7w#F(sHrԃcx# 3_C a藃 WS|Na>Bxbd$Q MRHCm{=GĬ0MN,?<_il(+zb0B6D503]}T6ۋ%bτzNiRBlgnڕC%“`OmKg5r$v0&ׁW4]VF0a\nT8Vӵx5!2I%;\e<B]O7 Q̇b(:Z>GrQp5&.%/`牛 J  v|GٙZ琑QNx* FgP(:Hv3*!QIR3HV5Ë,[xsE;[DA,}D䎅ݏ u03#NRM"um^ @I!9LE%sl3A;&A<((@u*vhK꒬AN*6 G#K򽟀Z>MGL/XK2ɇȶȃWpxYY{Ȼ˦^=Weh/:T{C][.w9& f= \