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 xx t|T ] IOA:threads=6elapsed=6.996cpu=28.460gc=1.004factor=4.077zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K9]; ʭߍLh3/1W,fh;O6w433 0P%TB4": ]gtzGϱoqđOy҅ݽ4IIA>dC*]& FyZ~tF*w*FE ^nYmQ֡n~P:FrVl<-BQ=ZhsC{J9 _X2p.2FAoʹ-NœZķh5"}u?O֋gO&) :xfh;DhJHh&YrUkKj97E|73`#yXI8!7P*t8c" X)wUD7KE ?̘_:egYZ7zXZִF! `x]ŗXiɟdN'LvH۹$+u ɴV*|t.ˮ*n&u4Nxp2ج0&"g[).&7Ds{8ڎvkG/U'CS-ebY߸!?y8kMB'P!X;<٘`2DjäI(_)̦˦1mG)8(ip8oc#Pbvΐ̨T)gY:Itэm%լ\E;f`7E6kmez C;虚ϭ h~3;ğ:ԣZTѓ#_S}* g 756j?ԍ-P2 ڄFfG{+s}rCbiÈ1LD~/uCl3;Я'T[W#B$:*n>9 HdsT BtL/^'|aB2)~,B?*> * ) v͙W[1򐒠@]w=Þ~?hdpΪ%_cuIyȳG$s49pMkQ|ւ\-gPxq còqZ}ª&Gc`.(,HNzrg)RUD=֟²- ސߦe\6N9h؋;]*q\9l`N6/2̅9i /,>(d7z"gѿ5Tds*y.D"|O$і,)i`RギԊg狇|~{ -w:ץ#RFm97FgYZ1ca378b1b7398f472f460983f20ab08a99caaae8bdf52547a2d1ec5238d42ba24f34b6bd872981ed 01b1e75e676722d36b9f9cab162375221e47186f 33a9af7a321b3b2572314abd5b2f0cd62f2327de  IOA