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  # $L\ ]%]UTP-Toolkit:threads=4elapsed=20.110cpu=72.804gc=1.892factor=3.627zXZִF! $]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^e!n1X5=%N$ISf!.NL ¸흹hJaw*J‚8 +GPb׈8Hk4LK ՇBy4kkBx]iId a`vj5+O [,pIFD:^3r{}ۚv45Ll7H2-߫]}4|*EfѰ` Qj2+ %?2%"~@w*NXiBG # UTP-Toolkit  ejДFnfG?ɝj@Nro؊O +-@o\l?T~99Džb-eS.H!hF~p\6x}6+.93f`y\A(ŀqJ6(n~ai'#4>w l('Mn.Č"üGTi\l砂J^*q[.qTC+!K.%Ȳ"l#'ԝuUrl;^h;Nwi.qD15XLe3  d;,L%|,N+`ᔇnUUEH@Wn=rFo^r]MV@j0QW{K8Æ2=ǽ3fmg0T:,E@p|6 Z-[(y,@.,)\6'++8O&ӘXwh;m\RwJ̦|ۆKQ>:oؚ' `(`F-ltXp'"-Vrð͔Jۡ`, IܬZ;gYZ7zXZִF! ]ŗXiɟ.z+ j5PܧoA|t]6v> v7`7̎9rsEif]rI엞HdQDE:@ͽ 8<#:ge*:c_kĆ=)%GЙ w^OSUh9zqo H=?`CKoɢ.rsVH?p na a.k:dj`_κڴmah&_` ?JlXj6\MKҿ-jy}T+@ Nk0 ԰(s;cjG>YVh4(SW$Wê@[|Y0y6{\xzáW7?|ȧ6-u n=gYZ7zXZִF! pS']ŗXi%Bt*۪H=7bZie v&LV(AxW=Q)_e#3;n mF KJYk@á7\Tlu7|o-|a;y՝39bIqn3CCҕaD[޶ϱ*؃LI}e 6Hx8vTGkً ݉9ZBJAHDJyӟR idN#7αԕ"PEU{Ar~Aٽכ \}m^W0m[חyG=uVo&UYpf$K'!yuw7"t ܒթkcP>d%a D\k@A||#H%liAȧ 휩JJʌ覝7FQ8\6b&tV!7كe -;,Qb,Tl[,͉T\aI-XyYFLZ(c+еcpL鍪pfE&}L!$밸Zze8b}MLjjc4nb>0IIA ,J-f8܆`' ex*zR%mGSQ.N1cO7ILѤLgf) @&?4X\M?E8'7cTѼG)Vc' abr>Dݲ!Agp/P )hQJ_K'MўTiu9kel6eW֚~У ]O̵@d\6s,/-׀)4/ -vWyD:KxOBwX#{7C3_fJ7­;D)Cqd>f5!6yLOϑ*Dj LğrmOt+1t3ZS(ҿȕN1 x}eOԠL:šTXļ8efef}ބT3ݠ<*twSAwIs yonH4e,s2`^\Rzqk1D.ym@ܕւŢ> J8`~|$$}'ȵHA4H ZTxq#!VYBv=v}Q"W%jgypI|Rfy 7a6WoխOVL.zVZ0F(}IQ|>ioy9G<ח%SulH#[Tl?Rw'*$_`vsD/iF=#A[<稒ojٜGPj lB{d>S#b?j-gYZe611564d2c015a806489322ade6f7e467aebfe59ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022 2379426be7a8c61e771f9e01a38b6b2acacdabc6 5b482eb4bf65e70d402e8ef0ecc74186f98d1c5b db31ab3431f20b0b68e3f71d90043a7b94f933975e10d70606248231c3f4e9ee5d0dfe2c15441702