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  " "[5< S Priority_Queue_Braun:threads=2elapsed=5.513cpu=9.128gc=0.236factor=1.667zXZִF! ]ŗXf1-/6vR[3 @ԺU4w<0S˦pηr-Mvk3%,t9 UtS(tS35q8*'RQiK O.0,C2򲄈R5iU | Q 5ȋg/fˏp o-!ׂ9X^݉Igנ9r /G*IO5+IK"'Qd+(mԲU/|7gYZ7zXZִF! #]ŗXi%3g?'ΨqV%R#j!4fVW$`P?kly,LqgRFNx ~K&XL#QOUs yRLNabB?VLrrjfƯ+"7a95{yk"6pyF.8{IdQDr_Br)|{pFMyOG6Qs&^40P;+"iLjG ⢉2{ l P4N0ښtӕmRK}? ]7C3b1"pQ?yGw1yCek+'U^6/G 3sD»bȐڽ !+TXS!z&'ٹi@b%.6WWvw}86Y'VY؍?* %~xWxY%BH}@\7|Fn^k">T̷D}&:ٌhEMa17_^R 9c7`3pongeMTQت5JR܇6j`(t{@H.6Ði2( 4c^ mucrESu/MxsmY,HOPJדyBƆihuL0E^n]eK^t7kFٷ&+gYZ3abdf2641566e6091191ce4f5677dc0c03379986 e72aeee2f8f87d3ceee7054b4ceb3fe85ded309a fb5a8a18a72dc7fae95072da75a324b80b4a4a08 fb9f41bc6f2a978ebc5a88b3965ce177e952dfee728eda92c596448850baeaf541586ad0cbd7b32f f43caa9e5e417d16de9ac31da220529d0a28b7a7 c0de3a72380c3ab1b14c971396752f50c590bc0d 5 Priority_Queue_Braun