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  LtL ]% Topology:threads=2elapsed=7.470cpu=14.244gc=1.092factor=1.917zXZִF! c]ŗXf1-/6vR[k5Ksn J?=P#Q䦒[Udc$VqURJi?QV2o/YS#<8yX(PY"<  0s%u5Ɉ(e^8+͉.k:D-rEHitz9_ތĉ*ӛ~-x_&Iÿ U,vX*@W.5n 32&%dž{V1 `uISq7sJdT8 WԱgYZ7zXZִF! s]ŗXiɟqHhB"U΅/|{2͐v˦^,xeMa 59u*ҋ R͔,sJ{ )J]]͘Roblwf m%dmyW1DgYZ7zXZִF! .]]ŗXi%9#c_TΑh ml~4",ݝ"ρ~9ȨD~NCxywЙxėD93SisCt_spԹ?;QѤUCí-mүt#1O>:ї疊IxDߩ"Ԍ[>5ʬq*HISVe"iۃv;E bazqN>r/ybg]֓g[HqBoBƤf5R=V^ZIWq;?fٞ k;c*8}[S37IJbtc;& R:ͩ69OIle<({Siv%f\|Hҕ埑%V]1nIEfdH8DA1@/9WH1WyXS2q:moC{3 ^/nҡ;?KS>RUm]]cF&gR:tӥME.|Z64Lf ( bS|Pu~r6nc)\h6*i>0T՚m~? ټ/30҆, ؙuU E^n;QJ2TF$FrJ{G]5#3HЙeFBiz]xuwlܭE~e^4UMTPD8S3ro.<{mH|1W}75D僺&r= qCͨm&Bmc`if^^\&;#]/tgYZ226d7231977e8825d4f3da5dc5455b28e5137cb98ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a 9dcd22a721fb4d6cb69fff249fad38e4e65ea05c 3ed685959535f1327bdf7d26aedd8065b9d7bb35 5ccbf70c8bd01fe25f33a8f64fa29c599d91cc02   Topology