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  #5SﻂF`\nʪ8i1\%vU3li?{t%TmτdehxO7@5ʉ Q1Rm[6i@(~u&/ TdPB*)zM ^1U{h#<$SuH^vսEi.;MN*Ь(PkN{3h[:)QTnGPym$gr#rF$ ^XFjb&wSPY<_¶$312P7"flo7«Qp$k%[ZJ58 #˹BR]i1oKZ K#4 ǝ?M z[=,u_l*Ծe80nU| (,&#!UY\xqt2VLO!TUFGoQ;~N^ aqI|$:)hmWFgCIJ(5?eK,U9ux!HzlEHrgC?3T"6O:ե|Kk5:ۂ+G<"!Pgnim:˜}Hi" z=$hyϰ;}@^\z ce-^D能K7ryZߜq!tJ ߸?K˒xe Q48O+ޠqNz)3j;?\,n^}ҲϳIwC2\e 6$1T􁣊 ^m7;HʅfcN5ߎSCb. @!k9Cm k]6c>6ޙL$yL;W$Od5%q5Y@c hF-,2 ͣiL˫zâ0m'I,lA_acr >y~Ѻ pV\BTHbti<Áˤ.ϷT޶1݀ / r&:khHhȝKo W?c݇K¿>OBIY1W. 9m4`)49S#lvZ49aalOjzQ%?yo2.b R6J=ex5bǩZ;m`pE%_EC5ûKG0!XzCГ:Kܐ4!ltk*` jdQ 0o/z3g8Z A_ikI]îꭝ B`. /#$צ?w]q!p_g񾵣Ĕ:@:BV̄@?f tXC5o#6ЁKZEܒf}U]]k ,t'X܋A5>ѓZ3tm{LvU-#DYz? :'JeM຿oQPM*lU;PDGoȝ:ϻ_Y/iQI_a9ra S&5ꘜDe<F۫FtH%mTgk1{GTN9e}|PњLGOZMQ$܇tR} v"38f*? /ߔ#!gŔ"| JPaЌxJ bh`7vefo'xٵ(Ҥ[z5 {%졵G䃿OrU1z}GJҶT6vNYRɀ>2 \3kqdgiV GbaX-jaw0C>f/m 6/5NOKfMqȘ!43MzHUdD0&[;׼7Z%XOE2aܙ ",GR4z J?+X[JYY0u=wsxP(T4ri xc N`X ^Gvuu, st7p~9 ϸN%+` FPzY>X/UzI1_s@[v=iΒ|,o6s6\)J`W(R(3)@4hW˭ٱ򺧆v^Āi~,h%QMU;"j?>tm )Qbg `w\^@,p]ؠ}Jh<÷TcKm Y+70ܩ#?q8^Oڛz>@ rGwe-EX1<{ۀ`nRÈsxE댿8AKUس?p 'pϱgYZ7zXZִF! Ip]ŗXiɟlAC?H 7[ zwWG&k55ڱ(e[:P M%x!4R0A XI)p ()gGG@jՇƧ_|lSޤӀ F[V ,'{_KUaʈe WTWMR]V;5Jx ?MeձRX _A?ۼ8BQ2LwgmPw,q m<^a >-{wli}ąw{8F?hmpE4 ]_o=! sz,Sr/Wy[la*N69̴}x#Uƣՙ+R*#gt$݈4bzJtpWREz@a AzlF*0*̃(` *kbf_m>t$7&%WOs# '?+/nTnUڽJ'zM$][+91_JʐȢM[5{19*ZZjd}s>f.L%agg=I2uuBNk ݓ6{C#qGZbLv nx9bDm3-lnά Glv?{ J9vd*$.NmꕥBa` $QgYZ7zXZִF! g]ŗXi%>tyd * 2g-/}@)%j`_p7B;-F\1oӄ;L>})bY|mWKŤ땧vuv)89BvW+޷V!RDUG P>X(QgbV6|F Q@*lGs{3Ω7vV}uoH|Pg)"d9FuDGw3=6rl*Hyvҍ^ZBD:& E}K+\Эޒz>,L%g'7¢sbiܲΫ1İGL7Qy4Wf@ȁS0U++(mswP עw&vOXmE\jtۣW%+e@9^2@Vrq&cQg9=Ar%&!?dsTK޿/Y $*:i01?B9.3C> ~dyI Mf&AneEe5t͗R1ZkOY,8Fv)SJ]koc2FX08J: 2|C(5#JK&&@X>SyWn3u?4"nů<{i}Yu?V֭ظn + O&K5j7J1Ȯ>B@.֞2D4,\#̕n>mt&WD˭<=ЫJmeu7KA$3k݊%"fY8Vw⃔B{-Ga) W\%ƵGaC$tM; IC|l!' ՎLS\6qlgڥ$7+|I0Sܲ _ cB,kęK'zؽ0^L耴؏{q!Dgܫ,{p{^o~C|Qy%i+#Qo Q8|dh4NE(Qo,;m-j>xLGQ U0\3[>2i/Ԥ^W@W]Fj N, ȧЌ.hޛޯ:}_)啠L(="RezCp<t/'<#(zX)ਫ[ H(/kjPWmqM>}yHt}UM橳([aw!a*b|Ž#b 繳ZUtU/OiAv%O{]}BLjv3 y\YuݲLgTZ^O^.J:e;QDޑjTWA*^ad&~.pCOٺ?!mƔRݰ!`DD͂##7@$bP\)n.Sr{lecLʡǁ0(#G/b(KY," t TqAdr-g4}b\5zf$N U{qtd8lFUh`8^J"we %vmp:N6Q7YU|! \= ,\8t货;A_ >=RxP?A_ݙ#d`&KqD2 E?U$슠suteƠEUf _f4=~8@ K/ك|D_S AvJ,z$ݘqNz̾,,";<7qtv勼\G#-*,vQd?)≨NgFKY6N'7y5IbNO !Z1KpX=egk8xsc5R}<^p|.xLe;r*00TSƤ#ٛW\\E,{9#g]dVύzo /_GEėje9zd^1 hWuq-/*4-0l\?^S᧻xbɨUkEG9g^7^?5Uw~OqA\8TY :W j" JWErP1q镑T|a04$jv^_/s!Z lDCrݞ5aE2 dloV"8H>:uత߹v>W8]+r551B[ s`^HTAKcM䔻џU*jr47]je=ʘ W+ߨr^g:pf'AF@mṰc 6sɘ8rC1h:xפHWQɂ6Q\keQ.ڧA]{r1:xq,m_MQl!v1a_Zw4w/5rV7JH)c }e1xiykO -x$#)(&zYcvب};Y:sq7~6D(r픰o|9&G1Z5'8dzU 6i>Y>j?{b++Ӧzb]/Xt1: ,k{i,H;vWb]Dt!F8σ$L=LV{ Sj/6M% cnL?OvUkϬ 'RZdtڴ:ipe !%ʣ(ˊ @7<.e9HfpM뛊dkr?nLJx#`T׺${9%J+VLg?T\aXǨlߏːp-fi.=yje3FءBy#8FƥlzH'yOюHXv_(-&Sm9 Anap<%W? 1& `}Q~$q`(s$:I)xB- v!c+S26$VQ(}֘+Q~B^,,< A5pXa "y|C%);cj8Y\L!,$$d6xe͛64Qr0 .-ݚI] wΡIxvByʸTm{ynyw>-*- 3GΘ`aRshokG)hanaD3){x>.pf7:<=\vlO":02Ȃbzaz6P%]\uӢrEw~5&["YjC9i4yW8`V/ǭAI}"8>RJ|a'&}'kY)S"nvC'$$r+fMOvM2I@]dTq