SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info uux' T  ConcurrentIMP:threads=2elapsed=22.071cpu=38.920gc=2.296factor=1.767zXZִF! /fa]ŗXf1-/6vRZy-`}$=O]a"RTcL^? 1̇rcPSg}C!6<-Gb@BTw;#k*+b}~o%ZmK= ]~_mcT Fy}Ir^ڟ ~:0-4^bw.*okQ')2 zt)[)ֻf YDKZq9]p)gM :+^7%Tt?Ì,2PL ' ConcurrentIMPz*PbPُk>wKJu帾^ub5/D0P#_- $B8g̛F[_!9&dI=,J>f}O +B=E$9\5N$!PhiBv!2RB;G%A2|ZizjQI\-^S L >zou=J)OCèVX'Uh~ Tߔӓ^p@<coEKb0zBŒ03; bYOl·M% ;``q$e+Osp<%Q3$\fS_cD`]B7q\١GU ; =_ykFm{bidģd%o20vXpW {9 9"4T~Ah=qVÍ1K֜K(PQ#ȳ(r!mܵlii+ GNq$ښijjӬSrC﨑:ǯʃ?&6qjx;w HX :Ko :X142縶tƬ3}[kbn#?Eٓk.Si LpD^3M7HE6 C3L/q"\WU{^@mV̝_Dk*%OqUf0)뗣H*oNS"36Hw돥n7]l^7tj;HNٷԤXԻJsk9o۹A\:I[dlUiZ$np>B]gOzK[nkN!+~g*p'%p?4> :Ϳ9T2`l à6;-)`'+"^+*y4DLzYQUx6!WW>lX( K:Kw]X P/;T e7j^F&:+P0&EE Rm&e6%e~Q^Һb8j+-Hp: EfMs\qr=E/Mw(n"0| F/:d\D?"k oTj4n6ϙi-BL\uyxCV"I:kZ`jlb2c6";hs'Ը0oǎ^fEu8! l^;G W?/B`6JBK 8y@Q4lW6}N`e'ob 5tx 2VI5Pa{\\xkH %UG9,Q kItfұS({Q´5QY. VdV/?; 'HZӦ`u0ghbsfoGaج8Ygh;YWUh9*zd;ʦ7=? zh:z#~yD?BJ$I/T`L+s)5h1d"@Adu-aScNCÜ 'N:wm!OPxN{f<ɔʣE "Ƶ3-wQE0- N˯R&13Eu*jV9@ I+['{3\T&Q](aDGA&tۖyeKDaG+Ȣ@ +_4Av45١ # 쌰  }okҨ6vA?D- >F1zb;fJ$"D_KTM')+?GLSV&.lYȵ8P՗ fj+wL&=t :;ꟶ1OabZT'`~@62kŕsõDx3KoW]n OЫB<jJgGӏ b-}Д߱>i [5{Xw}c/ X%.gYZ076a275d1a7335859d9ab7f123afbb6fc703e10a 09e822e578576307ce4efbd535ac1298f95273ae 1cb50933e77751ca1b1d3554747156be37cde036 403ca2498b513dfe276daf04607f35c6828e8166 6b4a4ae76ef34970522c8339d9f8ad195fc4ae01 7c49de5e9b3ed6cc22e840b8feab24d221e42996 8f7a0e511f5f63a4ae08db23eb5f2cbe3f9b60ff 9eb774097b3b819ccd6a4678f889ea1f52435831 abb52186ce0c45031b3ba6c2704d52a3ee29a821 b60ef924e70788df0ca6e11a87f7b3b8dd3c2b0c c8b28635b2e5a8aa1607d2d9124a98e97e15fd4080f4c0c8eb04f92fa9b72ba73b988fd158f20be0 ea130132a8ab1e832f061836cb5bf296dd9c641b 9aa367bb8061c194cb2caef837c811362fe2f146