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 T$ ]]Deriving:threads=2elapsed=58.244cpu=102.044gc=9.812factor=1.757zXZִF! 7:]ŗXf1-/6vRZ*_vs(}L)WhuQeAO>YAo=?r ¦նq+!}Yi2e) 7==X6@ Fˎ6-pqZ9P1 hg¬i?M%vw*xd2!UغpQ >#Bo^:1ʥ`N`D8Rq5USs4aCe21IbTa]HLw %X˩Ʈe!}3K4M { Z9k|}Qo=,f*Og~/P6EXGDtVaHb*:D{pw@8)cgF8苞 hߓ-@XMI$S@i\h^mToe/9$4j&P%Q9!{1L^7d1W !!BKǺSG[lNoVV oJݮ ԶwQL8< OaE1KJOj0^H$Bx}?bi""گ[V?-J"9q y!BfSsú}|"ͭt~,0'ٵ 5W6FY@ctfk.%_K)ԩ갃BRiu#X'. F%.IИ$v8>7aOK*;/MPcWL9F%`ْ ?lS%4X=0EP]%看mqzzo7) uv_z,Kt &v#?A o`gYZ7zXZִF! a]ŗXiɟ|E\Ât+.*aphG)%uGxL,)Q3xviq([[+tLcWe7a/tdl~tiGoԚW H_ Tuq)a' Uo#!@"[Ifr} WU%L4Z:Ocgx寔ȹ]Raj2"SwlK_(\\q!MSv#9DV}pw> xc '̌Xwܴxߪl13o!A0,yu ~Co>^>LfPw{gB^ur%IG80Y wD7;wh'\{$щ\q±kk,πlߏW[[j -34K*3a8C!aes*–0aC +g43޸S˜D]Ä[;4D6ʈn vOI{>   Deriving  Np-" QjdkXk4N7iZ v.)Q5`%O.|)}?k #$!JjgYZ7zXZִF! P]ŗXi%;DKPS҄ebd4˙+y۬-;X^:͚]5.̓8wM,r"\k }*>l=E E`"ӽQ~@t'7ۃAMH%C? 1I $J:f#]ɐd|#EqJ;} ߣ b]_( lGwq IQ[36'*_92 2oS;nTTSu?prwl]}O)2EA331iƐWQTK& a/㫽8qcv'¦/3wrz59C1vs|?%h v1b/(\l<_ `K 2|.8oS@dڢՋ(\mZwI=G[6}Ɔ)9(1DFF E.C8gDHNd²BIi :7xk"(e:b 80Q=ZeOFoưF@ Z=тzy*!&r>Wn1p1J:ѣ'%#DCw9֘Ξh[B'8uĆX85 WkxzPeuUX6 {G7tb=Kx6s٢]X02{wq;FLD~1# l W˞^*6\r%' _} 64W?2w_Bl(7Vŵߌ NipvoɊpJ}׍|܅5Mh|QqN.k.8!SYr л¿͔Ը*+O_ "SLJ|? BCrR.+:nOKP+.p\aa7mzJ3hm(1h$8-T305W !*3Ds|ێ:\ƪ (&z wIWGKIgbf9T ڞԽW#r o8'pa>*tbs]'y/61Bu;6~ymj?i?1N\No,̃tߎ☇lV[Km2 '=+oF𵓳kc VsE>P*k{i;;xGR'B F.>n?@KyFn~{F'*YTDR-3Kf1a z.`0WcwHW(34jUpWsz)#u9e:xTnJfvJMЉ흉@u%7]ΖmI~GKK[hgmvCIPo?MdF-'k? Y3-> ^Wܠ)yzN |jZ+/D$%6y@ɩ{@5$>@zV;j-q>jo UqD!de>xZ]K}Am۩؁hA,_|8N!{ ];81 1!ۥwΚL{RKÂ,L[Iq߰F([4]JB &JOޞXI ~ o^ԅFB̏rSv,U Y-65PH-:kaCQII&خ \|Ѩ=bgYZf1948d00bad6d11bb664fd00d580680545d230f5d14ac4c995dae0e54cbb829ef0bf6514a439aa95 a39a93e97d06226422815bc6b1afb8f60b4561ad e816bd9a9dbad40b32295b442d799a64f41259f23dd494b6cfeb901d66a888352353a2289fbc01eb