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 e T,$ ]S HOL-UNITY:threads=6elapsed=19.823cpu=97.400gc=5.016factor=4.917zXZִF! 2{]ŗXf1-q恈r|u2_QM' 8əj*؀g?ǔ;FSC9Tc30I: Yy G{P:utb4q[E?E y9R@g/\.v^梅:VX`Am"`\^s2 I8y:FG;)!1XĞ|\u  )D7L{]ˮ 4& ɗu^™ŻXN Qle#٦,6D,4N4#PfDq75g-?3,vy 6=⃑:+> r`ɁjWHoOXN'33OsQ=4   HOL-UNITY   S!lǃ31Vq*3IRb.aoL^ v_L˭}B0&@) b=v'U }DfЩ%X&rkбεF#v۾6cXB+ RU!^s-S먱Ux6Kܢ=΢!pIξ̩Q8-[ R}_*EMc8W_lIڤ%7yާUcx/kMas󦺤c_;F.H+j#Mෝ腨>I1s&L_ a漈I.hRkٌA!9Tޣ)-qP iM6o,H0@,3D$Q e+5067O|Z09E()Y<2?/^z٦ :i*YfT'}uUY2@:=gVO*rF cܵ]"PbѕOǯ[0`[ o㶘,Mk(i#yMG.(Qo!T41LtXْ<ʰc*Ք3T<`7jM(ݵffm#rHWd ag33,R6t֪7{d&i`>&(] `[xtkRwe@L\㮽pOH1b f2uH-&]F]M*; DHK7*b5AAi[\,FVpa`# g d/ӱgYZ7zXZִF! ;]ŗXiɟ1'x^܎ŽdV/N9)]̍QFJ'% dqֺܝ [6^Aőx=vZ6 C >} Ĥ-uq,ʱ{`5@J1줬'=.F!QMaTUSQxK@}~z ɤ cЌRj GX\E$_22:"D,S1p31>ׂڶ/bqoL;ɧ|&:L2` )#SP+rMY, 7f5}{chqs>Xx`a7gYZ7zXZִF! ^]ŗXi%> 3?,¿GtT( _})yΌp{IS~/B'~`nW> fQBو2"Yy&U;?ϊȯ̔jz욷zqѤ Ur?nQ {fN^D9q<v_ި \#N׸BjY<9uPǍL`ĚЫFURs 螪VI  {-Q;ݻbe=Iޏ)ߜw._Фq`O 8 D^7 Lrw`NOcSw.)e/J+\~zb44bb~$lB ,6|[}p10fɚ˯9?糾L-§ Xj:*dg1+KJ#r|wW)mg}ei#U$oZz;)CEƊ d~>R5Q¡D^Bj1.3Gf؂ϫɪ~/jf7Ԏ_M}иEm睶!XoݠC&1uQb2c'@\G6YYc?NRAEh^AFZw~'0dž"ÜD){P\uqYUOVv'AY+EQQZ$cSB-RdS&iv@2aÃJ^!,..A?9WHW&:ӱCN-m_ W zG$Ay]y$u"Èb wγgDT}:4[8@&f;)|,׻P+{.d⁩xZThO8 )`CtJmDcߜM2̤)NdTz8Lq'./(r mhMi5TAp'UVn+x1r9 #q}"s2ůwf"ImC1-zρ+at.c!O@ě1+%8]ucf %uWqބhqsIkX;a{__3w Q2Bm6UFcHBd&8݋zq2QkE,F!MQGW݅! K5O̿K1=d Sccڴ0ὛRjN_˺5J.Ի^E PX1q&4tJf=^U不J$xj~]fTt$ɻ8$nMwrs~'h- eHUE+U#c IJ\8ǵc^eK(V\NѹU?2sl 6¥q0I-XMXuRHC@nAy*%I~luLޝp~\<@<nGÿ7Wgǭ3F-v9CIfq$UA},