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 44I' ||  ConcurrentIMP:threads=2elapsed=23.256cpu=40.412gc=2.432factor=1.747zXZִF! v]ŗXf1-/6vRZy-`}$=O]a0_(0hzV_lR\rAbG,J*pauo;,RD9z3S5,I^ޞ>w+ jz-o&z]*-iFy63o :<黱oQmf-譬zV5HL{gX6}+|! 3?N-:V+Ӳ+;'Z da{n`%З`3e2َں+ʬX(*:l7M] deEGk|-)7ٱgYZ7zXZִF! s'6]ŗXi%6SrrtL0ۢRؙH.-'=U꒟ެ'mqbwl-ZM|LJGh-`JM~8 |ZD#vYY_C6lMT֤%MN;nj"Q%I潹H\>i3#cڇͻΚK-qqm^} Vr'ՈPt ;o B汋Pɺ)H@;.*k , ~Yv!v;'nAK?v7|W#[cspH5 D>/Nɪ5+9N!ht?ê!Y*p8[%-= 'ND=4p{AraQ>=Z*8񚴼 *Fx P*qO?8tWFEOf<~l/|=m8~(>ʜ./Հt(T]}3ps}VaF6ُ ?7R޺%VF8όr%@jʸg[ UdmϢGfp$XzG㮔Xo')2E:dX %`k-[EzXLF. fy~EJ`vX l~1/hدf^4c+<KR\b 'p8DN#X )Km鱟8yl *"DɷA5m8 1\˱.YAjqM`+>-!JT:wMh$X9_'ˢe A(egYZ076a275d1a7335859d9ab7f123afbb6fc703e10a 09e822e578576307ce4efbd535ac1298f95273ae 1cb50933e77751ca1b1d3554747156be37cde036 403ca2498b513dfe276daf04607f35c6828e8166 6b4a4ae76ef34970522c8339d9f8ad195fc4ae01 7c49de5e9b3ed6cc22e840b8feab24d221e42996 8f7a0e511f5f63a4ae08db23eb5f2cbe3f9b60ff 978ebd7af29dd03c9effb810aebecf10fb14803a abb52186ce0c45031b3ba6c2704d52a3ee29a821 b60ef924e70788df0ca6e11a87f7b3b8dd3c2b0c c8b28635b2e5a8aa1607d2d9124a98e97e15fd40f0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24 98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1 ' ConcurrentIMP