SQLite format 3@ .;  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 7 L < ]/ Coinductive_Languages:threads=4elapsed=13.019cpu=44.172gc=1.332factor=3.397zXZִF! :]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVJ44U2v)Z{:rI2qBJadnK%2\_D1($ @$bU5x4S7l6\xped$>inХZ8"'j︳hn! eDM K6o)a:04B8ڌǭRHo_FJJU4Y][UZ""2x"`$6swd`l . Gp&2{`BVĜr#nDF-O,Z+S]-Et[$ۣ93@r2zygYZ7zXZִF! ]ŗXiɟ1˦r~KunύNN{J VI|dR P|,pW`ldJO{/J:>מrXI*%ggYZ7zXZִF! \G]ŗXi%L 01+|*4Bχq7^jRlV0i* 4w?#Ph(>%KVS  N#c;XF6Wy:Lk>j`qj?= s8 Pdn$V\~M3wAZxp"h+t4)D2Q_ f_6 =PYO`=V^p$NDL9#4M dA+\+.5 4#R~^$f݇eZU&g9-Ǖ-S44 3F7;' -cnWg~6l#ʼn!ɴDJϞV?80d]~ϸ !F< |KXx0AYEb1 &mrf&"`(+de@="R}A>IAo#P/kר݇t?;;g6eS19XLG6UC\0PI6U'\A~G]ca"Ӑ!t3}{ϼ#v q'+2:H(b+7qWRM?s{Ef]`_aoDf$U/J®}^/7i,h{XOLȣM$O`9\ ]TgH_HpI.N.ˇ䭙0d=T0^VhP oY/&~Cʊقbwš{_2ɼn_49MQ57#Q`qrb67SGE[{7i ƞ%}^/xmϕwyZqК̭8dS2C4GЍO%CM\$>W!5u \e~#Խ+ ]ӂ߫cfٹFa}UN>d#Ӂy wbbTK qnuwy.$(ϱ$M۩ƽ2z[IM&^ z!)b5$X/sB=X^uV"._}?_X&]칙~X&?DPn ldJ2B2AFEG;4~$%4լ/x 2mm8Xk cm$fIW_W}:"\߷<$ )ߢ+Dy)RQ!>3ɢyz E˕G!w[;Oq1ߏ#mx7ג/⓺A㮛0U_@wLOS{yjT}m44^|Vu?Rˇ>xdhiQK]lz^ƵH# ]x # /:MQ9u>|F5^N,|R 3.ZdKB[Kָ},