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  S S"/d| ]c LLL_Factorization:threads=2elapsed=62.205cpu=115.172gc=4.680factor=1.857zXZִF! $#]ŗXf1-/6vR[8SenH iYʰN}65^i3Eq[U] ,Uq?M) YM󑉞ϻԮ3LD Ѯ 8721 _3ƣo4Lv7 qxupljwW/ ]hڒ{D:6u@25ݺF5z!DrG\bj L 1}wFeJqpZ_AiU i| c0:/f3/?q~YRNE,5۝ )6ytQFx jԐőxM!ќ,|B(np bd:uխ|^z]RF~׶(6)2pJLa=CQٕ+` C% uJXekXX[6f=mWMo}}`O(@r#?88֑)/]ȱ8W*k!Ej }V+=pbX ]6/H.Sʜ#Io3`lO1 jmߓ(=x(titnLԧ.fGL#}2^Ο.HJˬљ}/geҎT \6PL>%wJ) Kq#jʒ ;n`?#+nF5/8Ά/ȣ{FfliUd\Pkl(ͨ}JLbTŧ,SEf߲sE{]g鰡<zc|+s4$.ln4aj<=[ʜ85j>kJ:Es[r'y? B)qPW%;БqƠaG3{"&Qd[2C^BSnxU lblОoALH!K\}• zBlh|j~5y?à8B9X[@/@ {EiVT08OÀb&طOyoN2*9l9e:t\0IccOPW_UN7˽Pgf|/9$Ҿ6=BREdgѵ/7hqwlT'L¢ T ?"$)4>Z[C ?1n\vUC3TH;2aQ+瀷vx(ٸLgÑ'EBېB7sIt#--;ui}1Pb_jQUZ>.xZ~bIߓRB (iXl0&y^19Z -4Y |fwJL HȮd1n1,M+tǁjĔa]ZJ.j"7&=1O5+A2)c{ycAf"dXU%ie,"OA(fmGuM-QԨ% \ƁY4ۻ2pC?/d(7UM0LbxXϒljQS!cUF'ޠ @a $|Oj.:Q[L}igR]󩼥}P=]u60wBLetlr썡Aa֋oOmȕe j \?tGVwpi)J^EvdͦWQ E1LT!qeZE z+fCjgC\IdJ}$`XK.>M5M(@Ihf1{ti;0"*^8;ӟk Ӕ ҈ ֜/`Q:+~8Q?]:ђ]A-YQj~kryUiܕ*fLy!*cPh lZ{ h 'Bzqz{jykk]<5N?" R#NI4X7R"p.6"4"}L+h`JU}},dPMGK!{\QkzV#sZ1W@f3y\ 4a\ yu * pRi>m$|6+P4B)9Hbs=qeH "N?e|Hι WWe~E_0YͺT*?LDR֍9`7yz *So﹥muߝK*Q+t6r7~.pƧ9k%Ў= qf1Fipx w6%aPܒ=]ve: ~Ҍu\Mj#bxk`d[;O@ϡ2z%%^0X/01 S y`zNi >p zPLxx0%jjM 7\Ls;b-FPh0p9Yi_U? ehy(!Df@N1p*`{&Q}3fW¸Ύ"k&ݒ6*,ŏcX@51x 0OojOGAx6s-0Uap !$OX XUy!K+Xi@,UjawG6ס`3M\\V