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 ss  44 ]S Codegen:threads=2elapsed=8.604cpu=16.868gc=0.892factor=1.967zXZִF! ']ŗXf1-`7zu.el&Di'Y/χB#휗s!Gn{8nZn4zO5"DTD[8!-AtLr.Quӈ4OH,3G]3%bF)1|/YwgŊ4-/܉e+BD5ZIca%u< "ppJ idK+6/]2]GAw6Y}Zo j*!н~mnCh:Lޑ1ɈxFV}/T u'uȴҮ~M$zm!km{X 9?eJȒ΅i !1i4=3R|Mf9N-&ԑ0 gYZ7zXZִF! C]ŗXiɟ&,fsØ6X)w`Iyz#Y6 6fPb4ܐlmW0a 4\rBm/ [oHt4F%'{cVH4񑰖#A OTH<U#)i yәP;ONFhblEY>0H`gYZ7zXZִF! '>]ŗXi%96}Q拜az^`ȇ5-w¢ g䧥mlkuPZPe(`I;L[5Oˢ%֍QBI%9اe/TcnlWՆg!"XR5/({ipfLoi*-H3ҽEFQhf\u{yVA_.t"&If}WBrǂB}&Sd j#SBtEK=Y2c)}z>a#x,>e" X*~ͩ+wt5! Ę:X ؎g5~cu'̚ROǙ5 +5r KŦϋq##Q^)`tg~D.apH ͪdYU![QoWn[縍͢"vsvn cE X])߹ykY*Vs.j 8wdX@n|!4=cX JbT4oh`{PӰ -p Z l6`֙jQ+`2sd_4n$vO>qkNv֦nm}cXضn9:byOPm"gYZf335afa2f048be2e00806384a8a4db1fe4829d2fccf9b9418e9c76b5688e2dd3ccca778f920a9297 2b81ca4de31fb7c354e77106786e7248d054178d 3653d2dde4cafce91f7a86412f9a6c796dab12b3 36f8d833293cc46ac325a5365cdd8b506b958123   Codegen