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 GG6% T w TortoiseHare:threads=2elapsed=6.885cpu=10.108gc=0.292factor=1.477zXZִF! ]ŗXf1-/6vR[kG+j'bf{9lfLXl#ьZ|VP z5G̴;VT$ Q@xHSVeȇ~(<͙ "?_k_!M;vw'tDhXC67Icj0:H(6}JԜZbN8qwld線&R+S"E^=_MߧZ1q Yq:]ˎz qיJ?QkaZ&3Ga:) N.lQL\#h?ҁڤ+.AVBn5lZ(\;82|9#^m]iK9}/0½䝕 ĘRG(ĜQ!U8XW__<6)IFzo<"~YdqӤ:eG%~,ኴNb/!h lOj.(kUɘ<0Ml#P%gZP?:n%'ݽ#%I7SZ%l>lB T2egMx0yir_13q\V w" ڜCb|niM6@!PDEm5/Ƣ^m$Ĝ\- aLi-mح&9)|©7(s12ጁ*DdJgYZ059b39b3c71e408ea02474875982517bfad13772 0b9cf525ecdc35de6ad40e0c86797868b5ccc5ad 42400f19e8830f3eb7eef1e599b0298d3a617449 8b68cf377068d359bb682e8177940c0d05e33582 e6620216318191273215b663199973260548bbd2 fec8b66b788018618e3c3d8415bb381ba89fb0089711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9 0b0f6ffbe0f4770f3b2c25543ff441b61f7ff567 % TortoiseHare