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  b b= dld ] Incredible_Proof_Machine:threads=2elapsed=45.357cpu=89.324gc=8.556factor=1.977zXZִF! J!l]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^S4 ff' k`%Aɠ$;uB2Pw̍)]cc{ ,K\sk'U7T p#V@.`#B}`oһ[\n F_G]+^ }'TfVmÉA1W-Z5}%rD,\uRc8$UUH (rE- St*߷ZqS(0pwq\fHIY3Xqj$[ܐWΎD=AL&pƩ!LF|bNCcQykA&0cN@dɋЅ5& c@VCsSqY% % @rx" %~ [^ekMJ$-C$K. i = Incredible_Proof_Machine  xmF*>~m]G\Ӌ:Q8]핏}،^N1JQI2Q+ޓT"h,r磽ؼQw :vEͱgYZ7zXZִF! ,.]ŗXiɟlAC,YflӅn] 6X, cS0r+ +W!}9Nx茰Wyƌ;y**Ҝ)*ɾxF0YXh P#H#+*d)8ı xvauAgFq>Ak#F0Rܗzj #_oĔH0SHFV6(-HɆ޷Mp\ 6*neڻj@(I$ xM}k2)ĵ-A!ԨC@pAØ}KaBP-]ۿ[py0^?"zlSf@A1ex:,_T9k=TrG͜ {l%c8ҀWaZ< {T22f]-Mg4UOo 0%,2T/ z&KW%X}&,P2md>'Q$܌Wg|r_wF >aa`Pi L f.{<)̜ECj>c tY3^k񩫟6g&R=ևHg4Xi8cR ^TizRkP4M d HzK Mk|{lQ4Y@Ru_,0m&4U![p|U_6~mEU0o"A#m(PX!5fDMI߮>^8\SD3V(вC??DxF$&</,q .ė r0O]ioL]R%%Qr-OK& W; Lc`AEp~Q}2wb|~mceD,1fK uW$H &Q9>΍6N"LLzwivMfs+$>Ykdz/l_jBEtvE6X$6X  JsLoxAtT+d {wUf\XX2/:|Y;ա\@KMዷWePz3لvjCĄ!zUIG?M]"?Azd{?vP=]D\,WⷫbZs EIL]2lsKOI)l}]{)6I9"ZS\b9H"QKDHIj ˩ =oWVz ѫ&P~xӖ<ޢc{W{ѫ--wN-4i/xymxr(XNQT^GoĜ4zɦo;-J.߼{txwÆwA3XQby^h{O28/[eK nb0ڗa4'8$nUn+P_ }ŽI^9dsv9W[)@M3`2W ?|UBWNn0uY߁v!l@PS(d/0.Ol65DP?N nnP^lܷ1'z ǷϺA67~C8Sxd 9Ӂzu#/*ڄ&5AAd#@̥LSq79(zcDq8oĞ4.ك'tL;YG. pN |f;Ozޟp٢:lxJ6U~3uYT]?A,ZQ= :|zk3;8!wEw[J5&׮b}U[m/wsGL+N`t摶)YSWeZA|렐0mW84wNUn_+~ ./OfވH3M/sx 4gAA?+]̎JrL|ʤH W+ @̌ _3ܡ OP!{JI犷"(iULm9!W1FnI/0{&H [' mYS:s%-}: .!90 3|WqKJ&=/BQ^<_jS4SXbBdŇ 4UTF0.5)MTT/uu4~̰±gYZ659ff969333d86c0f51cef75d31176dfda61a65a665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee 86aea4174b1d0393ca3ab4a58bbf0589befc3a01