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 rr  L|| ] Isar_Ref:threads=2elapsed=10.235cpu=16.076gc=1.036factor=1.577zXZִF! ]]ŗXf1-8>l޷VO +҄RXۼfxAaniyV@{ ϙD0ItIXU!!0D?Xj_[k%5Aeѳn^?љDOkCzN/rD>rizED ȴyBlTG^ xN| 6-op>/u+]{OZY8w1QET͖ݛܷیc:@>+M,*bPܗ$:Qo.ʎ"/`VSj7eߥ6Wq}eqgYZ7zXZִF! 98]ŗXiɟ]O5-|01 Wg9Ъ,@}XaMe|jeӡ>1EMkIdY-dt =% w)_G%{wwiԙYQ!,Xr9MQ?%yvOF'ұ"s~Fȹ[U'j3ɛ e҃H[ %z%r4,EFN{vUVNs3*WN>މfe0/ǽ ? K-68}5io`E!PDjt|0AlvjȶT, u-92`?o&LgYZ7zXZִF! .5]ŗXi%6abS" kv_N#agp^E?nx4#M5r6ŶfR4)!'D*lW^)}$D'D0#!H>e@˒m[ 5'.nI?"܎ - X V^ {_Z/tr U?5Zsvfʡ8^NFnML-ǎ dSXtDMy6-u1>+ vN]~{ײ.UN/zJ0v0vsEbю_lgPNFFwOz=O ٟ̹vcSUQ*ɽl d3<^Sp?0ȧp[b>[yv8 {I",RR([5*9~PB5X=?vDZ"޸CW0YmR"j>m`2  ~aؙνv{Y{ ܢ~ۖ3)qD͇qBĨɽ39TJqhjcJ 0 mvEL>/Ŷ*7:[&Dh4wۦbIӻV_A@mZ߶5ɃΰN>S~+I%)XmFDV:G4?j&S7.%-UaoV_W!YtgW_OˆSDsv ]ͱgYZbbe46489728709d582b0e9da4fb3f44140d575b271091afed7a8a197c38e4fd92b1ce9b0f5e17eea e548908dbfe907487adcfaa9280f64113ab5bbbf e309b151f883e560703ae0dee61d5fde8b66cfb0   Isar_Ref