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 T d< c/ ZF-ex:threads=2elapsed=10.209cpu=14.540gc=0.660factor=1.427zXZִF! !]ŗXf1-W(T02FkPX9݇ kS>\•"ѐ=9t2xX8\?|{AZ_%5tSػu`Eue<xZx) w~7mL+:Ώ.V3 DCJsOSkjMOᄢMԟ$a{-u"=Wڊ1O5kPJeOu썵o !3p9)pf!L|Ϛ]LOZL3yJsM3xgj&' e&SWI\2O#*:[đ!%T  ZF-ex)c@%چbؘђ*EдqIPjH-XMS~E$("vf51/~jzwwaC 7&'9 9V{-҇箑)XjbK1aƀP;%yz21&p/A P2n0.>t ]uG"Ucɟ;Jր40C/U>M+61{E@rf{4KH2>c[k8'FٻmI6G@|4aUvbVXo^U[!J`.x$c%egWFՙQ2Jiuf \ҦZm'2±]P*ߓ.5H|lʊ a>B{4S=xrJ;9'Wn DR.lS (gE1uhтIsX5HS'Yk׆C lkgYZ7zXZִF! 1H]ŗXi%iz5K!/KkLDb7(9y<-{5ÊHv]*:wOJ|}s^it8k,#x\Р,iχjN*(l~w_Tn!6![mfnon*Ԩ|%#:>vP|N5%혙M=%Z7'9|fq}D.ߑ#3Pn9\N""giZFX.=JX nYh ɠ>D+r9~7;y\~0Cxp?e$ uDAdf7>p>o&X3}a\g00;"Oؚ-K3"4!|R.=DuOD E)|y^K6806YS :oiKԵpg)7FIae:`WoxsĦ6,$[i7Al 1 rs3!V7`v\nV;³n{ϣ 줘j&#[f.fa0Rk0euk֓D4<Ҫn1% ,Y3oY8h"^ -~%ɫ mVkL "DO~acn)("hϪK`;pbqafgYZ03fad0a09f06d05a723dcae03c5eecba9f91918b 0b994b750916ae28752057d4268a2506c54f9b83 0cb79e24d9c32ad7dd59caf38e083d908e4c0c2d 1a95bd3656a56b6ce8267691fc7a17678469bbe0 3762518c1eb18e8eafe16de1dccfbc44254b0a7b 42732d3312927f5189ab1b9eab59a7954a7dfc24 5002871ebd6b5d842f930ac1bd00b062d393d218 5741202ac6a04c36b0f8159551138ceb2bac5989 7c9d8f5dd5a9e31e06b8f19afbd00b34fe18a91d a3cec841ed1066944e155fe283b0833d653c620b ba2e58987ae62cea51397341335e9f187056db5a c6c324b232bbdb78cc4ff9fedbd53d602ba6d433d2fbbb72014e26de66d280d7be7d08deaaabe52f 0a5a5f9d77cce4612927cf05284874a58e3106a0