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 ~# < +/]HOL-Nominal:threads=6elapsed=6.262cpu=15.896gc=0.676factor=2.547zXZִF! A]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGڿvQы!&5+` 8pu'6^yϞvL0  #lKc -f!H~z1c FMF UWVD>5 @i){V ϤR>ɷ$8Iѿ@pWKrf?Eb[4UvGRq \1qSC q<ɮEҏGU߽6Ki?.n;";a-""i ^!/zm+gYZ7zXZִF! ]ŗXi%6䘌deY0zlB0u@ƍ(qQv1XVV yTrхn睿vxFvFU'Sz2<+U{Ҿ yf$) ;Z6L9 򯌫:ž gP+%Z&|QBKw߶Zcl3ϋPm^'ʮE3P]3(2}0P[b怑su-;RDF}N Α^8}~YWܜa[? Z:ؘ)+W/e߶s{0g^Q9jja{Ɠ/̪v]O5y4*&S(%U^>nl)"Cn{ D7K5bs/-z .hMD 'lp@m#Fza>#"hy -1L~QV^DYDi忄3C?DY&lBeRaU۞Xeqey{w )YbSMFKb]s^ K|i,̿ȲG A]> ^< +'~tLUi?xp”W GЌ/MYYbEGNՍ±c$ ԎvdSv(}:Ю"_}+3ru?˚T%$^Tc=3w