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  D D93 \$ ] Efficient-Mergesort:threads=2elapsed=9.961cpu=13.728gc=0.616factor=1.387zXZִF! ']ŗXf1-/6vRZCV4 JpۚF։}fj.gP -+e" g{Lܥ^s71HH^Ɏe EՌ<4HGJȜX/AXQ ?f3IB򴎬!ucc (@021ʷ3UVźnIZ (kgYZ7zXZִF! VN]ŗXiɟn+c͔(c^=N-Mgƅt)TcxQZ|ZTgQ*JBjWQJ}YZ7zXZִF! <]ŗXi%ή++<)$䥶5P[fA/9s]FEx(uo_Q[JK=cx)^$dx=)Eg3b#:{58Y#({0ܑcT7:9`bb'ӻƃxt 7]8륤Dn,cny8swy^/\pZ{[L,Ny_w|igeziμC:'Z[@Y-pY9ǹȬ -(C<Twڣ/y'wwi}2G!D{·lDv϶ rl1C&fo`cK\wQE^`.|8j啭pjOyOԩ?3PPA**Q(rwЃ; ]I-% Ǻ}l]QT#o_~>3opUH lǬٻ`XC.ޖuGOR::yXI}a7 wr@'RxmJЭٳf?hsq;Vjhbޕj'r@KPqt3h5;D %[27oD=-WO"ieJWx.wR~S{C/tҰ]乢)OU}5*2}e bb:[:Xe}H[;67&g(ަCk{ΏjJz rZ|Sd7fBC+'hco^) hh$DrvACSî")]8ҫj4߂ㇴWՆOoeF|XWOG.bm+v|tِ# TD-mZ6ЅkP-`6E^H/+g`D]уs04 rv٠p,y)gAgYZaacab4a711e8fb88bae6c279b51a137f9716f75900b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 90fdd132dc269b22477e61acedc69f01f576d41c 3 Efficient-Mergesort