SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ^/Ld  HOL-Word-Examples:threads=2elapsed=1.752cpu=3.328gc=0.064factor=1.907zXZִF! ]ŗXf1-q恈ebLi=<^TIKl TW3%鎀@@"u@]@+g‚" *7|+!=mzٝc AS3S-z1"Ѕ#,<+"a圯:e?IG c9~pE|A[, / HOL-Word-Examplesn[*ڢ$8Xcf,Wz[ `{न)rkV3s}YcǾ-uoʠϢEAЊա&\@6 rNR"la~GC;Oߵ+KH}] w}=P]=yqg5؈U"GbwjteK%ϡK?/ƹcyTʢB)~>&.RRyB,1 #gYZ7zXZִF! ;]ŗXi%k= 1%9X>xvŬfi:$0656FM^Bj *.Z(%G?Rj1$q:ğWEFNCqI6t)xƳ{ǁ7oҿb;ӵPфf _}J]SҤ\}nB@Srq[|Iم)nϏw!wܖ$'f/RM,3]ֻ :;4铙JU$)=Lzpo|_M`%8&&ֶXLagڍ7L*9|yv{ z s] Lx&vrx;dq{Y ~_r,OPd9Ibݥ6ƥ(2{OXĖA9lð5})U M6֍gYZ10b1d5b3daabb4f7851a03597ffaef0493d96daa 2d4eafc74c6b9a723cabb48511a1a0822374624c a0b57905feea38e409b2c1c5f2a51f1639d737f6d2fbbb72014e26de66d280d7be7d08deaaabe52f 8cba64bc01798dbdb9969f6de108dfc3cacddc4c 2e2ef00b86b05c7b35e9f7f0657125e173a77c1f