SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 }}- dTD ]S]Relation_Algebra:threads=4elapsed=18.129cpu=58.684gc=2.284factor=3.247zXZִF! 7)]ŗXf[&&AINxOforZ>Q#P1?J0 ȗ-T 8U M|Tޮ)=3_wАvЙJjsptωEl9+. JH@2Đ$}UO,X׉'k nTdmH08I.OEXY7f:y 4rf8bq\QidM\Ez49qwh͠}Z'gjr۳%2Kdat9Pߔ.wª4{4vRcosM+sBZ,>hu7g?+^lY閬1$ٛkVYsLëdWc:[2*o+'#sX&:#M^{2FNv+`"l._d :?Fʸd- ?o)-u AȊȎFG6"z'wyRBJ>zc0߃Lz>߀F⌳c6R~$_1(iHK+ H | \/TӰ|Im<%WWu.,o YVX;|%ZjH2@ŝ.s^csEZ8vvw`Ԃ_%yuM%R7!(d.]/hZqrEQ̮3I{Ѣ[a,A۸D}, `W".HxËB #Ѵ`jBCB t)b3VIB?KX,>C_y4@r?,A-1L7,U&J^]d۝QBV7L/ܦ(3!Ȩ559ս3]ֹ)HPi* "Ό~;_-ȄDG;(Ux  {jl(R8K d8DQ^gw@@(O섷ͬ?B( *ЍO YD|o"߀!<:o=o-љh4E߄Q/ {Y+'S1sCC&Qd OZH?~E3$ϫA?SLWTl XԚyKoqAr[ tm:cdv}K63 c#,[ĜOԠ2(g}*`q,I PfVٸ wD .LjDFG pdxע yE"гr UM7Ay#g7Gl.]e.0hW%iyFbRaW83n~M$S4޺b3Um +y ^YI2@*W'  cc8O' 8mc tkic!U_3c'%6ݝ5iQӵ^u'kbfMOCA8U8%f %j3xSU,'b98XjuӲT=i96ҋ2_4jWzi!)C3._&myV>OiG/٥7 yXxՊ?eI$dNmQJ>9c&ca''9/#-)sxWIwݝtK<9&]_9sBB c l% EWn}Y_u1Sʏb "p%n R[7p]Å`u^P(*!ܮ(W/wTb9; l8"Pb QT`Q2\p%3)eRl%pe_׎:gqk_Q(3mՍ@}KO>Arָf c-"ś8>^]lXn؀Xk$|2AyNٻ.1ƴ%N@>1™qQ7%̺eTMhXF@ {|?hS!H /V&f݂&Z!I!30}y`@ݤd\e^))t琔^uQYp]P ;}g7Fe )G0VjI;Lb0x+~Gy-?W_L)+cId7†_14X@ˍ > >줲δqqch=ljZ?%e `++gYZ2cd0502eed6399027bcf688c71e289ef738579981795f3a7abed9fc1d9546e3552e224994a90ba84 ec123dce693829f016aa17c5552e2b7e72eead89 6828b18d7acb2c1089fb292d28dcbe3bda6680ff f3611aa885bed2b0b9e759d635c3aa1e8101a4f0eaf06eb2d13dbabce81d973f1e19452c34eb5f68 - Relation_Algebra