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 u1 | ] HOL-Imperative_HOL:threads=6elapsed=41.927cpu=61.568gc=1.668factor=1.477zXZִF! /]ŗXf1-q恈1$1|-~yߢ" w7Eh % .pICgf]7l44LfҜ.+y_ ʥ6]N 3aAeVHV!]۵gإ.BF~ߜB:5*C@:U0F9hc;| ڬ0yi*Cv2> ]m|D,ǰnhn)őo-]6O"-]YTS|mMQ.N`C$\Jj@j}f1 >0W5%6,nKʉ@* *r%wvz{uI K#pƢ)f_}N6mSjNs˜!̹ͪ.?TtB|:˧( u c6iFLi xf<'+PO|t]+[t}>/2W2%fH#JֶDb[ ^n35ޖߢ60m[6pwR* &N 17Y޶+hZ))M*k H+  _ gYZ7zXZִF! 8]ŗXiɟ1nhЦx"n_8N]( eOtd=vwdܘV LS]Q| y@Q4 +@YAPafGF~9TW`Gu匘,y)ҧ%4n=#Pqx5t>?NvvyU]ؔy[: m~ޭK_|6"7+'-̤ 1᷿$<'+ c݉`i~ذn==*a PKS>:_L98E^IMp"Cggvω^jZ d:gYZ7zXZִF! ǚ]ŗXi%7ou4@?ZB6@^Rz|BC=yߊRWP&"{jM GQSS ) G"U 2w9Eአ:6uja 0SɋLF,4p`_;ُ 0A-/. '|Q"Wĸ7D(XբMսSnH`=d:BVFtz+PAwfןdkK>6l7[ƬsR\r#4!o&%(C6>2Ӓ3|3 ?k!K/(1)=]K!tQE~]2 4W۟5@ &ߒy赆ݐgF?` o#5aVPq#I= R҂1\~%I`ќV4^fa6S._aE.AJO,GM= k/ [`])7RQnb[zd*~@[bo&JlPkY5N̘gv2b#Rn!m@e޷]@[eWIB&`/G@4xZX[opviDӣ*vǶ 7LI ZBp^e#C@э5bNɪ{Ty ,iȳ)v[GOoE6/wnD7SC ^8x*˞TCʳNgৢk(ԙ1oSFzC< Pc+)|u L*!g4hˁ rNܪFWǏua@3&z*)|zw!1{Cum ޡ~T$!LT%B|y@amxӣÏ<:oL9ߤ}/Iq| Q ꪅo2u`4YJ;lOJim[tt7oK8lX8 lE@;0YZ&F/IB91h\EQLήDA8v/8=&j䯍HzbVOc0,xIeZq U-iUŤ;nEs%; |T^$];x"F%쐋xF)Q<;C'hW(*$D( c