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 ii- \Tt ]S]Relation_Algebra:threads=2elapsed=27.643cpu=52.360gc=2.988factor=1.897zXZִF! >&]ŗXf1-/6vR[O9xFuIˍŁ]"*iFYځ_ci;>vbQFn y`Z UϦká,`;fڌeZ:|2#xdjt="RЁ$~v |I&/&ѫͮޅdpcM-ۧH4!xHɣǟhѐ: Fyu .s?0)d8A01|-;Iz!6Y"lԗe,@r&A n1yY-ĐhqDh&gns.tJ*uMGJMY804sTm^W -.)N5WH_:2xTu+E*twñ7jԞKE%ș{O[u]Vwh{›)79|߭cFzKɣ'\Q5)0a?ڬHAɝ Wnp R*}w1@]C.=~ok^^8e݉½p L ޸5>y *J;l_el"{ Y)9>]t+aVLU@A1Ov@R$^|jCT]}[QTty;X('Zsyh0S4*Q-'kϚVE0V%|kc|a50U/@M%gYZ7zXZִF! ]ŗXiɟi-!%h/8mce{L%C:Xc)t7ZQ"Lt~fmJLЅU6B\t4GLЧ 6Hrj38?n} }ӍK]q?3< VcK wrNg䚢m.ʣtH Gac:o$#"&""1'd|K,J(a@Kn--XyzK 87m }-6׺V݌a_S z7jF{+ %'-%(kw?E-m]EJ}[<Ԇ8]U86sb- [pL<аRߞlbo55|ñm>y~dhЃaP*֌s.lLn ΤyxP&UvLS\AY^o0iR )LԠwC)`V/:%`3`vI%w=_5R1q FN*5Np_+CHE覑vK$zfˑx1)!aZKFsq Wy1!ɊtWtp 0w;i"H;I٨Z$Ux77%y\;V#YH%+kbӓs=m4YՍME9ӭMDz'71VЎ15 W8䞅UqElm.>m. 4Vڱl ַx7,EP+sD̕1Q]q.nssͩ_) Pa MpVyaG&-t{Q?ja@Q q̵ۙvT¹[1"yVt_w/KW޴i뀦z"!ѼPhJVpVVxAH暣iiei$_ƽ#7%zBJЅ*h mU"Fr:}j<.'{ӴnS;#6'vڕ۸SOjFp[ !S 9q29@O~[#ZH>eyK1hu[ 8>H(o>'$^,ȯ ́VԞ`ŇѲhЕ _-X{/u9xL$P` &sv%82L\̿NU[ e m:!%#vgw32aB.6ܪGXr"IAW2:CF䤠gL|<'OP1혷3li<ƝK4Mnm5$br"?=nUХH6wgYZa942962c79085df66f4a20000a06ae52df1b29e0273a065aaa7221aeab8448251fac00a4433003aa e99e0684410df36373f4f2b5c5ea423968ee9625 c03b1a0d334c9fd9fabd82cef3f83f6d308d7309 7291ce82a258f9707235ce60d8ab2fc7eade36fa7d1d1fe547c63f88cab6ea4ff8b44a0d94699a0a - Relation_Algebra