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| ] Program-Conflict-Analysis:threads=4elapsed=15.341cpu=55.508gc=1.748factor=3.627zXZִF! P]ŗXf[&Yi]}fK'=r;rIF[=ÂK\gX4Kaȱ,- n?D[ئrv>0QEڞ#~MLt l쒑oDW&,hԮbAspbW @j_ 5.=?GILCf<` 5?Yg6BV 8u7D-!ߢiףOQP0ω\+{p/cXh'eaYkD0䜳o`e6o&N !pӬ r;ȝ/zGe֤zZI2ن1-Ve=埽Xo +q?Yxv6$ QiXWFyz`i+"6&I;e6q20rYa+ی??)22=%F"6[ HM Hs#hátz<o^Ě%su&JK(%$DC)k֗ɭd}(A 夞3*[3ȖeG[&b^+RWYz xw gYZ7zXZִF! u;]ŗXi%Bt0}]}?u_ԍ(iIe54o!ss'!;z my6C\ d~64YuWT X媖OEɒ&~nG "CMB@'[ aO×P:k&cʶ_z8O sܰz"!D""RVLdx?*r{F6c>R%p PEJ" 3s5bO^4۟+Qs?GT@jwzYV #׏ jaȕl/h#Em dHȞB-!_?zUH}-9[?-~O3 V~'bHqc-Ά.Z{.+JL& է^}tz?xq:.E捽75AkEd{1nj fg',s'j)0O54(Y:%?$?fAR9vBpz`=_~4> zԓ:m3 |ꕣs?MYBvlOjf9Z-N̎wnB>{ںlIp"#G2Ѝ{GDx$=)SSѷ"=ׂS.AX$.VP,)z! ˸nT cbg@ΝBd,uXW(wR -m3tfZ zGWʅ-vl&u{jmXE̸Ϧ/ 8M+ [ W/7Ch@s;D8٤HJ?|`a6B( _de'}'Cq (~.G(=vp f'2 йDgȲ^}D=kbU(%'׫Ewn͖ *}F8ܿ^#Tyo*60Ly½"7GYȃ&$1 @#)7 ]myB:aH7#