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 j+ Ll w Euler_MacLaurin:threads=2elapsed=16.954cpu=30.876gc=0.788factor=1.827zXZִF! ]ŗXf1-/6vRZkBO&+p_% #Bѡ+C1/0bցjW鰛sw>[ߒuDwGWvMBV=,$^8V+'U*1|FoƆXɹ09㹨WdrEr\53AP:60ԕq䧳TMJq॑EW- h"UQȺǜBREb"Ao >(2hJ#i^ YPIsKN0uK!$$}R|3K5Zf Op7Z2i`1r_64p]0:6Py}[*7GNܿJ37&BwmuJPxz02\pM֙UEE(KE1ɇzuuӠEPMgI=CnL:N.Wuܿ€^yJ) Ni MMBkXn0SvP^|EACr0)-dDƓn"w?5j~~{ykdtcܹq]@՚z&k&PK&r\]ڏKCC$ ųp3)gn_6jyg`z &q.1]adCCj~oT/wNE{A1=7*ڇ;i>[[|#bpobh{հziH%WU2&ddž gHdC#z N 2C xyϮ<=LpB ߯hl@qud_t@gv?ʸFǝnkn_]9sK7^v-:ggYZ7zXZִF! YF-]ŗXi%΅7w'uV@aa ӑVw {d@|i od<-.8S}cP5D /0'Z.y۩![R$q֤v?J~D cg  KnT[_p;&rjחޒ|̏@}NݣRw/fvR -m?>V\ Je='k8:goDIZϊiY'D5q9Uv 0qﭛ1^YT> Wa eRR>keh2TKHY=g1 ,!b^oU?.OJrPTj9Hz%RT@K+7Onc(=YTywJzj#5S1SkͫM؂b#&hӞ"4_Ij#rY@ty7}5}f"(*PETJ%{GlFx\x|v+(nHyq)I);XG:! O!xj`qCE6^D]{r}v7UȟĩįcJT)XI% Gb; $CI=ZjҖ=#,(4t]OaY} b0!L$xL"7օg+jU!K]t(l[>q;lp qFK="vjC6tG |\HLiW cȣ;yL\lZpzفn@'0z޿dBr,PWp 2 P{"4bzaV8㙤$vS)1:pH_#@~@gK_sa3{.Y~YY(PN6ն\HR t 0[%~ ңiV C7/#-c0 - k8tACs[;99q쏎D픞"DDU\DSG_6Ü A0 DzNYgYZ04c6def5ed437b9cd7931dd6719c58a012c6a609 306614ae7e125cd238a3bba7fd3fa5e2d2176f65 53c6fec8bd0ca1122e97880d460225de71ccca78 5a5e1fdaf975d1e550fdbc34edfc57f71789cded 814d1b5c3b9fde517facd0971e3dbe2cf6237736 8fff487090b7d56a5d0ba46c2d70e800f01d9f13 cc22d149a9823f9977d158e4ecbeacc1f512bd63 e0a100557aa6159174ca38591e116e801299c1c380f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4 ab8b0f5e11437cc3b3ba93009ad67ac171c6a59c bb2bb54135ed42cbf9b16f494e9081c8660de074 d0588517c8f6cbe01daa7d05f7b6fd5a31064a65 ce40a574e7f863c3c93eb865ad6e1dff930a9d4b