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 DD9- , S]Relation_Algebra:threads=2elapsed=27.669cpu=52.512gc=2.020factor=1.907zXZִF! /]ŗXf1-/6vR[O9xFuIˍŁ]"*iFYځ_ci;>vbQFn y`=!݅Ƽ\&G =EGM%TZ򝷝^nvWAO?"x =V^IϸraYB0`DGE;/@}p2S5_p@"SD XvT~vBZliAB5Ty+/P7xMjEзP36tBMX:\s,E7giK]!h2;ePcRK.$1I QP.}v,NVD,M ]~W9{ 3 V*D|'{ug 5Бv`*4cUDv3LCC2D] `p J̊2 $ʑ {Qhwyn^2)rBaihjc&Z7NِGhbUxvA0o7<( 2)BA:wgCYXz`0x n/p.R?+;J"t\x c+D: ѓ(5_>y1eا`<2@CЈ$Ro]R(ӹͬifP:8Rd(IuUp ?%{$'ë16LYh@mek_F?[gv };[,bVP|ZZ.zAJ@fH.Rϖ<1=V&N4_JwhuOPj y qw?w @NoHSR>֘'FbׯTFVD8(YV5L;V˚TOg; ۯL|-+DiǒM0g3۟6w>7hUB26g93ŋ{̾Q)}-䄎1h/ll P>-lMMWhiـ;Fy;#J0JĕF/GAaBr#HwIUE vQ6!=:}t8:0HQw({˔ Uݽ!ws g(\ER*ekvإmS:(ݮ%;MŃ!j2SPh ӵ]ם^%M|S.]r9Wj}K"\Vɕ5^=gYZ0855880e28b25bce23a0b382e846acc593b36267 0f086e7ce11590731d04415bf2ffad59b0fe1d20 38f4f889341e004ef96c3834add35375ebee7827 9e6bb46a997cfda638368ba2bab19f2cf63b764e b6cb0829cc7b7d74d66dd4a2e3b203d490ba53e3 ba2960b5a124c441ca56e5073b9f81fa76807dad bb0ae60a659faa69a8c367edca05d38dad1346b2 c8ea9a9a84b86a0d86a3876ac7167952558034c5 d81d8b286eee67f6a658f1e82237d21546efbe3f e1dc4bf60a9705e1fcb3ce5588fb107ab09748ee fd9cc54c27b597ae5b136f86c407036656d4fe7ee4688efe0911f3c4685119d2413b25847e9bdff2 e62d7733884c28c7fb0a292b7be70c4f22bfd1a3 7e4d755c117ba7a18fa0f08642ef0f48718b8341 c22dc1879d49079a415ac81a786f097263a0f18168b1189ea1c8597424a2513f1433cd4396c10e81 - Relation_Algebra