SQLite format 3@ . BBh77otableisabelle_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 OO.# ,L ] Rewriting_Z:threads=2elapsed=26.588cpu=47.620gc=2.284factor=1.797zXZִF! M]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^?"B43C|trC^AKT>"e#:+/_L# Cܱ]Rh裶jUZD M8De2,gZpKM U~&w)7Ӎ`H m |*GӼSO)5՛幠T 5Ǜґ*kոI0Bٵc*ԉs)yvARj5xC.:N*ʘzJ1́B.JYlss5~IF@p|gO /bu5}W:6m9v(e>3)Gw&ʯ Z&tMcԚGUgs0ecATȺpQw )}OvEWoC;łB|׭ jbpv'6:t#d&l|pcVoBmGO*~OJln.ӲX4T@.3~ޫ"HK k6^ca.:%-־šl/ H+B} }̊K@-Τ8\6(!/fTTr"BO/:пmYVSoS*`Ï[ oR41?>(9P&SCV@'q (1$@3Y&ݱgYZ7zXZִF! `]ŗXiɟ1J2oeTʹ̰Ko|P?M@l`ܗYuUA L Ug}7]<aHv.Z@<% s}}1(HlejSR;WU% `+qMym8JB~&.v;&7@5 J'Nh?HB)$eпOC9-]Q##$M01P~䓱oȦ$Ӽ22t-3/5Ηc?ߤDlTl !èxzb<f'Z ?I_YJgYZ7zXZִF! =]ŗXi%9#qqS`?j(K k4{Do?槳W4DkQcȆO ~PpM1tfA=$$9>3Gr&ſree(|u1*^u?_ݴi`B JB-wKB <2Z`p*{mb!omX_HU@ZlB̺i-\[oqWLŘzBߕlI^[8.% _MFeFTkѱh!‰]}9PvJ𥵩͌XrAOh2ݧ#?qUZT3>-cɎi\>z g)x]WM;OI7(50#uychҕo X&ݷ=na꽙3{PWr>xguZ.Rğt l\ ,‡3/(t)WӃB" Rߵ#;s^܀I=ac crbTt]ZL|!iP] J wT6]G'gg=9Nx設eKaQ1_/ǐPiPTN$Zi4q&@P67޸^+L.%Т+tgǧkF^_U6W)\6 aWs5l^Ѡ{Qjá1Ó9\3%yMsk)jK $ʤ;A2Q G/6buwӸrF k&\&1]YB:KKHe[R)نt\3ދ1c$ע)}Do*:c;1H%6BDP_G+ܩ ?Zi7V-cD̓Ah0\Ef> #PgYZ8c4e5baf7bed4ba3199506daba860cf204c48d7f8ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a e79fda683ab54aaad4eaa9dc928815e3ac0953ae # Rewriting_Z