SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ::7 L %w Topology:threads=2elapsed=5.617cpu=10.828gc=0.884factor=1.937zXZִF! B@]ŗXf1-/6vR[k5Ksn J?jrj%$ %`{0C/=/Njn?Cܐ'e>kQummcw)`s^I8l64 غ:pN5 Aa4V}AYnQP%=&NZv8HhީPK&_~B=Oh?,l'DZwws:bЙu+O_Yq'ZCX"C6\ O1O6aRC4tU 4DMh:F\%9fQiJ Ȣ|W1O*>[q^CMMN*Ak/R^ԱwVfp" CQ X!'Vؽ*s{}'p&Qxv)ܠٵ+LҢ2'Unm,y]`yx+^r}0͚_:z֔~wW,>$X$pkR5 9m 2 bFݪQܫP4E|r"   TopologyEk(=cGZ0P0JjKS;VG9(R-h$+s>*Y a47j̪CF#:lHT"^i|E5Qs X=6/DjU!*6ki"uVid3u@ݎ)$^ ëPC^G7.Sm}/8G bN1;Ϧ5}]ΌSY7Xs HΎ&2%va}e[syeJ1_9 A=c%",JHNv3 RTfDI11M3586t `瑿6_ vih,GR/Z T=svPgL)@ A%C֫u}G׫W٤ԍoBtmxϼ}B36_U#y8NQIrDƣǤoK?ا$NgS.c^֔  [#V? ~qa]xȏ}$+\ wgYZ7zXZִF! %]ŗXi%Vj;h[}/ґNT@kBFZG\n]笗itLѝ/R_H}RJB ׯ}F8Gٶ~m Ncr>l1АlΔ|hwns+0+f˞SyXJ9ړ@(וҷiiP$'"Es-㫶 p)!$P9 +]ݩ 5YoVCWr@Lg׏엃{u>nC uAA}g.~dc ZCSCʫ󨢒q@*hJMs{"}S12GmWsaKq ;c>9\Lv2\j TkF}$X %2gʗ4:79)6DkAnjP%_ D{C!*_\$Ϛ낶uT'a-`L]V[*m WQ4 dJe1 C8Y$޲"hĉm;^49ݙόֵۻY,]f5qA.\Jp3uz-SER;oeI7ebFR9ɇu>ɪ࣫*@W!$ZsJayYZPUeV6ߣcy ^p-KVsgYZ11a192dbb9af7695fcb546ff21897f89485e42a7 46f5cd40ed810c84dab8731775bddbc90e5c8f74 48a026190dc76ea6b5b0fd2837131bf4a4df2f19 7f0e50d281e96dbbdef4c4b2e8b090d3cf7e511a e09af91f36d3b8ec35dcbf5e10e1cd6d0b8f222580f4c0c8eb04f92fa9b72ba73b988fd158f20be0 ea130132a8ab1e832f061836cb5bf296dd9c641b 9aa367bb8061c194cb2caef837c811362fe2f146 7f0ee7876e08aa57090805217b1394b9328c7d2c 0f9330d544bff11c6f2b2b06666e96c254497f8e c5fe4ca328dec168e3f54c89d5ec4e73c1d2fc9f