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 ss4t ] Circus:threads=2elapsed=56.096cpu=106.548gc=4.124factor=1.907zXZִF! J]ŗXf1-/6vRZyⵞCy*!Jlú,CW+jCeCzA놾f ȨEM!K%"9]2鷖*ATw]x1SLbQz)a(_?-5W6 A}z)z? 9HM-yʏФ{=?[vHn$%e:>ΒG{|Fe`A6xo*`$HgKca}zDPum2,M՛"]?2 胡pIk*`/o2WD<}obi6lQGL]ҕKu%y7Y﫦S]u}B8G z%p W%&7K7>pMMMz9sԑke„$ˢT(.ڌe'lYl:>a@d{A|i74 nWtrZ%VJHaA=(nxdnlԦJ7QW sta@_-LX:B,\E#C!ʑi>KX"H֬>A(vcSb1 )T/"j;94򮘨$ggxjijUVm MLΦ\u)ގ;8pbF*AKn\E ~ԅ+?{9n$vb`|~rx]w-Cn@@0(ct%1&V "H~R͍fޑֺ-c?q% a־syA{vPW6߉a)DgPbgFG*5Úȣ5'6^wYCNht;1LV Л ʼpc !LGm.JVH=lGZC(-yF 㘏lSvkh`Huk'~ix$Ay;}S?  SQ+S[g}: kHgA-`Ձ+H^u!h# eұ82ʥv[b~ʖ-D",MZJ杩\KN'{6< …(bap|Z񔈫i%\%,1ƫH.bӰxKuO3) αgYZ7zXZִF! d2]ŗXiɟ>+yC, 263&k&F_{kUByDz\72sz{|u )'qQ~;ՠP\$1bЎw-F[4Z־2MB/mԝ6"`֡}R.lq1`V}wD d^]6xPq)oTF'd*JdVsQ8ހ-"r!V_g=kv0C6o޿9nwD z! 005L3@^!   Circus  D5[wgYZ7zXZִF! i,]ŗXi%>g8\H )$ȃKr5:3_Y A1$ڞY_qd}#Ϻjܶ>lͩ/T!`aWp.IvZ8E?H5:*c \a3V`#Q۬/kq|+, _bZ&uF˝ X~yʰ EG?PtpA#Aִm  Od5'dJfVXOjV2+ "rr6 ~  _c(a!vIKXT`+n 0EbKKnY(Z]>> <^;hk^7ȱi4,ּ&Y)JTuJZknAێ@0lbp=wpnyG:h`Ϗ:n2Mj(`Cc\0b+յܔiy},뫘{ 0~ю0P&.7@Fa1?k vOO(tdNᚘooG68g?ȖPUj |M3ěaQVDlm){e ](nI#6XR 0;2~]=3F =po=8#$:~|+j[D_Lʬ4Uk-_ͿO5ubkݡVD.tYDrFʭ{$2579-),4.ڎF Dq>'ڌVR } eh>[ r)Ny6 * *ϢjȈ+-pҽ& htPtT_| SgJhszB'lti*L%Cxc" GO|&H%vD\&~}+CSta5M1t|OcL>~B+ ]z<^L#Xl+sgRp!&U<{_#ϙ@SaBw^[iMZXkƚduPYPNNPIJ2D2VDŽDy%TcY},4kªT?;o\l |7ȰXqo ku^s=[R6lw }nm6f?%ȬW>(؄\Sof]AY]EB?LMFRhqr\ '{vI5!dt 6[Fb_-?`Nj|fׁTɔ6ҸR^ l*u( ]lkW@0kanք}# D%٤V4L}!^lT%=E\ε3![\ OGHg0u@yGlV!'DY,uu*)S./6ufĹolW bQg-ATs=y\rաCf4>]$Fc ҍ[ .LVB#`%/ U'G !Ui[ d*c"i|Ta[DeifO`}`3)#stE0Ѽ`^ w3u7ɋ&ƓgYqDϾ~Ib<Y9үɒ\.N òmHګo $ӦD{\M8 mˀw0W0I"g $t|@j>=U"ƁY?yxVV\p/xz4w7E`0Z'ͬIJ2jkӬkl}TّXUv$Wybo b{VbJME(5Xp 9xu-JN3 8 zWņ>E_\?٭JpN8O6fHGvSRS6 W-r{$!@M![ωq;@C 1p5ToW׃O_lgYJ5ߦ3 $w2Yc7Cٲ f[@l+'gMc`:7݀uMnCeƶrË+b3 2Yk܇'h#1ꂺt|ecʩC2&?se@&dhVQ.+^-WAGjt7*a)kIS]p2i8ͥ3?oi#jUggbC pJX k({ty6zn,o{Y\$E)"]J񽀅Uzsu@Y&ݭ]@$4hUS ހiMpcyo]Ҭ7:fe_1pd⥈_|x^uuB1(9VǪN{eGAH#Blz_>gtsg+c9 xseTh)Y52G4r?L~(! 3*na" y,![IJ 2Ԋuf8}!3wH'yؙ#& [<'MaIѺbZ T/~3NqMKPc`ˌc$oI8M鑡K'Bczu2)?8@_ے7) Wa˂GlR.S*:¼"Am7'/Q<9n'>zl",D9u1`ٍ:jKT 4Tַppt`t ܲ:ፂ!= B%QjywyavDCʭϫ:?Cel>Y`!/@Qd wfxKlM\wJjA.m%VZm9%xG]YI:X#XEEZ9ybrK~k S,+pڼ20ͻ4ȺBa~!Q+^X@(ئCVdž-`7H:=S#KI czwIFKiAl8OAՑi$n膈;ev2(㛊/esl