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 AA<' l, ] ConcurrentIMP:threads=4elapsed=18.557cpu=43.816gc=2.356factor=2.367zXZִF! o]ŗXf[&nMy&\ꉎ3~r >HM702e&r%#ǦT*z*;U[/!1}ۡ(o])e_QZp5_ךTnW&O@WO"PNi?>}s7D_~t8 "oܲWCxI d uEM;!ϽƩIP@nU~àVbn_3/q*yě FUdv_oV%up6c|orIلW͒A Zԧ Nn6F&kj/TJ?ƪ˧4xa׻3ݛfҔQ1Ү]a7:)3v=0izv]$?nnȎ_:ח,dcKHH `[G21~aDaKǯk'/e:،Tv:ULW(_)JCN]ΈBrpFNCeC|ݠҤ l\7۳-&+Gߕ sǻIOpK#YpCm @J_jHЂ"׵KbSMjtW㒏<45]l6E2dI=(BNNS۞k2|m1Fl`vFGtݤe0:xADpjU% 15K( e}~CC)riH=駨m@Ԣ&z#  zh ;!Heop^{% Q:02@;TZK ge~I.lOo8XX_1KQlMScKWԝEi69!wԦnWj pXh Șv-˜1+^!~!' nA-y>%;\ՍYMaE>7ngTu.B= X 1]m]I2>f'g5UCrI=n^9A[UMc(C7_yo֞N]ٽIԉK]'B1s{YU+Zc_Dz~CFʂY1?(qO1!kl*;q_7IPlf -X6~ڱwx]þՒv(1.kWrcYQ+0$:F2.F롎_ϾxfTub\2Ζ/ˮqr<2{Ǝv7R6T;L)AhaD}')]%j5 p9E?&SaohSXkxW=gx*NGX0vc]*DMBw@_cf*k,baUXB^ rc[/u8ŖwtXXd<؈.NOU5ٌOV}zQIb5oO$jpU W/- dfY$0%FA\R#wmVGzrEaZ e?3ztM}lX ,F*?njCǤ\pmʎGHR?6bUܻ,)ˈ j5\J6x>52@*?Y-ڷD]2-)?=[7@ F}юtu/t=RW^\- ) "O ~hB'zC]Ǟ%{({|dljy#F{ 4xt^?peǖkd<DR\IR.6vٗ P0f+w[xz)t>8 ,o0>̡RDmC5!)) :{V3Ó1b("c_#!\w[ڤrys<e EE"#)K1PA"╩kA>}| Gc AQ2nQh܉^F19u\yUbRP@GPX|,î7 N.b8p:j8ӑ lkE&(_jWgmwJ ;dLMLɴKøxQ"@y7wNwSI:Jw(BTad#`ؼyXoeAmQCzkxXsЊPCe}E)2Z J9 *;Vge-C:E.wzZWp^?d Q?'¡PET!sf觭w]J:y~Un53 FRl}' Lߌs,}{bgYZ87d3ab4f3df94c5873d3decb00f3b88aa27d33b178a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59 dd5a66ed2ec6ee975e279edd847d2bd17a3726ea ' ConcurrentIMP