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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info A A <3 dl ]/ Typeclass_Hierarchy:threads=4elapsed=8.424cpu=21.732gc=0.776factor=2.587zXZ ִF ! ] ŗXf1-q恈͐7ӺVd>`;Gؽ8nt*q* .#lwgh,jnCGQҪ(|%X<.oe/Ug$b. fa|3"OBbpEr>#Gok2.@a;e[$:Hl~5^D0"IL+>^L胩eR { \ ;yxW6wUܐz(@x aQ@~>X@x-{cf9t`QGjy T[Vj d)|6Ð3(iݕL.b}A;BiC+w {#\ݠZw? E{m8{QO!{z 9<ǩ4OM:E}r6D:J\tp8Tvʇ:GK `# r]cٱg YZ7zXZ ִF ! ] ŗXiɟ1˦rpt#M&")ohEduѓRCqζG)yc|3RD%1bзfuQ VD(}ce|Q/]ifSf~ %1$;tZ%ߩLMmc tI _|'g YZ7zXZ ִF ! /=] ŗXi%L 0/yk&6G~tED"SxhyV/ 2P)1P9K]ж@O! ~jGmڛl 0ֈb8jӛ!K|*-]+u=!-@).ioڰ}%I8܊[/J쳹0iP^ 2O=/5@Z)?WΨrq_375"OS]]s/FbjT]_^}ރ5s#c (axb{HY|\}h'HGk yv0 'UϵH\#GQrR"]IM&'`ZR2{7VuϒL'Ć.f ͭoױw 'eQ͙ 9&bv014Ǭ(UMsCؼ|="f;KVVJ Lѭ Ht40>|q0.-m~s=+f=K`|.ePG=,= DmFM@[ gHU&-W㙭=3V`)/os{i NoM6X8k= 5Ftf EZ6880w>}Mgnaev0p=ݲYRtLcQ@6?]f:=Q2X"Ru*$:dњp}@pYrdNgYջ|`?0{ }( }̩ گD^;hd-9:r4h=0#9EPBUCnax$6FY6 4g + SߴU~(Tw (aFϳURmSCfNn U