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 3 L4 m% Residuated_Lattices:threads=2elapsed=28.778cpu=50.972gc=1.712factor=1.777zXZִF! 0n]ŗXf1-/6vR[Oxtۻ<8(O-H7;4p$=,KGP?(aV0jgA̭1#g{*i4Yk|'ta(|BTqI,5bp#_-f`fVun× $wց_gk]ȪʫJȆj7vd#1NϯEvI ߞL\H X`#5<kMO\PqbwR?l4DMK.䴸Ɓzh #^S=HҸp#LW2O|Mc朚SC R'fȒ׵lggM6Q~m`M/B0=v7O|'%3ol A3eq SO)uMGT4 .K(EJ(d'DZ'IwO@i %Qk/afܼpZ'D󶞁i^(:ӆ[#;k8dֶ38FlU:@Vv,M6Q:0{<)sG@C¤0rn4aq.MCA0dFHK\T~q}xr #p%GmH.W;T)tnڕ+>cL,Nd7,,(L#CCorb9r5W^i=|@,+ѬTS*| Ρm-mƮKU +TĘ:0Adѧm-NU>.y\PQ-;2-eC'&vJ.մNr (G >Eu+3&.Q8&hپo Dp"'emcq \O#pq@EuP-!]Џ#utc'6>uybn&]CI |C2;`Y{ȱgYZ7zXZִF! ]ŗXi%}qZ24˽SV޶,M;蔃hp2}0TOY I_q`(8: RnI $UN.DNUv֣l 4-m($^'ˌZ]yW« Oڜ6'Na`՝I9 #Hd9ORRo40\P@EWNp-Nu i'^w@*\r]7h(UmѨ=ں7o>ԡ.S5"#h`"1NךYtu:"{L@+pGCQe,!z 9Cb{&4>rNII\U{V Ҥ@> l4xFy:]KۛUvZCYu犢D {Ul!`Q+yY|ڐnaE)znK4Ȕ~ Ctlv5 ӧ&JroUMm_\\[: @n/$ጡŘI#T`%ǀ@$e9Q%B'8|Z[N^(9IDcH/dVgy3,G[/=Xz$lOC0UdR^ݞ:a$LF-ѴAO+:pnV Ąl(}A{\+6jb0VkgH"k@mN+]i&e@[M+u[ м<"䘐%+ i U#뾐7>wŏY.M6rڧZ6(Q6Ĺ5cNy:7/CHRrKBb6|" +{;o< ugZTRЭno~;q0LwUW}@{JɆjie]J8;gp5A;>eYf^p,)esIWqŴV h[GX$-^j{ v.]FtTWvNӛr%?@1Ցf%TM?t :(ts2Bsلikjǒa<]a uBQ-N$L@SH 9xA,zrѲ]MK4YY@a90:53*39$+u؅/1wU>RK(H#f Xt#_kM: ubc?L0qLo" )BS3pPh1<>ZY!qsFHh[ebڳ^~1$Cٯdc4xcY<+197[ٻe!N_U)gA\bRY!}v][^tr숔A HZl'>OP$^ۚG6 N UoSO}¯vd_YrBCgYZ202f91c1d3ca7aee1649520e86276508251079bb 2a6ab331f01713caa21b5d324f1b6795c1733194 4682e5ffb03f0092b8727ff023d636a584a972cc 4d2328a10d4e4e7e2713fd434cf5930940608b89 9b7dea633e1b1d2aec3e0709cde4e11703c24ffd b1ac9833c893dabe3a7786b32f206432c078a9f3 d79d8c48769f49b782b0b5e0a8115e8775c4e424 e23218f33c9ba43f226683bbab6cf88af67f53b1 ee6dffdc2c820925b26acb1eb32135bd7f76bfe80ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 37d607c366b55abd1c91a06b0deaa7a687c92082 5cbaa3bd75cba9b0ebf6015b046778e2683ea52a 8fdd9b80de115a4810060eef853a99f9afb6a6d3 3 Residuated_Lattices