SQLite format 3@ . BBh77otableisabelle_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 3/ l|$ ]w Game_Based_Crypto:threads=2elapsed=34.765cpu=66.992gc=2.228factor=1.937zXZִF! '0]ŗXf1-/6vRZV4hQ7Zb`M׉U ,iۯeBO7;tFekr@v+'QpʦG9} +Kk0yh\nJL + Ճ>0UMS (dfU-/S ѹJV/K˘Tav~q+eU5Nj1 W'{Ѫj`KP}.9~y-5`\AdbHQc>*ߒHpE螷 Ch- YyW?8LÀђTrD%g]S5-Ol AxeY "~^"N)/x'j^)q1IT2Ж|J:{3(KFPDJpu[.x8c>r%k="D{̽ĔR(Ӓ"JEF1ww;C_N{ÔKb7YQV7cvq+mx3P{ҌÛ7^& {3ۂ>'jCopbpSDFVKz WVusG ;XkZɜ72.T(B{V Oa4A@j/kiAwov MF%;+Ӝ;d./+ȏG-|mu<}Pys[^ihqkh;, |n[k?`F{#&~j@t=aԨW)!J䎁vm!9g29BUǹԫO%iرgYZ7zXZִF! ]ŗXiɟ<\od7f 5CoќxuEe[*5Q7CMػZFEw=Ò`ޞ?&U -ElƔ twMKIiq\ Uw[”pG=p$,ڂvE)7 hE4@PN}mhA%ѲԶ[8=~ õ c*&] 5 6de&"e]^^9F4 ` Ю K&ތl69Z,О}-Z+F,;صnaKpgƭ'6"ͫ9_bw &FwP6_ |#tG'/&۟>CSU'OžP)У^>! j ,EHqBuѶn\@#PU3?b:9y#S6 -74 gYZ7zXZִF! w]ŗXi%A|ЂpE !H5 t$D*y{ȰNZj[[K~el%EG(JJus.QZΞxεGH'R,6)08Ebςl+ WRR$>,,(P^/ EM;4n"\ +鿎Vz0c2< 8uw @>Jm)^">TWd.FEoc|[1# ;{/)Plg6#S|cU-VӽTRWb[r<-:2m] WX`Zö ;|eondN0l&v@)C0n/Yh^Jyp4GIF5d8 w֎eioL1EFML✢%n.SLzS p\ Yy?x%>}9&Þ5)+ M~("jCڽE"WrO"LYzUm!>a s];PK9`vz >7~-H6B=rE Q7Er,.>?(k{3H:vrLscƜK!=؄:D&E5> Ώk!<*p`/v'4!V2U'ˮKFIZ?ɐZCnEh9Q,߂VJJ}16^NCGc5.$+e m2<Ő)a󥻵. |Zh' qnޘcjFA`_6 $@BQ\ GUǝ4궕OUh ۂOK.. 6\DQ=K_E$obx .}Ƈ;6!Aݥ+>G K] qR|dJ.gn3:u{5 D.ѪC(m\G~܀{ hfe1q.HvC +aհ{,q:֛E{Z8}k(SKhUG 7!a%' Z\Jo1 $c¾ h9~aU7߅+,q}WN5 cS#P'kRW\i2O^⏳TVaoJ͌1Xne\>dCIv8.JIX,A.M*o86 }Cy.K@ !u2w;Y @q7b@H7hHqX$ryПMa_N72 lJ3nJ{pl)At]8Ҏ(f:(Za63'[/fu4EV)}JW>r|=V,!T<$%R@*