SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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  v v/ D T ]w Game_Based_Crypto:threads=2elapsed=40.401cpu=78.820gc=2.936factor=1.957zXZִF! (-]ŗXf1-/6vRZV4hQ7Zbl=A8 \i;BHP8Q+\Xゥ{%V2,HTM=Sn=pD̠RŷW^ss^?ļj n:b!oZZdrPq|l?&O'?]ɺD/!^U\~G=weRS%˛UHrGx1kLBwojٔmԹ{5~ BKf2KybMWM}`PKm}KX F @cL/6m*8TJD;PI(D1"Ua[[dYT՚ H;+yoT[!Єgz{Ԙb|U􎕹%eJ_ &]:cL 9a~m7C.J"}nDh TA6~J0I;2nԗ/DOPxFmS.ޭ»h\>cޥٿgƦ%)2"!(`"oQF}qyZq FRդʺbΝ]/to '~YXUeA{;ɽ?O`:auδe7OSۂڽHuKHU'3jJ3T6 t/QfX>K,T^# oQGÏ)sTqrR@!ͪ]Ȑ,d r#q,q7":MOP\]*xgYZ7zXZִF! ]ŗXiɟ<\od7f 5CoќxuE1s HwxM_q.e^9vΫՃ^NqݙQ-훔 (uF"t; p\l >|:!Ҿ晇ކ˂Z q:90֌?KFjo¯AN&oD,S'~fl0ќTSR\PDk2/IL9P v)^~a#2@GxR}3}YSK|Iv#9n4M,.q\U pS6ڍO:5  ! :; ޅAv#v:@$oM#^ffw8{1C<Q&0Su>6yىV@>czW]@! <gYZ7zXZִF! Y d]ŗXi%>g̾tU<^q[}Lk6tvլ9d< |zt1q&XXLtտX{e0qCX./&g+28K6bfGFl~&d 'ih([6Txm2ؙ 66q.x{`\4NU68x'i'POHKw24DMρx}g>b R zj=5>>$zr] \mnI2Q Bŝ}H |x z+7hF,#tv~e Zi$Jǥ]͸. kݛb%"c@Z]Õ~ r 0{{E}_3=ٚSz27heg(6lUc\*ݳ2"Vݩ8-mńfABmZIDa'еO]i,2ϰ@%\Tۏ c{wy8A5-݅M~8VJ]yå1H_.T&Az~Cv̂MM8lرrm)绽\~l֦o%؟0s#W:;9'+'7/KF=j'j[Fa!yxw^F ڟP%E:),rw .KN(k]_\fEpF\[;l_=(jO1pSGUlOK;@&3a"D]/Z@ SPQϊA ; K94 = <+bXMEEqYv1.6.LI%vd C }V1WI}RiUSQxgrj,yKgT 6 (__Đ6ς9c(i묓F_b'҄j9'?fZ _re˕HT'݅]j{ׇ_<isyB*?Ty%.Aѿ(x ZO6ԗBBٙrb4NQ el険 GIwc cwVCF=U+["IPÜ ;E}K B,c X˝z d_:AlؒdrFD-r%ِk9݋I]ߨtzg=(MƮ H6.nkKg=+#T2]1 1XWव &^8s%HEh߉ʽp{ltx'L}{3Wod|z>4[xLDmx-#wTC/vy'K&}uj'wmCfޠ`449ns 醄B鳰S$u/#R| ;ԪvaWX \'v)|; VGfMAvkjVك+ Q~)́"x߫MLrn@sf/3eFq݈Mq -5Tw \$x"svʽ$ ^'2J(} y7n٦)HkL"$mdN t ́7%&cXzCC܅t="Kt!_ۂJD6XqU`3P9-*q9`Iq<ʪQ;%Du.G8"^#fhSE4f r&3g~Z [j;%/]9 s8Hf z6lm/|z;/+ud!ڌ]a[v>[9G=ܠLYmK~y&c٭B830x: `a8A YdٷaW9?HI c3y޻~Ml&TF@ިІ:ǒ