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 k L, ]/]HOLCF:threads=6elapsed=12.267cpu=35.444gc=1.968factor=2.897zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>V}ψ7g*Zeԫh VTS+vʊeV{ѽ/<їJ_"^h֗1/Օ8n:[s%ca$܄$ XarݜSW jH q &W]FWxRZ 80~8HQ~؝zj5#|TϡY|XdlPWyiKrP`'DX^'CБP0G&fI"UeuBJDk_B5+n'3b%|äIj Jk@ ;~?^εٶgq4 \}ƵB3Ͽ ,6 Cv0`5ȊG-eu/W5UrkD3soգAш55rP;ʱVlwcސ. %f#K#WMn,iMLd ϫq%y<>k`Ŷ\Ucm gt z~ӰUbH531ӽt=*"l{Qؒ 8>.T)]!)ѭ< űgYZ7zXZִF! O]ŗXiɟ>Ӈɇ9S2]ʅJq]/P NDUmiOuh_u?_m|.{1>yJHCIK9&-L> BrWYBsy*?Qcp5Ɉ H_|sgߎIuFj\YLg՞2ȞVYTRԷ4Q|𒣖 ӼRͦn/T9BYC1~9wh4%ѭHO=<V1w>gYZ7zXZִF! ; A]ŗXi%;m%Wkm٭|$K'C {w-n&ua2?f@51,4Ip9okP(aeݢ }=}2!_P{]cR/ Ȫ谲AMSxZ6}|{@qPӅ8)xhbn=2ELS3涶pJ~6sp1 fqxdމ'OE,nфNOU}QҜ'QGt]!.G975\TwXD C:(Z躡G[^u*g:^[IqSQ E~ǤU|X 8?kX(5W3`$t=jP L(*Υ2u'/B9 R'+Fӂ#3m8N?Z]NQ"v:bcɯR󫺈9Qm(Q;J"\ﺣ"%z P`'σAe)\0!rhsYN0Ihf'ğϫw%(-z\sC0yT8H\7sƏ,4%'wJ\~#R3_=ݤʹ2CpZeȦya[г Q~Pж`|1܁ `0sX^}_m;D"+.D=J圯N,U_EٸUG㓸<Hxb2- #/K7vދD7N|3GufwYHn^NB#kY, phk 7]qAcIzɨBgu^qVMJkbŵ,.F$\&|/_jE ʺ/O+LeLq#%cXս?k)+u掳QgWvZ%xf[a5EBI x$?# [j38l԰G=뢽t킆bC+gSyTH M`pR4]玓PrvgYZ4f31c80746056fe4f470d0a7d23c4fe3050d179c33e372010bd93d78618052a88797c5afe4f11382 7daf0c8bd7744b8053173dc61bbf05acdc7970efe294a0a09befd3f35232bdf9b86739ee6e0b88e1  HOLCF