SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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  8l,4 ]]Deriving:threads=8elapsed=32.901cpu=103.539gc=6.043factor=3.157zXZִF! <]ŗXf[&CiDu;\#\)E9-Ch{[n&1;ƕ`6HR`$NU5JԬ8w|iQ{-]V0>Fd=YJ뒩S흆dz VM@rgI$̠fV Yg1R}t d4#gq-:"V^9i՚ NTc҉˿ztjabV LUy0ӻ4Qy&r%:x?KN-tBECh 9㐴UYY]&B>S!y8Dc"p[0R+U5#t,Q4T#P x9"4|z$Ǡo,?DȐA:3S^RMe۴nei0owlceջ^]A r.$X_z)& M>hX9x87-#% .KKpVf'팉0&g-H4 %ͮ=w43k*N`'VtDT^^T~gt^:4*yRH蕠4₣$/Xf( ԈPPx#p=wG(EJ SNMI8"Z601raT9v6>Ƅ̫亣Τ;׏v0'N5ge73 e zxf EFIhKYD2$9%Y59T'|к^?a Q)9YU"Νh:h|Ԉ6G 0qJ4vP5qо(5[aX[T\'0I4q^~ʌ7*% bj?{{.Š;c4|nP']P [J#:VZ)ow\NfKҦ9'U#k(1aTw&wc MAI-9Dd Wə/ +Lj+@MNI2 ? YOj>?\Pi1U"?m'ו|Q#VdɗM4Ξ¸dG]*aʶI/n#=:%PxJ[]}Gc/AZ6-_5p:^l4!VqJ'.\I)KThca=.P,4!gYZ7zXZִF! మ ]ŗXi%>twT$*Л6 >BȝH3nC)urh-fxkdVF36izhï"7o M791C? :ЊΔ5>Q(Z1+Zb;ZBkMzIN? k%)[KXTz|ؚqSSN@;R2ՃK=i0,QӛF1|(p4('\}YA}3ʾK|_O Eɀi.ꭏyUM̀ck^Qx5G",I>WrCWu'j?t曘t2uaXHc_ ۀ2GG?L#<-n 05V6Tih+oa.rqV? eh-2eײZ8ʓ&2k"1|3]o['gP.lνFj 䅋miSAOD gK3gCuXU;taB@gUODg2Yx&@?K5E2-][0iF~&?k8'@Yæ6 ɔqoj=\AkUϺMm}!SYbk/*)2uXmR@VjvdGKYi')55? 3`Ul/%2 L"0fzqVC`ɭ^?r*8TkK8 |z`&Ō Rn}*_D;, mleTg#!AVx!Pj{TV7;$I >lJM]*0k#}V C \KQd]Kl8~7'a R̳?VV\W]n%dG׿^gn[ n`Nw#XKq[&?uK5칅g̡cdbhOKW?UPbu7BJIp* F\Ca-YhIlƘ(WQk[|7DB 6æe;}dOnt,zk0c(vJo30MwG!m1|݃=?1BJq+XU2Z,Gz%T\ҌK:횢/zь@\1{0C˿K\$dBIp~VJSƢ~bJ_dq 3YX $d꿤;^UW8'J!7$TvFbIN_״4 KDCTp2\Yap\J6Pd8ZRuv’+ƑbRr D%uK1w ]rN{:֨қ8^(j<rl!u   'HBGz#km`fP8YsӶ,Os`gsvz%"DYm*OiB ^2MݐpOhSі!D(9 qFa9Eկ_HROTaӶPel]>2̸Φo>/W|lx@4ͦܳeFMs}XP3Ξ/v+Q5X' tݿgm7-p)25%]Ӗ'G׻Gf7D^yWU|U1#%5B7s+@,1!XX<./f_ZI.C!=PCm[ך3L,`W&C^,Z:Qm