SQLite format 3@ . BBh77otableisabelle_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 yy3 D4 ]% Residuated_Lattices:threads=2elapsed=31.187cpu=52.064gc=1.616factor=1.677zXZִF! -]ŗXf1-/6vR[Oxtۻ<8(O-H7;4$9ӏ&֎y?y>he7^uϪ4 $rQGD`l nU`߱2F605=tr9M,ah9kqɣh#w/ǷcZO#)!~&#6LOl nR[j d;kbSGn=yxVEUIU7p<Y|z6BZPA4A,$w +3:합b$X0?T Qe18)6m{B~8@4w߶I7R#vJ3!W K!+@N൜ +nvdk"m N(0wA8uΐ2֛ LVik:;e^RRKpyό<`}{ĵ\ˢ>tM,Sw']p"#3J6F7ˬ[.5ϾQreAlzYy/X=,x-̧!RK%oY̨>`(b-Dj^VcgwӹT cjq1ٳ>kFҋ*{z2r[%ˤqT#%SUZ,]?m [(BJc3 9Z^/5Ề: "_^#])`6Q+f@t=Yopr n;PZ&Aeڬ3ش|}[ qgYZ7zXZִF! ;]ŗXiɟi5)9ݻs?lҢ 9EWr=#41_O-7Z\E4 *z0?m(sVMbݫ?j84>b! ZssM˺~$v`<6[^e뿻& k #Mӣ Y ,IgaւgYZ7zXZִF! g]ŗXi%W~ĵ3 2&2q|“ D @ȒG!/V7?lm-7RB2OW &(u(V/JsWn:2$ #fDMλ\:n#UĢG5c7SiڏBJ{1*W"1yw]%ݐg#+Sb3ll8zs/qm_/gfMnf*߫3sv~RvspAj#BG(<|bIb߼ xl{9KWU;jX/'裸mft&N:C_nL9׷ CRPh!a궲*B+FX4EiXq,%,fq> xC/ k|E%{ X4۱_WyCubu[Ld!qu•gTvA)/Wv̀MjhP.}u`T~SG2"k)tڜ >@M 565j1Q E.E'|)+yy'Œ7Wkrf1_ Xv(W@PASp+RJtAThKQncѴZ18PTڢVeh!,䮼~й(o~n ZS[v۔`>)34ttkjkrst* L׃ܼX-&eNDdRUߚUqvGC:y[𼞴 .yxN=6vrUzpYL8ؕ*GgF{^D-"4 &t KxbK7댄=LOQsXE:U)=Nn{A[=`IQRҘ2pr/C lSl;zO>|D:#숽,5ɹ~ނSl,k^?1b*TŽy*fɠRf |U?$2gS :{qe92gYZd0b0ead9b8bedc1a91867855b919cc9f2b7a8092d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e 83fb94112cc92a6a351db59fef5899effbae587f b320e1a0066cf4c2debacf3facede445fb2a8200 eb35187d93f166412e12c7aac80647b03be235ea 3 Residuated_Lattices