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 33J |  CCS:threads=2elapsed=21.910cpu=36.176gc=0.844factor=1.657zXZִF! ]ŗXf1-/6vRZxi}t7hSyv=4Rqg[*(*rC&H1`mA1p@p%*NěVfy-/5E_ `H;^ Z}-L@kF ۨ?k~" 6-ĒOxRKyww[0N6-(vh _J90gY<h^[5:zǼ)_7Nz7C ^PJ$Uj}бEʋ |2w`[" x@\؂K8vW2p gR}zeEGt<ւ;t6r6Hu(OeƸfշNuD4o[pJ!R+4PFUbfGd$Scm~?P(dZ cT6r_ւ։`B!&AWbj+/c—{ Λ#YРX/!qgYZ7zXZִF! s-]ŗXi%6\ mPܘ'߁k컭R;Yrp2( ] :QM m%Jy/?.;yyk0˪>uߧ_@BVRxtα E2vANOΎWvcoᓧ%PT.VK c|d8%>"^ #ST9$k)}Ff&>_lՄ Rå;*,EڻIbV:"ؾTŻaB,q&}X_Nar#BsA[l;ka.1W>TT nbQ 3P%J8@Xd#;DR ϵC{a{))|׏w,U~0|٢bz9vYhj'WK!):4Mܿ!+%^GW9.*jioqV^2|8vd@2ɨObc46= -+:P}yݣAhdxyV=b1TA[.oD}Ϟs _oQq,.C~ڧsrw'*F1.h8XP"0Ms ~Fr;aE<;ž'|vNl@A~_' Bﵼ[D%b#Q1[Ag79V0hาY i3ܫUWxB7Ie>ccǡ+Rf`iFTfH%*KЭ&b-YBU%%>?lm?DAWSZ ?ru kgFP2p ֔v k|]66yEձ&ѴJajыdzO2âH'EƉGzR8MgS֑OfcEf9c%;gemh QDnRLrChkAXEU 0G 0u*h\p-: ʘ,u@[2^Fgnؓe'FQS/(eZLÁY2W ~ LƁ RӏJe;bGpl,;&FyMݞp-᩸^}{>w,4!Ǣ7J=]+&/)~bzn+ ֆq:,:qs'}ZJOԙſ)8jH":cn|ǞuP US2UtJB>HĊ%V([vq5i"%F aө2UdX[~^[P6 =؀? BX]D:fQO #5Qm blȋ`CBŚe1speE.zFW ?dϔdzq0j͍<ڛ/̿ 잒gYZ01733c6e4c2c1915db4efbdf15f8f48305e6bfb3 1d63adb9e2f7185391523dbb950c8407e64b769e 20da989a6ffeb514c7b04c76f6d085ab23ab4209 2909ba99920f63a880b3e8e7ad8494ad01c07e9b 2d3de66ea801849aa0987edb5bbeb27198ea05d1 306941848f8b6748a98e5d2c5cdb60c343a6a9d3 3bb47bccf9c60672e53d4b13212d3dc75f4c2298 49d1932fb6b0a8391048aa1c31cea3999e08ea4c 51c55857ce18be4352fdd090ab576d218e59b0a3 5c234b0c27f6ff9f7630300885063c9501f1784c 5c67a0fc959472193f4df04615d8d890bc2bd34c 5d44ca43a410e7a28fed6e241b48c65f85021ff8 840c84568342edf8bac92454e3710d1cc9097920 8f2275b4e3a7eebfcb3f3011d89202e8a4fc2230 a1a8a914cc0eead1b931e4a16a21d49d347a0288 a5ab74f1e75fdbc09f0f8a270c4685962e5caefc afef20cf74339f762775029bc50134796c5621fb bbdfdb18aec08581c66ada7952f092ee36f5b5fb bfafd70a7cd13b719b4067f0e670af8c67dfd2b4 dedb5e9e65399a044cceec129868c4b7b0288c76 f7cead6b809f1c1012f2032d957f24335fa8e914 f9d6eed25c58952c100f176b559b4a1fc0fc851b238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b 5945815fc19e2396c5725d8d6cd70bbf961a3d4c 6b9b47a4b7c3eab00b6f9a9e589da0ba3d233f96  CCS