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 1T m% Transitive-Closure:threads=2elapsed=3.601cpu=7.064gc=0.272factor=1.967zXZִF! &a]ŗXf1-/6vR[Uy{n > gA[@s)++ٰ4\!&Jc>BOf@@H"o13Ag:m7pb}NJfnSB 1 Transitive-ClosureZXxE/.~vI'dɨ-9ouށ ʕG4GxDAe?HOMez )o$}1eUca\D.U!?>ؐ=WP =x߅JOm|cfQ0a~731yX3mcӸcqTpҡaNjʴu5UBkvDPЭ gBFUNްr̹0~9N֚\ AzU! NTX:7䕁T~/ՙ Z~XSXI hvzs;0J+i|+}scr {V&n+j~e+R(ik J 5jpcO FXb†/ӊ#Gi6h (|+! -î} ױ#o2*^}wOl Jw/p +r|:."㷦,5*D T>lBt2 Km' l0CB: rpu;7BF'C䇒GV]9jem r䬦&Vߛ&rJ6#hg ?pu>7<{ϣ(yw{b`thV