SQLite format 3 @ . Y Y Q77Atableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info o<, #S HOL-UNITY:threads=6elapsed=18.481cpu=88.988gc=3.392factor=4.827zXZ ִF ! 1x] ŗXf1-q恈r|u2_QM'8əj*g?ǔ;FSC9Tc30I: Yxt?`83DBT9#yBu+kA~iǓFٚ : 710bWKX,\x2fyf+y(mIѶ/ 3g-Ue 7ԕ~ 3²Za!ƃ:NCB$/ tK@/NcYS@f}V?^sqn'D6S$'/l;YaGu@T?Wpgh룶X⇃D@lǙ4Rd{sl9=n=RE!CaK 9eз'˰n3( ]>Xw>9IFT|%NH.\J[4J뢝CњSSEfpx$H = cZiĤ柒!j:LJ@Hc|C ZHw&_n̈jٿ|fRw8+/;ku'r?f`X1'{Iz c*HgNYL$ßZX56R9YDA %C(3O[p>|Yɭ@hYcƑ)8\"ǵl*N\hBYR^qz >+N|3`Γ)l;nVd̵Af^~T\o%5J֠`ukzKc[B&$ɨ(b뤲 ٬7Fh\9u/]@Iq߅[BQ7q^cV |j4ß)8sY<ѹRUH& c;`nbM~݂V6+~