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 B/ \ i Game_Based_Crypto:threads=2elapsed=38.991cpu=76.948gc=2.584factor=1.977zXZִF! &]ŗXf1-/6vRZV4hQ7Zb`M}:gjq e fJTޛK/t='W)\W- rJymTnٌ k\+v(%3ٔl컰ao%b;޷M\fPCF}/*.R{uF=džͼٰqQlU0Ǔ7Wvib5$%B7xa @԰buҠI^tx.xe.)v+tr}\8 z;%>A(&ZO{?Ц~5T[p:=Xt&}<IR+,jN*f̡㷿PȠ J0\p^ע9'!k9b+J< " 3>[nFHTeعENke}־T"мD-3F8`:KRT1*S[ 3ڇho8|i{}_t0f]T[g08*i0`^FFC2GNJ$'c/~e- ȥH;-Uzˎa֪->%"I9ky(O+Du EzB»p wV[;@P@T 5VNn|+mZ=F" r6.6ۚ?`I,LVթXS WKiMJ೉8Kn׋UDsy)O?#x %uZl*,slr<+<'0߷Ɓ`ۅs~ ˫m[͟be봿%f=?HNZsZy3C6z⛶ xHAN((_Hag& jَL9WյWo!B=ն>{4ȸ,K#B͋ x3c/]Ի:;%;rn[n`8Q]#C3.zaKU{CR'^J*Pj%Y HhQ~u!/bуt"lg ;& M;F 1{#WyZ|v: 2z.UXDbqkB!'h9t2UC?vwӠ?# $ Uj'Y}&9(J6B&_$'ݡig7,<PѪ}1>X8FxC+u6v NV Rɟ |GbQޫi^Ez/hM% 숞;udܮ5}4*(\@%^U 7FOĴQS:S&Z% yо*H{lwWUx_zZ]L,L fQYp&+p<B ј3|׫Ȃ[YşeddgQT:KeufAGM6WqML5DcORz4u3әvos 4W{FܱTLWK4Mcu,47\_Jgd[P*8 J,G>RwQ~JӔn28_x!Rr u5W7K-j7tbv(+# >g, .K:f2'Mkq'/@C|SrǵEtX+ _ZFֲCRj!8DcYEe{&2lpgF3m/&Wi˸~> R йdq?m*Vn0~ hܼɨx'@yË!#% 剹~|Ů ɓ¤K5]^LS peo2Jf"} Gd)$NKH, S"?2'g@a.>Fgt#) d?̺:$=e8Z(58!Ypт&hNȠz&x1&5@Jo#X l[ݜ@UEaވss± I k+{@GG*:NlP}t?ll5TkEiMI'wIqIa%MI]X4)&l$.H6)o/7zp/w[=ZZwjym/H!% ̓:nAB=c-:z:G>tkb4S$!ldr -LHNV "۴"kWGeӄ.4v-0=-;S}">{u*I9+h8Ӯh dиsZ,ۊQNyFq*. &Fں`d d&0NFnaL gC~$;c`%3S t'+\(>Ft~9j.5S7miHdh&mqra*<aD"2=nQ-jF~zig]^bp.W^ ĭ%c^B<da~9Uc Ґ%sMK19v *V ހ Ǡl.߾ #H\2@Åss. ܍oa " %|M r ˊnf)&wRÕ[Uo͢7Xf\=;$~cK?Z_d>qm # P;X.]ʶ-'T[fQ|rI1:a!") (`G7vXXsŠ ")7p~*{pް|"E#Ey3G^];v*q`cAZ({Fr z}! jg=RkmFȟ[EL DWr jdz 3}ljNer+AJ"pÛze#&f'ܵ2T]Uo _uS a[''.Z2ɣ q#:i?"@bѱgYZ7zXZִF! A]ŗXi%!Uayf++(?aJ *JC(n||hɲMydGt*pDw'Uc$l i8>i,cH!)зLM@籡 `T_{JˑV|Du>KjgˇRgUyP队I^]AB5t2QPǝBsFC8)zxS )$8XQO4sP:Nw_bת;ʕi'm:5BJ'g,TiaB3rgHWx(7 y8*Kaa9ǛBP: {Q_*O"8R. _Ia8^+B-8Z1r;˰u?1Є}Wm(e׭Y @z[F}݂{œ!=#m[~()Ef:֖8p:2Y {pUD<6Z߫Y8cC}ɫ8vMg4!ԍFZפ rYќdt>91F3 X*1vyޒɬ.2X])}y&ʤ.nC#. QV~ҭc\*!ĒsL'M }:io*Ҋ2ZwՇ?c os1GڵR/A]ź^-4=YFDClZc_N2%6?q7P8ւ!Jޣ1cSڥ8(JpNd-OᘆBa'! d<[jPN7Ո:bem]a,^&;M*5{WCtA۷^D$/:%}kBܐ2H& |kEٞfu]CD6*tl yxc*+YAcC)s7I.d*6)i 4SX2O`?ZЙFd"]/ /ѩn: Qb.8)Uo3_Hek0Ii@>M y[ld4D}9#$.ԓ"<"գN92pȶD8sy6*6RV¢'V%gsK]t_p`E7,z.K -gZ2~TͰ2Άy`X8 A$][\ZLx4} H<QIx6U "K+žhxY(Aú/1򴔐0:FԬO0Ʌ%s{!pxW a6n74fX~}Ie uL~B ei kDꊍ Sν=O5 ˮKc w\U.\X !l^!ugZ j Z@IFEr3bX{zI Q¨29?8f7ۓK8M~^/^j gwn?&sF[>=5җFӸ8M[лTzQq e9X5qb S |En-Fz[X fLQN?"~& QNNT ag2vbRTKN|7#Χ.m34B3Lq9ey% /QnrF 9i[Fv nXhۊ]*;OؙϝRBtL͎Ѽ^spiDr50;'<艸fFJ XQ4w_۝mlT񛜎Xأҝm0x3DC J`gYZ1fbea5dc79d687b6b8e4350df0c67d1d893eb77c 1fd7c694abd392eba3793ba7c91060a52c114779 21327da039eba357e5972482988f506454ba3d91 2ab30fa57365bfa0264abbfacef01ca6044ef553 33695b3bbe8671606f05e9832aca4b9a7091892b 4a0620898b1c7c0da3230600755303c2bc60c406 54dd3bb76983335830cb30364476844a36f30e4f 5d1e70063b790feb0b748a784d22cab4ac826697 61ba910c99dfdff26d65c32cff57bb0bde013fba 6a6a7590d3a89e98e3b872d4abe4558dd34b46ef 78344b6cc59546a328f1660e0348e7f858e76735 7b4e710c874227219bca7dbe583a249ab269fb53 7b7a51ed8bc682085ce82898e91ef6bc2c6ed6c7 8947bb6a16ddb41096a68f1a5112c66d461e994b a5999ef18c349d94d86563a71879cf9b1ed6c230 abc8b13eb8ee0c9cf4973546df06639a50e62554 b7e7583800e30dba724f40dc8671ea7a43b38a4b c418e3b6fa3df338908836a4a073b0095a0104f1 ca73e4dd91905482d4ff98c91185255fa39a8847 d12e48b5e3b32d7b130126f50479c455fed3288a d649824c73e59486ee6d34bf48636b97aa9fb512 f73655634df658124d122fe717809c33598ccb97 f7cfeef21be8e69157f9f33048bf8434a32f721cfd26823aea4412c74308567751ae895bf997201a c51b383787a599e178e4e8b340122b3ecdee1700 dc2961254cdff5383e97fe7701cad91d01ec577c 5e44082305b3e1a44d18a9327bc55a4a3ddfaf4e bd0387820c887a5b95904735a0e26b7b975531c4 9a1e199125fd0a92ee6838ebfc0691585c61eb5d 6c4df9481e4ece483d667f21e2bdc773355d468a 6f2cd973c76bc8cabb5253c10a329fa94f496761