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 @@= 4< ]/ FLP:threads=2elapsed=20.799cpu=37.792gc=1.180factor=1.827zXZִF! m]ŗXf1-/6vRZlh[j^iWrYWrWzux;6aţ n5`V gҌHiMv&uǰ3gt>&Ykq#}R6i+K$$yChe25v~TVU<gJm _Z$W u33?<:(~( 猢tEOcD߿yH׊OvڦQ)s騫\Z <)u7-q5DW}!N[W+i[,`:BIm=F06Weg`tXƳO_~m& >GF&K=)'4=>bgoo},P&DA_y{5} |h[}#la( !,>MlMYb\5[}E}œ% !g,cP,1c[dΠ5_Sta ZIJ.rw)$]ZRA=;Orn.TsVz];5@ժ,&{b{`!ݐΔP?\eSBQFL^' |4^KI~ 4=EuƝ#Q(xɮgYZ7zXZִF! ]ŗXiɟ6PSוuF3J"ᱝM}t2T]nt2e$Id9+ģUz~u*y$ar2R  xi 1k9}wRO%x ; `#:V po-@/"J4 _C`Rs&p^UvNxЙnЍgYZ7zXZִF! ve]ŗXi%>g.4BtV^mM[ce_xbCup!ŀU)E%5%7*b;ʒWޡķRJ%^<ߙkJU_(QZʻ9x]W#XȍƿFFae &FTv-r5L5S(c9X'NĖt>==BdDI2rt?ƇACWFK⏶^Y|%;Yk'}#i13)0CJO6ha'݋jMb d. _Mr͵byT.@@ceXMw=1s']vhs C~5>0b>: ߋ㥾'ȈmmliU|cIB ~*ROIK;4-8 UM#vg/N`'~f\~TK'LErۜ|fcMs 7#8P/Mί^&bM[#IIX(:Ug=GQhXV23hh\ȧr\m!Xeփ^YeOj$6yuIXKW1BH3E_qE3J yO${0YT[*ʝ"] Ϻ@Ih,\Nv6ѥmI3#9M;9l 'YZJRz.UjlrQm 8RVD 18|rrV[ϊ,(vuF龜'5ߺh6 Y+GFv01sB#i_ +2ek"2_ϗ \=.U0冶#(H܋K,~Ҥb =M{.S2!r3̈mil弪Nd; 7eVn17Tۍ>pyCS2A8BtB4<`uXkz Q)º?sr/1+ Q@ T/}`pJeL5c|KBُ^&MgT`Ӧl|cNB=u`='Jol0{?W1>р Wtz@0ģOc loPFWĽ'Հ.jTƆ }9W{¿} { ڑJ@]Fc۵|_I#*Qdc2bAQ/^um`{߬sbwpxD~gr/^Yx+LICk)YSdX:MgeC"nYN&!|L5EIxY ';Cz%Uqm46 g|*Nu!b;Q ZtE% G:\fiNrA_. YD?3Et_6Z;wv]ywWq'ßa"t'd _J J Ohr g$?Cx nƤ(1Ҋ##eu2fQaF^5s8:"pstX8k˾꜖ DqVP"gn xB#Z^g.7Y2e3a MibIE3os`<[[WqXoݑ}  M1gYZd045e8969d64c467466ce60088d976c706bd213fa70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8  FLP