SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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   Tpi" aʫo%YJ0SYe㒦P7'QcIG(Ȃ򅊵g\ÊF:~݈JB `M7WOmH-W%4JLڵꤌ-Aq$kɌa^c2s[۩ Xs(2OӍF UH;v26(w-„Rq`3(@袑n> 4ELnq쩤u# $I& mnǫIi#n\o;Bj9ӯWLj:΅I!a[( ]5@R'8O}ECR^$I7B>!;K>Կ&ŗmi ͉ AAHhۆRg^gX  ɫ䆰 Gmo:Ișnyl?G&u܀Cq~PNS0ru|Ԙ승[!lTsܘ|rFsS"чau+5HYn^ y!^~9ǜ*E-=Y;[5afEWcnHf"lgq3Ya ^/b=U4;$!v ,a58- lFE>9R*7Q[5k#+uͭ;j7 *dgdaB +E"ePw*IJAY2} )k(Y Zt9lˆ@08ԕs$L˜į6:Dxb"@\ b !G1[*\]:'õ zIUpalM97톼7G6mj+ܞ#|i:L,vVE%.@Id;KIcy١IVTc..Xvvdׅy1r`"7%f\h$`F= 1?Sμۑ[=s_Ibv4*)m"=tTP7A]K\ ͎j )D? JAd=ΒO9v}0cd6D @~[6ZS\rG"$,ZGU5%˷gӂ,)źUo֮92WdA la=:ҫ䖙OkPs%9b^񠣗)yћX]rU`ݧ_4 T8![b׼>v &Āi"6Cg%QbeJ!'6:%Lp|)06Ť~/*aTydLDaI)`?pdTQSꌗww&gJ;{m428R!뼕%hղqs Dm?racbo-[4DG02ŋ>p[OmK]F~ z`36V]q='wF";7TG#ca,v7  pkPۅ|AG_#CN[:/͟ĦԳƗCKb?{|7&kSHY Z hBg~^T<o@Xl@ g\L"0E;Ir|?X\#A"=A'@q }C6'k8Z@zX4kQcQpݚI$SbcG ~KZ=,t͟@*rnνg9mVRu7XrvJU(eqTbɴ" g|$\?{'>鄋濒HMHqP3+:`VU|jC6N1>Gky䋨ҞCL΁7,`,6Ɖ1≲|r>:̍!qij)*;!w.=ҸR?,F5l45P/S#ײK %,d. #-*# 3p%@l-~lΈ$<]驜=p=ER}ًŎޠp)MA۝nJf &ԩÌ f Ckz/f(dħX%~\Jo;8=MҴY_8̮*4B q'5n K bzv-y̐?ٗD~+ܶfI_vr"\aGp3Y80CH2yWZs'P!׮kb2 ^64ЛɘO0F0o"PH @^@k*T>HpbVZ9e—?3thhHYSܑe]RlgXՂl[ &jpW1@۾v@[2Ӻck"Oe{6lE%=IV'-M"6)߻vC,I|v(pe%ؼMOX-\N }(rzYPum/6ܕ}^7qiH|\w ,ܱ Lùnڻt5[Ky :`Hhj`6BJOڑn^}D RT X/חLݏwʢ+PW!~qX_AɃr)|B^w {TJNjʸRC5;M~fImHrv!1bel:"(IoH7fExҭ(SHyt^sӮ!: ވhoPtҖ\Z `l7j8If>I G%2Nq%w7,2­1PpV~+#:={%ͮ쵾G 6: 81H/ρq \q]"\Jٴ0DX4r(9% P0SU#;rp a,D()8u@9зU_1tzWE_0Y55GObוF!btY Fm)v[lzr8[z_L6zЇ OVVej88%߁ϙSIgdqK8 #H#0LND?|bBU9 :MݜfvUT]Gx( ]RUtwНBE߈2_\EDmX3 QcS@pycDwgYZ651a1dd27ec3c175b8afb0c33d9ba0d7d4e207a3ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022c937ba55a27e4ff8ab4e8614aa5251c94828806c