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 I%d4 w TortoiseHare:threads=2elapsed=6.438cpu=9.964gc=0.240factor=1.557zXZִF! ]ŗXf1-/6vR[kG+j'bf{9lfLXl#ьZ|VP z5GtiT-0rTÕeq֬")UV37Luڬ*VIZIP&hKJi+!c/Kz~>EIXc{STzOÍP8yWIm'5-J";-}LIbv@}AѮ6O~)2܆֥͘xq!]An b#"UZ!@1l:*}hg`= J&P1An_<Ͼ(#Xx m`{:W~˴m*7#YX6$r|s4b7'$槹1lwKOH{K|核D;c?Ԃj15k 2M@F@EE\¶jDB{4rDŊ`ot+c=̭(v/oI·)jKl~Nt֋waދrQ*ɤ!T3*(b~Aŗ X[,+T{,݆%lT[JbE jW/f dqgYZ7zXZִF! ']ŗXi%n8vM<\z4tsuahvtjpe!;dxB+LT&awpd!zmJu+S e,Tu-vu`S̲,A4';f`T~dy8E803aE?fL ^VoI򠕐WrM3&;a .kPȜ%>o/lWɄ-\q߼5 j4N@uO|1(HC>V Wr{k _u𣉽5|uKFVr$& R==v8d1ud k^ &/J^-Bq/ۯ:ЛzRyo٠m"&OP/weԬmq9\@<<*wiKXQQT#T[ %Eki~ 5j%@yVPEdEcOGL;ssUFgul8+tnoml|uvR~¸Gʂa{$`bP0x6ғvsA'IʤLL`pt>%WGFoI@ 1 EqdM~2`̒߄]))}ѿJӰDCӓ 1}rUardCkɖx%;ys^챭&*JgP.d9{[ C{O=`gYZ059b39b3c71e408ea02474875982517bfad13772 0b9cf525ecdc35de6ad40e0c86797868b5ccc5ad 42400f19e8830f3eb7eef1e599b0298d3a617449 8b68cf377068d359bb682e8177940c0d05e33582 e6620216318191273215b663199973260548bbd2 fec8b66b788018618e3c3d8415bb381ba89fb008c7c621c8c679c6f81c939be460dee2fbe4c459ff d97c8eeab5366846f6d9647d2a5501999e294803 ca57ef1b446e14ab305bac96ebb43b476d3520da % TortoiseHare