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  ' 'V3 ,$t ] Efficient-Mergesort:threads=2elapsed=11.128cpu=16.792gc=0.736factor=1.517zXZִF! 3 ]ŗXf1-/6vRZCV4 JpۚF։}fj.gP -+e" g{Lܥ^s71H8̝pTC >J a"]eVP#2)vwzY6[¬O/jؙB'H ZAjDe_K5xgkW mhyI /vлhFdW~Jw& gYZ7zXZִF! VN]ŗXiɟn+c͔(c^=N-Mga[l#5j,? rHb[fjWQJ}YZ7zXZִF! <]ŗXi%6S"$hފZBt oɄT+213p~D"(FZ?V4߽=0;Hcb2bW09L]5~zHIeߐ#S\ø!D皪Щ+zWxAOke Y< qJƁNf,1dl3.ն!1/6;[f>{y'K6 $chC/cg1?w!>!uS4ACm%Jچ1"pp{ "A '!pxٵludDTSH^qr-VGtDg8 ē?q\m޻PnHJ"0YZo-0!xm|0‹ꈬ.*;07A[A 29SN0pB"dD{axwޫl ȆxE#ǃ)WLq tA-Ugw]={\Pz+ca2T~AbF<$@X[ l158rC&PNjM7lAOW3xJ)Nld, tbI~%%S!Ol/%IJ:N0[m?fad| /Ɉ8wS=Ho{SaaD௙lcYo 37W%c\9fO2)z/R;6lR]^CBn̎_X$pab8i,M^ώEOo&M| :V.*39@98^YD&O1 ,e;ߏgywvP0 ?[QG;D ZXKAϦeۓ$\#̬ZKHp@6egűypPgYZ2eb95479a4fbcedd17a83f2302084ce7c3acb8cee70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc a15e9030bb829e65726be753cd6c29a0a343ef2f 3 Efficient-Mergesort