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 h d<\ ] IMAP-CRDT:threads=4elapsed=17.694cpu=47.376gc=2.076factor=2.687zXZִF! *]ŗXf[&5s^K9 aiinonܶ9CLF9/VOrieZb^9vќJң џf:Rp`0I8ߊzzY`_GZdxk!oaLϮ3Bowj{hݱ~*d?6MQH.JAX:X\UMtj$mΧ],8R`غmvW*\3*+aUntmiQ[Zp V&)oE_pjHDna~p X9>^+b2|EqWɿ46P5㴜\:y3?+lv)>\zwb9SS.WG d,o22}Bޅ2>PRxޡE~_:}XFܤtTCVR_(X>m/,y2ESe*ßD R\mS䱡i^ >܃v!vFAKT:Fנrr'CB3w]ȭyPPآVr:qToXν3ŎKh$4sd'#K`hW5vFD ":ު$y \sJ#,!ZtU"1~R -C<.$ U&gYZ7zXZִF! ]ŗXiɟ|OTg[㘇(i/FSgqkҸ W[ 8Fep #e U\0O!|s]\F^^1`WH/^|>*W<r?=0PI&^pE{N!́:B4܊(֯,2dM}Sw"Pv#[e?mOFNeW JEvD-} 1YÁ*9b !b&o-EGȳe~2Ni7Gr66Vd@ݖ} {aXi%vnZ0 Mp*ؚVэJ1-rasz}LzҍH3.XLU98z He>xu-ƹj% []M<NEpQsw~c +Owae nBܽ0gj&uaDv^~ ʛق7TbCZmp+i߈8]`Ua7gDM<3X7\EUށFH D>MWiYqY)^^[qGC3a2, x+gNMR{B1ZB,Q~E:/cOĿP= 9MмvUSk\p(cw\M_P) \lȠ>Q[*'^j^fraCVVq ȊAa@x v#e02L|ņԾ"J .Yc rp}kVc}$9%Z5HtX!MUS ;y5EttC{_\I@b g5 :aÚZG{wr<'i!&jP#5l1cIIu2x 6Yɋ'^nDeHc&Ma[6t Ϝ(Vtu:&6}<_kəvK 2vemPRBʧñbn/ UW!l6rs89SlQ2}]a<u[*{b=)B 3쀠cѬa ݨhV׍򒨍'G[3rYzU`TկtRA'ltbGu||1w6PSKlWw+doYjE`=<QlR&r9rKмQW#VbpH3E(2g:F7?Ӷ{E