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 ~ tdT ] ZF-UNITY:threads=6elapsed=5.458cpu=26.624gc=0.900factor=4.887zXZִF!  4]ŗXf1-WHIk0p䋎dh֨/+aGb−>|omLefÄď'@2VB30{6])hujcU@Cm;oHI~;]X`Yo~/=NP `;?.{XS6` /Lc%V2_ŲP Fctv6'{#ǘKJU!vsz@|#qȱjVbN;zU?DzLQf ޣ)a_a2S$H(f~#<.\:aAG| 9O~eZݨEh;R SnUK؁r+]myW7>W/E0XQy!iTf[xz`k?NZܧhe(P!y(`j*vx*Iie5}K</_OS EsXvc^@@eaynh{M2ntX 'EXʜ]r gYZ7zXZִF! hj]ŗXiɟ9 i:4V;}A<<ګMP7#\zuP}r^NY_q z)+f&]-jNZe.!N<P~tI|H3Mp_o|`MẢJH$}>`s[{6Tv:s{owx wu&BN3FbIԠ4n0w12 1ZǷ`.^2jSLxN{1#Ls)Ͷ2FJtᇃUj['ՑGcZ:lĶfb-tA !شFD~/)Ωx!󢣳>'@p d]D1 pC@`:=F)Ϩnb/ Y!_8K >ҩmXRFgK0z eN4e:O`5H;Ozi