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 1 T$ w/ RefinementReactive:threads=2elapsed=11.008cpu=21.272gc=0.448factor=1.937zXZ 1 RefinementReactiveִF! O]ŗXf1-/6vR[O!vpa'tAl0ׂs,G!`ztԓgC@_1xvwguq|C^|η)@CLׯgWgi0.^ta"?yo1{BmlEf vjm-^eVqjXm_]* -a2ͻK~ioӎˈ ŪUo(6챿^%,W@}ɽXaMSl$^Ӡ5t:X;sR S4r?|ZkaPp"?a/eL'<g #Sx>"{;kQaWڼhWИLI: >;BS*%ԏO,":?n'B5FO$ CaMdEMG^lAVB)Iݵ _~mwF I,UK g*G.SJ?e96!U I:N lyQ/,yS1tKͱge67:rOu6q،Zi"Q|\c]Hd'n}{߻NLqi* / ?pi+-67"ߎ -ӥ]0z_+c[զl;09$f2t{Л ^#¤_2?G|f R_|$(J7Yi?&I r~Dy>V_E_~S0, tmvPxw:M%EW$z9rĂߖ6R=iH@F^lW-elUh\!X( (N>DvwW^.o 1cCkx+ ׺-pzܹDF M WL/ ` slwPOY[Bdm M*z>3rBvj\*C#Y)y-C-"7)ۢw{p >A_!?>qռǥ8DWf+{6ș Y" @3~UG HC]e7?cS:=Zn+ȫfң!pN9M IXZNmB8{{p/R'fV[)Or0mJ ҡ,q_=we!P8Ri^h%PS˅<YNXct8;n*ŸR}>7վZ)["&M}bޜWф_4Zu_{7/o1>6VhRrttIߓ@! ;^u.WRDj"8 z.^c]b"D\&H7LWK݇vao˕ 9 ֊3E:4J_V@yTBџzNk'|"+e Q~ǒgYZ347276447590516fee87c0f41108333baf771c2a 5992cf726bac5c9b83ff1c417799f4b78da1750b 6989f07b16caa4f39918e88a6cfe5fb8798003c0 8b0988cde88c9984f3c8daed89d847192ded41a1 d7494d4b5dc1424c0e06f4fd206de3b84c5d84e0 f9d6e06e9d98a366b55d03fd510e774a705447da878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457