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 SS* T m HyperCTL:threads=2elapsed=15.111cpu=28.624gc=1.528factor=1.897zXZִF! U]ŗXf1-/6vRZX]7b,n3צ{hB{%̅%`2ZJI vJ4c]XFRGXK&{feHvV̾Z+>dw]mmzTm)[t* Yk+;ZiϢ)ՔIV\(4 m7YjL!Hg{AbRZ}{\qnH1ߌXUbE^:Z*>?AA#}bN8NaDٿ#%5R!ax{ mBBjbZȂX3nʞEJ_d @o}2d`=BAҍaYQ!:/f6,deOT95YVs#ϞC_Ms9v^u _01`k}0zE02 DI}HcVb3vDXnGΞ9-Er⋶:3}%'d70Fafflk^D=0XlR^ 9aЊ~ ?XcE ԋi8s6XH%¼7hP ws9U(ñX#{RhyTO=CULMW ܕ-u AFŔP@F^A҈8t*)kX$pj4Xo<;t 6CݱgYZ7zXZִF! M]ŗXi%qY[6W6A;$~QJfxN%LTRÕv +4y:؈s-;kP K'Jb- 2JvUV]t{q4Ԅ:GE6EKzd={aoN~Yϟ}5K!N&2|Yji:z[K+4w/hT[ز)X5_2b.4oFQSQ4ߠui`J4qECJI CDq|Q*A5dX4MQ&aS}j 熐KXe+P>XOG5='s@OVʖD&ۀ2!T{P1`vi^8p,)pUxB9ʰݶ:̳7 &Zބ`C'A5s'Fo/nl㌮Sf{}6Ԋg5R< nonz{pfiU;EZˢˑS*d#bhs@ 6^X*6h=(q@#0Hd-{w{2S1t!6,6͛~pBDna7-(=Ϻ B#Neu;GudrA\ol4sRE'X%Cv'׭t8TVfnBan<G/1]IPWU+w1D&gu8A.MYk6y;瀆nfy 1Y9,VEOj*lhZ+C(#E[':КU Slð x<;֍ &ۓ&/ؓA?8=Md/HЀ6 @ii4]&io ai؅!@4Eo Ro‘p 'JQݵeD$O STy!̶t!%j} aá^r{&l%g.cc6N E^z$dqP P_H±gYZ085a79689514cae4b54ff7d38af148e3f9998070 24930768d36bc0a331697257252ae34202f81f2a 383f905173f174089090ecd177669a4776a25676 3a789a05a2dc9933bd074691cbf66c0acacbbdf5 55cf8cb8aaf918014eb60dc38d9879f43b9a808b 6ec780e2b27c1c30f138f7aa5809b0d84a535011 b3041b9d145e1bf75cafc18ad7ababb2b2798630 c27a7b0460c005f5daac95cf8a605b2342071d57 d45b2185175f77027946daa706988c766cbc243ac7c621c8c679c6f81c939be460dee2fbe4c459ff c121e04b5193f7bc8e7b1316cf00321a124849d8 5f9cfbb3ee57725a294474ac53472d061591061e   HyperCTL