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 <<A- lT S]Relation_Algebra:threads=2elapsed=27.347cpu=51.372gc=1.908factor=1.887zXZִF! !/]ŗXf1-/6vR[O9xFuIˍŁ]"*iFYځ_ci'1hʱ]ʛgqׇ'XGv"AܸF^;@q1Dǚ]p%CF|9o&xWVLA#ZoVB%$4^t3T")Kȸ;")4{roidUp榰2ǽthHo-r_mY! JU )2$,-(jH9eТbo֚(U]4ƿeUkŭ=GOw%(Szx^+HRs'd0fa؁9KRUfS"Ĕ Td.[QU (AyfxzW_#k޸*Ql<Rr -gWQ bG,y #9d>0N8\MA8ʴg|2TڷH,qwL~=IѨV14Z8 iO2Z/GͰ1#YnOڥ킵brcN7t^F ٟ]j:C5a \w9RtZIj}j=Rxr&c |%"$~bo}kt`?}OĘ·%s~|78 d;CL`<"(%#QP|N_HԗYwZi&Cz_j`bͦƲR ű I4DnEZŰC}PzF3n5+ [eĘ*{T @!޵fTԉ oiɬ($hԼ kk56CE% c9euyF=p)˷"RVa}/ix| !:0VrU-%Ng%*DqԲVcsJgNQNyD]ž_VM@~l\}P풧 1e|46f8?r'}|H|Nb:+ϖ>#/g4|^N#臇K?Nvi!]lV8ExP Ӫhh;uzVBsW иGPQ+O /$Y#5cLtKʥZhxuԆd)z]yܫZv/1L+@!:FfϭSřBH,q_6˱k,NjN V^Ml~Ao~7{~H"P2QG ~!T>T~~](qآabs>%!x()cưlз˶jLgU߿/6'{Xv%tgf1ʨсa}nϰ "2I+v-qjSHZVKǛBpq-mn=u Hd(L?́;~Yrq HW詚jKխE JHM`uI`YƹHϦݦxqB+]bb, \(+[*s/d߈ KƥVeѾ0LM{(0f+x]iuJ.lwp7LqUjAgdV-"Ud3GĢ hGv$CZ\X|r)QI=\lcH/x]\ҷr7 '4 AABYvW{a22ezVe>mO+'H^>/W//&t20x p "3|* Lg%v-A+}%(dg;{!Ls!#b*jb ;H/ӠP \f6.o6aڴ̰< tfRP[ˇ86%bWoz= TB\. VЩ(/;*RwجA2W^X3X#]̐]%EJe0M̓[ؔQ'F_f5zA;gYZ0855880e28b25bce23a0b382e846acc593b36267 0f086e7ce11590731d04415bf2ffad59b0fe1d20 38f4f889341e004ef96c3834add35375ebee7827 9e6bb46a997cfda638368ba2bab19f2cf63b764e b6cb0829cc7b7d74d66dd4a2e3b203d490ba53e3 ba2960b5a124c441ca56e5073b9f81fa76807dad bb0ae60a659faa69a8c367edca05d38dad1346b2 c8ea9a9a84b86a0d86a3876ac7167952558034c5 d81d8b286eee67f6a658f1e82237d21546efbe3f e1dc4bf60a9705e1fcb3ce5588fb107ab09748ee fd9cc54c27b597ae5b136f86c407036656d4fe7e735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa dedb1fb2ce17009850c27ae6db421c37e92db7ea a1d76d720c8136f35b3efc377670a0c392bc1a38fd673051a0274bf3d015772789d3b6975427547d - Relation_Algebra