SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  0 0E)  I/]Stone_Algebras:threads=2elapsed=58.913cpu=95.748gc=2.788factor=1.637zXZִF! ۨMŜ9}sr5#g(C4c-v8t&p*n|o0F 5\Ր? !QV^:,09z溎ٮPDν3eFRvT<^ uFi@T3JU񽦙(m'4pX#޷cxMfKt\FVIJ?\nڱķKxr|S!V>j:$Eϋē:%*hx@ 0,_P\x׽mCgjɓvJ/ /RMf[zČ e_9( mz< Xw?nvM;\<|QR1gA*A CMC# ) Stone_AlgebrasuZw@nb 4$vڦJY7T1ǏqOop lSzP޿Gp)I82Vamu7 t& I. L>se?G &am5 N$Il\݈Jky&R >(=Mupz ȑPstRido;~ ij<-@ih6}| xozgYZ7zXZִF! } ]ŗXi%};$ Lw OW;ZH I5CRPTI2!=l0"\ si[2BE q;t+WyEgRrvVMb;mODXi`- &`dx"nt.,W/whs9w}Q]D3N>Z~Treo"\\D(˧%u/<8+~[:@5Kr.҅T[حsC%&Tm^I=0kw-^WVPMePoj^ Vl|dP\* 1a"p笚%^n EU2%QI/k/xRRG.e)їUD\r£7ָTo~VTWVw HRdvI^8bBi[CPV(($'Q漢y0is;Q+k@tUwF6l^ġߢ!K-&O>z.s)ﯜp*ڬ <5B2ВXIђ;}ZnZތ)nD! WD 3jTm2rl @&*S qTQ}!.O'i8O _ۍ#]b+T|8C6Q@x Ģ4s%wU&b(TwZ UiǮ.){(rRvFm<0聮rN:-_.x;6p +R?u!}) w~ }Qwo#f^akW.>9,R~(`qAz暅~CdK.Ram̂?!džVN`E+Q ~MlTy&({YKOgL'j7F>9QV};UxNs$͠QoKtFy̠ ٪i-J~IgZBP,f!)f`rU d*CY"%t9%s,b pe2$… y24Ա~zx ,(3O^8[p5ioDHtfSzӻL眐)esҳi1_̇Xbo5YbrCE.xj-OGQrOB7B`_DdYsddZyL}q}#(4#D sr;ɿ*AϞ K+(4xN-tqV>|Z#~AY҇ogYZ1468e48b8cd656ee8a0f15090fb881e3932ef610 2401bbe8b9942d12551f3d6ccf8eec9cd61898ca 37b10171a7b8848737666d13efd2fb36860de921 48d9eba8bd5553c0053985fef09510164793e757 919b5021253870e67893f6f78d6df8a22a86e487 c3a04239d8a181cfae561485bff71442fb40d565 ce9d247713168595ec46d4a55e36828823fdc26c0ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656fe35e3ff4a495c38453404b62ff2a2a8f989bc67a