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   4\ ]/ FLP:threads=2elapsed=20.545cpu=37.520gc=1.340factor=1.837zXZִF! ]ŗXf1-/6vRZlh[j^iWrYWrWzux;6aţ n5`V gҎr[)^֖ra =s9ӇxKeld]eF֮hR~h`gs1N[lhϱ^RZb͉bƎ׻ daWTT(rEP3ios؍҆Z~:˯$tB?5$^h~#U ;[fmt fS8-,ҹ_NAso/7L:a/"#}|)2(.p[h=WU00=CSpGv6fhJi{SV~9fXϛFp: !jIcl AFTyUDjuǏTjca?goPٓ"nx ire8$Pu,Y-Tጼ<8pq75f&&.} PqWvYWsKG:Q UJ#~.lZֵ/bfK@+Q2x?>=*뤌1c+p'}L%]5*+CR= M/'$)L߱gYZ7zXZִF! ]ŗXiɟ6PSוuF3J"ᱝMi^#FyeN+MQ5BLu)g&+E.mmyC"y MX5P6;V@7P(CZDg`ZX9dO4%VLOs:&9T (1 \ 9  e_ S֋DNz*EOȢ۱gYZ7zXZִF! n&]ŗXi%;уu1N2AB#vBjOg\%i{NGCA눠 ڕ@⹨:EfJKӑm>>YMFC`WyQ0IYQp7k^'6+'I{6}Ms"aWUI4@x2|d{'wf;F }HoWoD<Ԓ ; @;(OssvtaU I;>UI??.4 3q}\+T -@c\"ODž3Um-k] ͮ#D8C"ۜGq_:䋬 Vtnj Z>t -Pq*4 Tcm[T=kbX^6?vLSݦJΌ_U`F]mUv+^f>jCy%l@&ס2BGb,.+t'8\y n`|N_1|JՠE/xVH ֹDͷ|]?y?5'tPi㔕N8"qW qӋߪE6~7Ս}4 (0<` &BQ0YP܉z?>^G˕(Z.=#vvaLeIssDWJ`}$V]7<5NPZudjߨE3,?A.ߴO uJ>Öâ;E#CE1'ߛW 7׀V fx=zLO'6B$U}gUMó8C+[IC[ ZA?/7G-q=jnH2xx3ZRj*_DȫCG[qQ1ⓈeXwfaKҫ>AF$HMkpko0:&'yu 6dOò?_8U^Cw'/h=S$t#љ~2oٻ2wA4Pr t/Wjp2[Y_sKcdlVA2vGSB=*P:ps9j]B*"dg4yӮ}8zK'v B*Sf#נ}@㵟a)ka q9V9 IvdƬ)}GO)VSYm.xx_NhV"svy%L' _-d ފNqEEzse/F<BuT=aXUy)?z\'mTPiKͫcЦx9loM='n % SMcM%5?jH!g.H-;zWr1vmGHCyaZK gYZe0c0b098f366c803ac054c9e3522f7010bbefd3279d8e835726df87c7b301a8f091eddccadfabbca f1715b405e31ccabbdc6fec58464e458364e7dc6  FLP