SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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]Game_Based_Crypto:threads=4elapsed=30.209cpu=110.540gc=2.952factor=3.667zXZִF! 8]ŗXf[&BR cX=ρwlʚ/6Bb(t%nݩG;4=v'#A}Ï%^ w ľϟ'Pk.gDI4JKQ;ݹ&*ZD”3zѺZ2A |n=-#n;sC% (frNϽ\Zڂ#X )^d>P;,0-<K)V2p )fW0/ y4Ηt[XlZooukuW4F5ѐ{ 9ODu`qrR웍@yW8&lqR*z-q Evƃ׋WHxə5=EJOۍ74TKF= JR;yo;p .=$!3\?eM?Alս^C)?ys<4{m.^#1AݏS `M g =ƬAu$2CM:K^) Mu1{Yn/<zE `3[M9 1QTrT1vo\Fgs-cXn=7CQX壯nf29<WF|W.MR!FY89kC딽肣t᎟$ 0Fï\c͞c#Bd92+kDi:|ɟtSM.E ٪ErAzVY *t0m@ SusChYAT 3[- -sGeK  rFSJeTMȔ^m-/e$m?*6&7,,mMa&o@hNƅ}e2mٕS=LsStn<9l{LNi|>"0aGlTCH>Fw2{3r0ohy ,Q蹪Z"=ʡ ~Zu'A!sR}IRhܤj%4>) 28  ӑ vY?ۘ*f҉XbzCޓKR={a/ci;_[T>MBQ`pU=52Ԇ`o$Z6x{YtHd_0 kOЉFLy'U<y*؂ X+p=pI<bRjf$gYZ7zXZִF! Ҽ ]ŗXi%Eb⬛o(؅QjՓz!^I%TŠǯ:s!A!^o`5䝸bBƥ~4pBH!4l/ɵRCHJۜHqL†sV/ZxmEK~!✔ 9U7 @V(IOΦ `"硋P67T #9Gm؋sT)E-~n',"i"If K˴m@E 2d륫1╳5:+U<~L KŒYT#T&ӥ$SYohkfXpkL5lG,(H<.$f%,>egK8355ڗ] >,fGg,"ݑ@v" XJ)! 'ſw^Å%[ވNAܾS(r_偮3]8g,S.r;ZRq1@ManAH/ Oe`Q2]QԿSl3Pwmݪi(04wNti3Ob#w?Yf>/DՒ"J9-@ , 3|y;UOyLحQ]tod[qvV _xs^4{6f{_/ҲhZ7hE(xz2Q5Qod^pó]罬W't8m!(+"dønw2Bf,'ռ9 ÂJW 76*ZY:#ڱ{>Cn}}Y=->ky.`q \!B݃--l #0Ox k)X_˕a_#I 5X5i&tM 쩵M(M=җdf LUk/K=#܉v9!.5!G Neͦ88O݁Aޗ9nQsb DLERPcr0`JSjFV=[_;S)`̅xͺl9dHO$vK- 3| jZcXLزION[~ǬHd@V ACGi4GR7Uܛo]27SMM1uxh:W Vς5q(Co,,b9cA+wa-Vpʧ1+ž7h@XC{xJ-hb0trH(Ato֚PtB"G#֯ ,LVR͋RۇGO[Θ#W.#_"c1dcc3#[QK@{ƾU?nyn9Qm(iP7I8CW[6cQ_u~4mmfq7ySwWn{lN{#U)Bdwksa>lfYN4H;wg1 tΉ.,&uP'*cùY5 @{3N6 O/BH'wCw`!jjGxЪ9Py&kLK8 ԣ7QJf@Y@+.ލyMc#ikYz_u;zegXZ.ף3('˗NVVU5I%fnu_ 5QO 7^8M퍹D%hǤmleX;:+~Ln!4\:߃dKk(sBPN(2 us2#p.`Y,nY{&6}eV DV#BYálgɢ 3dk%Vt2lL z9XZeka/9a0yňgbNV-O#m1G=AfKR`=6VAuOgD/E n 7 :AR3@(Sٺڎ٠U_-v r `EqKP`N,ۊRxj_1L>-'ev Q㵉z&3A