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   TD ]/ Locales:threads=4elapsed=1.395cpu=2.472gc=0.000factor=1.777zXZִF! 7=]ŗXiɟH)0%o|w]ow0)+ơn CЃӗL/hs4R3-hnvCVyख़ܛ/]Q@OP;olu;B]}'£@󼔄&9Ad^}{b7vJ#ڪw);(uAe+qn* ngD]W916&Fqe_y LFp;bJT(wa}uAa⌟sލ|iN;(bmRؙt1;C**^E*Yse@Iơ?C,@bYc~\P%%ދi mW26+jVIN~GFl1Ć.~/s<T0× ّd TD=j=w_nczѲ">8!k.B*>?MNLw .vɤ,[\B;%xq"~0}#A-%UFQ2v/\[bvc`DsB`@1 s`9u;5ӕ8b؏^s6I\Qh&BKH?oQN [3ZγV1\6Ԧ^v1c\@.Z bC)Ŵ!K}8}^eq)kFiNaZ+ Pu-”ۯX+-}"9۲p,H1x+rKqѶ=Ĕ|V"qP!5slumE`|:dyPgHemi(9텎4R QytQSml{6켐-%DvT)yOJ 4}<$yቾF-1%55ۇ0wکcv&b#ArN@*`w#bUSZNoȍk ҅m \.Dy134G{ |a:MD[+V91.NIGhgGYA(c)Ͱs/-7\FYF%8\c< 87H+Y?۾6AȔVH\ @א;wlBKwf'=vruW Tv;J)*K5C\4M48oԳF"- ]k|<e;M)F5_< =@ͻO]3{u>O_ <_.g>g*3R74|4zY8 ԘkhgCn YcPmuԜ$HGKKXu7v*ER v߉uaΡ"!^_Š( #j6TҞf.+$cRTDO>KDu~>MVZ&-b4s1Fh;lI#mIޭzŧ "$6dJa \7 f8JOqB^ǞsYdgK7G7-P>:q4CU+·/ %x&Qg?:8ؐj zĸ#8 iPUa{QmX MW*œ9i!Ү3h <CG<8Xz_jd%(7"Nv9Pͅ9`" xOwO\+?UVP]ĎSE| "\/n.wB'\Os\J0kƞZL3c&E0ᘞƤ&~uu#twfo1 6Q߾F ,*CLgR.5?9)R"߷2>l?c)W2yr1g벼dm4- Hmwd6of%ye!oF JW^ija7/nJ mC ,΋P~.VaPPGa)̭óH'zm#ka{wڕXeq]T?8缜zW p)(&8d ŀ-?'/y,p}-SEhۭnu/6rr L1P-\,_l۔ NQ@z p1 a'*Pf!rGQPd #&9l__N3(WTj4mJ {gV391h`Z4<bڢ[ƌ<2V_>7y>n8 旄$Qs&=H@s9O&Lj[C"^ajgYZ7zXZִF! b]ŗXiɟ }zŎ3Уu AQ_b=v[kQ46 f_&lk0vsXhE1K<HP-l~R;gYZ7zXZִF! ]ŗXi%L!l0)(:3#8QAv5AP-*K/Db4 ݿFP( )uY%kvӔ&kf@M3K=VJ|B&NXfQ获~&kh*2[Sy;P~(F:5f1׈!# qtլ$GtL'rL$tbq@i:u2\]O(Jm6ݟ:u&! ;`e^p4saVT2/o lC8U~vqm>wY<)$+MǤ"@%j "?'; Տzl t[ v%gYZ2edb9f6e4a2550e38a4f6e53e980c15883f56dca8215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61