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 ??> DL m HyperCTL:threads=2elapsed=16.574cpu=28.480gc=1.568factor=1.727zXZִF! @]ŗXf1-/6vRZX]7b,n3צ{hB{%̅%`2ZJI^c=mɠK\cӭ_Jl'-"("R7^7 ı[EkK>1-޶<p C؁'H}B]b̷2˞1A!"CXtT+"9I<8pRew>4DoHoe'?;f;/hP! )5?úM1ʦSJ++i1m1̎!Qq &|IcP/m(U]utuNmNR B J6>~ײt*m @7=t٧=͈^uXM..!"5GXOHf{0}G(9 T:O,?N=J] DWp.ui("SgYZ7zXZִF! W]ŗXi%AZ2 2v;O*(y{[QI&+g=uzf:|'hw56°rYZό6; +:Scxs1Pt֪"3hۇ'ami|! YTc:+@XZXW8,H1 &J>dd\%-u2>TPoYxw>_o+@ Rn't/or8xu\AwgVeL֮\1%J%uA& z,.> VLCA䘊pV/VOJ0׵h-4&W{#qnS/@gAqH&8^0YjB`lCC|]v=ï߿(FZu֭|-H~fme|l)O@ 0 T+ocJZKcp{!о1s]T(]OHV!AJ=#β8tbKrYBLDfwmB+d͇Z9RosMVCҁ֤~R>MU|6N"PML6>Ǻ )dΖP8(JGe5\o{[4f,w!P@Erst6iW5}Mq[7-=( fE$0L-:qT_/D ǣv׽V.q?yr̽q<H3H2xDHOv52>-Gf[ڿ_SJ1Muw=]W5@n+k d-h;c4ڬ5> BDi5DZs:*9]%䝚VE[i˒&ި)jM==Lp^%]UG;>['La~5tq*絺(פޡDQ_c:?i;ɼ{ /o$HJsÀeͻsRŠx >RL;lf++pn`2Z=9Shl7"^`Фd *joRO8]Өa^gE]|3]c:ǭ%a~WɳRЅٗmw 3LjgYZ085a79689514cae4b54ff7d38af148e3f9998070 24930768d36bc0a331697257252ae34202f81f2a 383f905173f174089090ecd177669a4776a25676 3a789a05a2dc9933bd074691cbf66c0acacbbdf5 55cf8cb8aaf918014eb60dc38d9879f43b9a808b 6ec780e2b27c1c30f138f7aa5809b0d84a535011 b3041b9d145e1bf75cafc18ad7ababb2b2798630 c27a7b0460c005f5daac95cf8a605b2342071d57 d45b2185175f77027946daa706988c766cbc243a735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 182507163e45bbf725735e35871a5ba3be6c75e3   HyperCTL