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 1 4$ ]/ TLA:threads=4elapsed=13.855cpu=44.584gc=1.040factor=3.227zXZִF! l]ŗXf[&y9W3" UA11#7qsuVYkpI~7~C^"uil5eSq>5@bM'd0gac_{vw2VPR5WƉژaE) h*)6[XAw}0MiP ' nh+JY_4%؞8JđJ1l(.-_P5޿V%fP]n Whtr=ʕM<c-a+8*aV33Bλ(oLyX8t8ו~AM*B\ j|F%DKw  {^^jޛ 8\ALGF/'FTIe48&@0`P$TS1AdBåd@$[I=Ϩ̜-9!}{lDbiNT O̢E(b\(~ .ƙ%k.ZQWF 7Cq[يZT blXq(I*powI;4(/A:3s-$ꥈ8vHU4/&ҍsOB. /'p&j{ dpA>nE%+ʆ9'֛ZsP3,6ӟgYZ7zXZִF! ]ŗXiɟ&ݾʆ])03_F_]9 T!1¹+W#`⃀XWSGy@̽1TTѧ˘yJ\Y1=i+JqF_آr;b:ozq,({9)R[b4&7<{@P)OI9TKZY aduVRO9gYZ7zXZִF! j ]ŗXi%Bo PЖ.N>|qoOEopSdKytA~9e~c,<\:9b+QYPlB?P&}4ow5NGW)ZyL*{E>GS!+ehmU&_g.`X0E8 1fLbOFo}a;L! k%eiYd2G/a:2yȨv&p/:&jN|&n-Qm񟾝h++rvj3`$~nT{ˑp'X.x CFv4n37Bz"1EvDm-^MġvCRcU_ϩ *\/DXo>vELW-,vӈ4ZX_4vWp'oNӑv bA(W4mL~j@w9&r>rH0UJ4ƖPZ*d.bcyUc >&Tu_f 0δ`мܑ6;n^Ba'\Ӷ`},st$>'拍\'52kZ:l"KKލݺ't+`F0t..YO.fc%5AX+KC~ rjrnOضJZ џթ)W`ي껚Ɉ#L)"w?0#xn֪C`.a|;[A(TŖxdД8`,(\e>m艿!ט?TG8ߢw.>S@F/Ir!qL!гS yY;?rK`\@et^YPPHvLaϦ2j խ|Y{9] s1)`aV+w_Mb~Oi13c#'D hj/ aDM@BU+3ԧ~}C'3pS.,TEp58s@345(cfUwua.cuA٠Ld>}UږxjqnJX\I. se