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 3 D, ]S]Applicative_Lifting:threads=2elapsed=34.218cpu=57.520gc=3.940factor=1.687zXZִF! ]ŗXf1-/6vRZ]^IuL` l^ϚW hxk$_I^H1c{A^m[s0Q0jH{&gѐ9ϿQ~G>nmz/;8%jR^GPd\ǕY`)ll߆l>Qb w7,p9 ӹ&n[6Ê|k ZXd,NMo.>Ҿ=謾wysyr!礋pg%9J՜Ɏuޛn 'o azR>1̈x ۳WAX S5鯻[ |ΝF_ _QI]i6.щɰmX^8-vC*۔Σ z;Y11S sW}[nYŞ,3o(6Ws6[z&/摺GkI4u%( Rg/FQw2MiI ]\Ol[g6&b(Z+ AoqkIih>HW= q"Isnհ--L7/ @J34Gڤؒ|Q$לN,Ox?ċoǝCs'vm晼Zv(j]2ЪI\Od@}7m,0\v rł{}CӢ$8J]QSķR,,qtf _9a: :):Dt (nY/~`n!¯˫҆'o3l>לQۅiLbo|d(r@%Sg/e+gYZ7zXZִF! ప]ŗXi%>gMlɺt5>ϡBGBtKg1.zVP#&݅?ܝu!߂({+` T==  5n`IGLi:]̰-}-,۶УV# .Ғl29[7~tEQs\IYW ـYZɞ9j KB}DJ[ʃa@DDsb+T W. d؍xS"}&]Md]>;"֖HIb'4"`)t =,t}$LRKLxl |!H/MuPtE@[P*˷6荡uR2{"pwh?ڲ6Tے*6#:eQ`L~y"( b:" 4țϼf_igxJ$35,-^n؃ufF8=W\lfxT"{@F'-o^+}|웦{_CfSREtÆG%V έBQ_\ng0ȓ8w1{B RTs'̣Y'iO[b~?Pw_-3g>5W_iL%pJϵNMZMpYq_ZJZr?uЍL<ȹ\D$j]hG7eФcE9n`?k X-ʙΜ'K8!SXi`VNWGڱ fx%SY@fXFHi.=r[׳ʯP &ª9a7TpQK?U|(M ! "/r0Xt!kP_,RdN{,5%/64hմ/y9n!ŬGP<fDgۀ'5=":l֣녙#RޯILQDf%PDB7vބ({3L^fSdy⪟x-5P*I,plq+\{xkȸJ u;!EY UVH'b[VPk ɴNeV6CI>w \5 wfϜQD Ōxj1v<+0TTF9>*#Ȍ1ܝK>3sZIUr8J׉痶M=WYa4ݑȯ%M'G4'ALk-xѶ>e*R yӈ's "EG,l=0cgլqJQ}0Vnv]9t@9ķkDmHv,O+Z@A H|k/=F?z~QY}ωqWɛ.(?{(r n9uphoy^]2UO@<토,;>nȿ Uoi┝\ g0+:"`kwkA!jRiDYv|H՝zbƦ-6m ?$l 9:K/Ft9Q)xNmۥؓw-Y=%viȒh9;T c7N`gbuܢXsmuQz2%8~h G@qge`y2 FbxM<6oG\ 辌c}e +#g,H'?f!"A37g޹? R>L)xF=rJ́n6*_0۸5hh1lT(G F6)<8VCA,F>(9P,mN_ TD%2aBL˫ڝf3o+'!T 4Mybɝ$Mڐ)u:;#y~XҴt< <23[8z1&|'ss0٤Xtjx8i1q$|g.ԧJ"K/N]D"+3[Qt }pw@U/ G[+~0\} wFVwT ؆x3{`ƈeagYZ60e6baa6d3269e9eed054d93b5814db1be9b493a665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7 2369b8ce4e84580554195548d17ce55ba9cff784 6287b454d7db781d7a850744573e8a503c49bc9d7e171eb15f2950808cbec4c501c0b3ae66e68aa9