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  ~/ \ i Game_Based_Crypto:threads=2elapsed=41.657cpu=79.892gc=2.476factor=1.927zXZִF! -1]ŗXf1-/6vRZV4hQ7Zb`M}:gjq e fJTޛK/u晏̎X{T2`a-F2`.UZB%ڒ2H~ K pvES\P'L0{ ow$jͰ \.kJ Lͨ$CPy~=O33c;J/1tu'msWg.dVkTR3i8\4VP8l 98=E:8'VyGGL^:|˪kC +YV՝]|7Tz-4˶^<3rc=>T\ NǻM9:3O;a%ǰB1 85y'H?qR̙6 ̈́@rcd]c$熞YG93!=HBvv塟=NpJ 7޻IԄ$;gQr"i6 Έd=S4}qV*d> ;p>D)퓢ڲ,3sɟӧt}#(^)N'2:hdDʨT,9m˱+)<s虯mֳ'Yǯ3dž8юWqEk*qX3"P_@aT=tA<"C%i<pDpB7| N;o $euT Zpk:ۥR_BdX)-L{ϲ\]p Ґ1S,t- /*mckB*b Q̪A_l"D ,3Wrԭkʃ;Q Vz77I07df=JF x?J` FjnyT=-B FRL#{̕WݔS'(lpu) Zx [0ƤT ZG}gYZ7zXZִF! C e]ŗXi%6.oz;JPt^O&m`T .fŵ?;n e#nлOh>@[e}: L/G/N~Àptn`gOCeV.r'N2-WU(y}S3"Z?y HoM± #՟K5*9CPww6YIL/t,ewhdVS7ͽO⋘Tgɗ{MQt>} 4W@S}㆞6J>7UΌqG-Mf;Ug]Jw>hL l(<-z,Ć" |wWT)w4f2<=5KXׂw< }|@YE&O{`NG'<2Yf2}w9ν<>3{ ?^ `4.uW;(OpW%.><]Cfǎdj;*npf]Ӫ8TϟՄr=|JH2xN:0qĤkݪJ%KXoٖJ9M:u=<1_h&b'),sHTPPk.d9YrbcMFs}q08z`0̑=ZaL4-&aw sJm| -Ʊa+poM0mo61jp(][M#2w+AYKq[D