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 i+ \$ %% Secondary_Sylow:threads=2elapsed=5.326cpu=10.104gc=0.256factor=1.907zXZִF! M]ŗXf1-/6vR[]\Rǁ- 1<4OȱCMgWMmdE_8f t3[W;d׃3 /`_NΝx!iC5=0oy DiDaϢuTNt)Yayy2(";/oFX;Ah+aT៍fU!xYU[Nkft,۹3} oG6 ~h'Tb 3T֋X.w,O\ᴡs)6l Mq`eU1,Gpցq>~%}>;4|N~1Խv$T *#̰stry( &10 ocIW1'vz݃2 E|9MHFg& ]R;;RGV WO@Ԍ:] P&T]鞍qឡ]؉;qC P)SAn=`逘:n#Z˧ %`:Z>#! kQUBg[EF %r BOqfٟ!G q2=5(b + Secondary_SylowlkA?Kiڴno|Sɇlm#V }d+Zއ懎]Tw_]„ᝋUC?cr!]p"U1nMŭfM#>QTKp-.%"8!*n悅Ś+Z_`íadr碚^ ?ȚwFX8kV0!fW )#(lx 0=3nK42 >aGx58wQ*x}&. nj';/ĭhy·/QI=LNf*y $]o4PEjƏ'OiNj% aЍyvx6ع0'A1LzJ,~p[]kGg-0qRP*7k/(ee h$w`|jK Ea=m갪KNXr͊7m0FZ%es+ KyW;Yg~Qki0˦3Ri˅8?8Rʺ ; _BefX3I'"!*!"Yl*1Ǖ2/Qē<ˑ' ~ Q~&Cn42Nl"㻉ʾ˙o$pkL,uZ_YfV+ۂMOMxWTZҔ5Ry*#2B1g4. =~6ۤ|{y_\i͐a=pߨM UV:FjN%Cod ś 2gYZ7zXZִF! #2]ŗXi%i[ AG2M]E4$v Tf}0K\h9\̨:Kc;dgNFML)ivB7(AEJ~*kDE1 6N xSa {mCECFpC[Sx%UP]{[;xVC|=1: #eݪoņr6*e7p9#1@ˏͩa0Ÿo/@$˜8R@iA(W>*90ĬTqAhqhbqBcn^{jTN@zv`jG\K][TpB}6Yx}6Ɍ6P牫͒DX1^'ۤhSv.w]a$V Ek-#/e#XrscusM5d'}ِ$I"٬$Uk^X*exZ(/(a )Lb -]t]ס*bXcxBz r-;nUsln0+?d$Ŏ,CͩL7gPyI"xTKCZ C81q' cΫ<D\#Vj .J)XFa\mg~OKZw,!^ cӾ[me ^F`${gYZ0d4ca91b60be9500c90aee83710a5c32b25701d8 707f7081877423ffbac6d7d75ee7625d5f888056 9016e70736eb12e7f8e98edb02ac889909110f14 c6d33f696908642619028f80d5d7707602192bd8 cce72edfc02a20dd206a2409c7be50875c5f19f007addc2441fed9b50c84968593d4ab6a353bb724 8db62e28615d4e139a28fa3d5b23cc3a3410b988 2c8670420f1e217147d01cec9bd2eec9fdce3aa3 c43a68050ffee06faec10563bb7ffc2d737fd7f0 8e7c9b0bec7b5d4ae16b67a973d5e2083007fa98