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 Q dl S IOA-ABP:threads=2elapsed=5.751cpu=10.424gc=0.176factor=1.817zXZִF! ]ŗXf1-qN50^%Fr#W`z'eR?c2u)/Q\G VM!l~=jl ‚+KP~H!w! VweYfbVrlW' a(2rE^Z1rXd:8ev yҝanJܬpה'Z­ĠJ?ޔdC   IOA-ABPO*wq9XЉG!r?V le Br5_J ) e% Ͱ__M 5n.A9XQVU :5Eur4NebժwbDcq㴹KpZ MR[C kM;'3|^E[ ' R'S0]UDtRbSUd^0og!%50qu5[˂*7P7)3%{l89@2$0DeqXս??'7܏RK+jmDX4{k`v:5|ENgaX&~lY!dИ*=Ul4E`@8ݩrl)ِw.iET H]%lw-?cnQ1VQ_WˬBtRɚZ 1#fr_>J iúHq;d%K(XfǦ@6E9oX=vJXy{G8 J7Tx?!`I8U})iE=SD#DiR|P)_d<Y igYZ080dae06aec14b828aa37d39b34ee8b44a0e18a9 0a49159f483e2644341db188774a133e432281e0 315dedad6bf63cf6376d19cef535f51d6f332a63 761afef055995f90014adc08a2d6e3587a21b474 781fb061bd38e288d34cba0200e25981e7567598 7d12d7edea3a531180c2c2053a7322a41d874610 96e3a471d3b874ddfb93bb394ac4ba897cd14b4a a603ee4196c9d72d68023e7d2f472dad55892814 ac0049eb2877daec256c11b389dcc78ac1242da1 bb576dfed7c0bb787618e694ce9c0e86609d9264 e3d4f177af568ca9847e91ef811aff305baecce2 e57fb5cfccf4ecbf13bac53bd1c7abd1fcadd289 ed640e6cf4e978447badf183263663509801dd4e f076f310f70c80397c6a792d4576161a4a9efe6f30107fd93ce37db2bdd67b83360028ac0c573143 925f367ea52555ab30ecf3c4cc0b2e6ec9edcd76 955cac15b06dca9509d7874f3fcc9889a2391d09 c94c32bde14dfddbb79f8c59e6e70930590c2922