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 E- |L S]Relation_Algebra:threads=2elapsed=26.522cpu=49.816gc=1.816factor=1.887zXZִF! ]ŗXf1-/6vR[O9xFuIˍŁ]"*iFYځ_ci;>vbQFn y`u%eX`JYX6wms[n7mTg" J?Gr` n=VPqq +>|1DxaU֋MN8)`RˆucU 5 OKʹ&.hK4qW61b*H&Y\r&㌴n1犢(LBz,u(4,F6-UH;c۽zoY-4@msGgt'xu%Â)i1}lt_&kIG-_NE5S3`Dfmņ_HoO'n|LmVT8uݕ?T\'q*p59swyysBȢ| p$yn,5w`:[Ӛ.dׂ EӍln&_\cP:c~nP1K$=;pMs:/"`m$ߕ1%Ay8\z;xVsp~S*<$zERD/nѪ||:_ ~R)TjG^ߚ+B2y\hYqOE 'Z+SӲ?2 G*Z0)bl^k,~a76¾,id;ȼv 26|yD_<|:o(ohrzD2^fM \T[>~j)ZNQ־Zz;#`ضe bPSZ1ѧrI.4g~G܌슜ZQ`|L+MZqTi/5hےu u<5 ÷8Ԙ$ݜ#M3jyiȮ L_ [5 U1ymNo@ #@S3o9> ڇt0ƱgYZ0855880e28b25bce23a0b382e846acc593b36267 0f086e7ce11590731d04415bf2ffad59b0fe1d20 7b3d755f6fb4c09b4ad53fc3fb7fadc5db61a503 9e6bb46a997cfda638368ba2bab19f2cf63b764e b6cb0829cc7b7d74d66dd4a2e3b203d490ba53e3 ba2960b5a124c441ca56e5073b9f81fa76807dad bb0ae60a659faa69a8c367edca05d38dad1346b2 c8ea9a9a84b86a0d86a3876ac7167952558034c5 d81d8b286eee67f6a658f1e82237d21546efbe3f e2e640c63dee4b2c5f82a3c2f1db6dfbf54869ec fd9cc54c27b597ae5b136f86c407036656d4fe7ef0df918d4045ad6c60b23213b65e87e41842eac3 2ab5e6cf7f6e687da873dcfeefe3198ae54a3c71 63276d11c9b06d2bcc64fc1b4ca336b68701f2c4 87b86faa59ba0aa334d902ae420e1de4fcb3f75790281d5602344767c7ada04e2cfcaa3a85cf7fcc - Relation_Algebra