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 `` ,D ]/]UPF:threads=2elapsed=31.295cpu=60.164gc=2.372factor=1.927zXZִF! ]ŗXf1-/6vR[y,o1=}8qՌY "9l>4RV$^z9RebR / wa3 h9V/}zdq9Tj^s7,|k0 O/64˔!J̝ { N ԇwrte REG{(9l8%BѬ` - `7Nf]Ά֕"w/ۧ75.Ϭ˦v9õ$0(&+(&!A:(1ݤd 7{m73 4elzX#gr =54UcQ دl;`7+(*Y'ɸ#) M룲~pٰjۛHjhM"Z&l1~LT͂i=񜁉',iU}Bl/H2uc:(g5}&L" 8~rV2V: q]+r`k??>y{@.fsMUCmq ԆK{XYPԉX@O23%!0{vfl57|+bY|.d.;56a/CĽBi,HY+b[4^s^yG(ÉBכEQ3ִ X@gYlڇN[g\9w#M;Q~UVиPbiƘY*mJlX 3q)gYZ7zXZִF! ]ŗXiɟܤ#k0{/!sY/%1Ub%#97xlo:ځ xlb1Bj2 Kmǖ%^N !*OzZb l8ڶ`2N<N?FY2-nrt]X9+-3%+oc#rld:kV'eqYZ6Ն־ކw5^9卟SIDNK7*߹J.Isx.cU\e³ ^xg4kBIDjg]d̜uZ_EANן_BAYIB8o.Y6 4/Eܔ[s42gnUL#IA7\MXՈA]>+3$?X2&Dqx-3t㳑*CL[u8zBIЮ˺6GCA@jlPSm5vt6pBǧ_첢tg}/ 29CWx f eO*9l϶ߥ P@^|`*^~3T@I!I?1z/_yq u_Gd8׹.4Fz[N;(D'((Pҁ)y qeo8s.K\zNGbFJ E:#q<$ ~Pbo ;I M b_;yX4ۿ&R`:bϴ"ȻQԆub6,Q uXI`4roIhɉ%cD~?d?roǷfwfa|@k!l5^خ8>rӧWoRCX.cr?' "'FaV_!\V,lh[ZX Sr_I`,$C)kA4i6G+o}g#~wt*<O{nf Ve7n. 7:gYZ9c9a467e4658e6152691fb7272f46a7067b44ecce70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddcc2378298773ada8852db1c5166977517ce84546e  UPF