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 U- 44 S]Relation_Algebra:threads=2elapsed=25.832cpu=48.856gc=1.788factor=1.897zXZִF! ?]ŗXf1-/6vR[O9xFuIˍŁ]"*iFYځ_ci;>vbQFn y`u ݞy4>pu31^Ai=$p־0تFa 22dۿ$oٜ] _9zг3 P;:]GpN e!nJ@_h `e#lnAdzMFes(Cb5N6UvA}y4N!\Tדjgh_J. }NBiÐ=~R{ Pۇav,hkMʤ@m8ؒ}t=b*h' O[QdJ%6 C[Z]Ua3AIG#_ۆV NH&FFZ 4ڢlO!0q=T ')(*JQ9!6Kw  @1 FEG;Gj 2s1֎71 F=k̔ 'Apo.||֒tdPGO\jFAx!IIo;#Do-sqCS,G)0%6ᚒu_JOv}r3s6ʹU:øQxPu3$#=Tj|hȟפ~W]+#̘r0o-qk5S$Q?LtQݚ;tP9Le } 6JvLdI]ue0k;l.;)q3`%_yhA&h_?1 vRוDeXo6E2E^\@L7e-A2FǨ70TN1u@lzJjO+MjG@aKiptJcڦJNwH;׆'ʪmԞ 6A9 {96jTZ$fY!V_}тg%śG\x$# mZ#qP} IrT\:+w;9-<~A,)]aiPYMC6R; U 0W~b:|N?@%>nqCFPu,sC\&ws"tTnuy5'$;); LZV!qzY`8w '2^p>-8aL4,a 87I͠ T'/¥ db3'!_p6=|Iv?w cO(e d >gYZ0855880e28b25bce23a0b382e846acc593b36267 0f086e7ce11590731d04415bf2ffad59b0fe1d20 38f4f889341e004ef96c3834add35375ebee7827 9e6bb46a997cfda638368ba2bab19f2cf63b764e b6cb0829cc7b7d74d66dd4a2e3b203d490ba53e3 ba2960b5a124c441ca56e5073b9f81fa76807dad bb0ae60a659faa69a8c367edca05d38dad1346b2 c8ea9a9a84b86a0d86a3876ac7167952558034c5 d81d8b286eee67f6a658f1e82237d21546efbe3f e1dc4bf60a9705e1fcb3ce5588fb107ab09748ee fd9cc54c27b597ae5b136f86c407036656d4fe7e554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 f3abfffd5e9fcd04bfbe84ee6291a6c45296b2b6 639b2b34b76cf0c0cd61c76f339c093159daed2b4d1aedfd064ed544a935ce28c4ce0a8a0d57ef18 - Relation_Algebra