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 ##Rd ]S Real_Impl:threads=2elapsed=93.135cpu=137.192gc=4.548factor=1.477zXZִF! *]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jk/EMn9E=ɝd*5s0{ISuoCv}_M7T5#γ+ݱ^LHz[@gI*9 ,xy A-hߢ9s;pBС%,> 8naLG\_f 07E!$n!&f #Fx)s?tgTNS9e'" }>*7 JM='N feyͷw,xxVz,Յ Bjׯe_491A6a$FέqYݮ*p0tج2o["9~}rV{):Ɯ{@6Y}g,m8^P(N }f\EB^ F7HO( \S^ xzR؊-I|Ss N`P8 6>pr,+ :i#,Pe;=@"#됕J %?M}Н' NE$`& owx,tqעHgiFv)Sn Ҷ׺I'[hK'"? 05L1():^L 6O$- 5pRt5^s(:Xq*1q\IF8 3>1bŕJj l" kTɌ{&SFf'mt4C|Q}^c~eq,Pe.N>JzXߦ5Fzw ?w.$ZF>'g3JcA(R.'b5a9zEdGBFTxG[qQgͬ6;4Y:ACŘe??Y^HbĔľN82hMUC 7֯v,;mfYMs@b1Hk T!З% UtgYZ7zXZִF! A|]ŗXiɟ|E\Ât+.*aphG)%uG& M=ddIQy% f`(e,Nz J֝|<^7|ط!:O;=Չ屿ũ8"I<~=Z֩~O톉]=;S D6ܻ@,}IOkƆ nڟKT.vGy@ ,=˨ ڙטsMgYZ7zXZִF! &]ŗXi%;gc;00eO6hR-US)c¾Xlct]SyzVɪBrlteJ9eXDdPomg$]5$~_뙖L>쎍O$&#:=mi9gfL d2_Q+|1]i9aH奏냀ekcy-k,Y8!k@vpv$ZH:倈D./B_@)AmxmH?ؕtK:lDeS ' $:ZOc( 9pJc&p]uhpwB!m4@v1'rN#OV-rv# sNB̓/ ,£Q\쭺7JjAbW,6-Wc2v!b9UM|`xuGYnttrR|)(_aX?l y6 OܕʹB-\ c <v*ULn0]K)]?tU GURtǷy+#ˮІ@a+f-]jod*NF 8kkz]iYYl^lӇ ^GȄ d7rKū{{t%Žrw\, }nm꘨?ڻM"OGr #V 絷k<:ԋѴD_` mlᔴļ57L4BkH'נAA+DQNE   Real_Impl  䲳nvbWˌ,Bdb>ȫқO_Op\N|;$=7i7$1!IHP#4G" :Lݮɦ<ֽKD;<#FnwPqi;vB\ 1NǶ֌U+]K0{DXUq9PFTC(Ȓot}'\ŜtfԲ4݁3)s7U._qD1. @wb~N!G˽do-YQJ9H̚bٱU7YU62w[TۘYՖo4=.ƠtbU2ID!\5zL$h؉iAwLx(<5d,`PX8< Kb6)m5Fҋ3NBBZ.>֜৚7'~چe=Bi.7od'^ @8e4)t$49kL e[lZߦ}[GT}XwXw% oQgV@e_wK]"Z,X ?(>[6qwrN៧ܴ|[Uܩ"tF}OÀU#C)X!H]N>"iʸOUP| `d>dԓBw~sRH\nuk4^Zv74&R:ITo#˪M&; (Oo - ixdڮҭTTܚxizȂ,c8>x3FfcO>I0?Z *5Ġz9wHPd ֲJ'ё3p= SQX^hCy%}_.ZuD3<3 w&y͖ 0! EܫeLɎ@G{jfJߥ&(ϝ@bC) }rxg nϬR9 nY~g]!)+܈WW% Z8ؘI@Zk^c~p8џNAޞ;D˻xۙxCʀhXݫ; 2S 3Huvԙ TN)|l@T*>%9m-)HB9,y`1nY|g > mLy8/|ؾh93Fߴ#q|@Tϛlj$auj%U5kɹuwURDohbe5@WyqwdC iy* )N-:I䠎m롞ki8c׊A(=!5>3sjϲK-|% ^hHgkz,Ina5㰽`n7zLRK,b J:¦%UNȰ^ߠ%TqJ#r^?bN5YS^ †ʄMpAy?~=h"T;#p}pOFXuU&e-^%d$ So[aRx,G,C${I{h%.ތں`p.re06<]wf`믡񻝉9ZJNy>;a 5/H:[ AYr?J))۴|.mlXBQ»wՁ % l. -RGE\ /r Z_ GD =8{uq烪̺_q/bۉJ] $ʺ&40ڇ"3Cz|C>ZVNUA&ko&(mSjk;{s1nk&Yu3B\ lUIY ,!HAB?/4}d3cJL(Fِ:w;f=:7g`~: ߮oJ̕*(EE.:T3h[wY/4 Ch"OSVS8@Vyܝ{Ezz◖r"gKxԫFZۦNB@xDsґnC{9&7&Fl՝B&KwJSw^mmexa-~ͅL C^I=+$:eѮW_PZyɍy^J;wykShFeIyJ9G6I|܂FA;R'LTt!r\prs׍b|IՁT}4 lUKˆ[PSPU E3>?y4:Zcą e:{F,%;(K{: ia’~tgciz$QDy6^@'rSN\wq5ҳ}&N8U/-ɉz3aLVFjeloI] ua>C\`b0˓{"23H{º&z.JKq6Ա|TTg 3qbP4_̶`XV]'au!*DxE65L`<lry ε,zИmWgv/n#&!s(Cl2^ˁ\WsJ5X5>iU( 7O0~jOF^4IC $扎8o!w@rrln*_8]]W:>oгB3(D;Bm"c1hnlk1Tv$2.G'(B[