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 P) HHaxjc ?^3yW$C_=S$2+]NYz:V9[KP7>_!fV-aBv zzQ*"B , ]Y~x.7D,>-";mi z-CO""AϛX, ZJ;.5t+\f@rk~zULFdi< xkmP f"R4 /˃&('mVLI=Y;8Fĝ7Vmtw=`l Ût`s8D"ihx}!e~޼~eg^àOU3`֡_ܔ~ҽ=ݻA{qIP@Y }cv낵A&q@џLWm*JIVŇs`nO?&[hݪ;J@7On.Cn Qx:Qe)THmcG` (EsSNx?  G"[1Gxi@D׊cݦ48 M0\ы]V(v!_\vPY0ʇ덻!*l٪2 1*FljTʪ\ja-&-:H$:f(\FUbI.;>BцG .Vije4xJ@B凵(By܉%$('eԽW~X=z.Ϊ w?XdyMU ֤5 '{{ V7,)JPCL7N#4F\cjvm"?CuCd )e)N9+ /~GOB+͹?.Q@";m[YuDBܩ|wayRX̸)y{<,a70+Aw2$H4J*[h1qqA£]&6cF.~JA S8OTtÉ̊R.jPU-췽O 镁1d%mV!`uKnpBjxI&Gwɲ~JvpCgYZ7zXZִF! `]ŗXi%:2ѵ0Vn.ƼzwݳEo@ =W~3' ^ >Wăr|~n%1qb/ċQQb^g =;c/;[cs ñ{.r0 ӕ@*ud#yO\}!2 /C^rшޛ@%0GɒPiE?u@){D2-Er݅K}g (t<]e`i}ҨE`29Ң_y%p M,xƇUDҮ"0[vv%b=hֹNAb7(Sr٦ɛu\^yg4}0L&/cKV7_w;>0&_%pS>3}H6D$,wPlTTvV P /_0J3$ruB˃aHK2lfRHYzA7*| 1ÿimk5._%z?V^`aH=V _9PVHl B6~}¶ےdt_WaiR ԋX(|yF~EX˥Xۺ2^ԟia×)3K ŕ{o1s Hˢ&M9/(.Vu`.©fKYYղ8ϸ HSֹ-jj }[VglyU8Aʽ~;Pjrh`C%,廗ϩ:v