SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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| ]S IOA:threads=6elapsed=7.484cpu=30.628gc=1.004factor=4.097zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K Q)dx;״gSe)r¤+N /tyG}17mp̦]Oa=sMA⥎lˆQuΒߏ JR?wAڬ *LEwyXMYK"$IHH, ӸbR)bήa,eWG&Y!_,7H? 7Љ>Qe[t&.uKӲ<7WLr?D(9{^gYZ7zXZִF! %u]ŗXi%6ŎH?K(_ޤQ-2jP#+p`yzcgFi"vƀryTlpnM7]̯t,jC4IdjѾC*\ce Te+ɽ]=2eKSL!,\ ϝO64SvE7g.cl! %iS"MQ\M'+|Pta>V ݵ"~QNˤ$Vq)@ЬmP1U* aŜU2AU eJ뱐-_aЁdP 2 ް1T$-aHM೪sIK̲C̟v-/V{׮*<]De_!>6mgBJg)iFC<|GOnf3pn8Yis1ؑ6 JR ,(XU!(cb=rQ9S'އ`_lKd76;}ƪɡUJ{l 3xY}f$҅=\Rnu':hqs:փ-(3 ~x> I=Gi$aԣ,hS\?\"oVP6;b(JV#A_=yfޮiU[ Uow\܅ CB'eFڃcQs"O snV_K,gYZb62961d6493f312bd977ac58bdddf5785c2cf4bd53f1d67548a50d94a90baccfd7c8ce511a3e1b4a f6118ffad2997e518d2c1b8be12985c8c95a4176 2a8703cad3af920728df8d76be477f3244bc91ca 0c71e05b1e036d649e6683119b173eec3e41d60f  IOA