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   \ / FLP:threads=2elapsed=20.491cpu=39.344gc=1.500factor=1.927zXZִF!  FLP K ]ŗXf1-/6vRZlh[`QA\LA_=c!z|@QmǚH0pc4$5U0`&(D8ck˭7t$K# xSPO\ztlk Ux(G,VJcA߁^TgMZ ~ڀ!/jKs;XzN ATct#zdd%r%@!N\<ڿRfKc%&4"0ö[5ɛ:kMnm+锱9AǢPj;qe]ǻ#B4-Bi9@t`ԏ 6t+]Oηqgm駊 m8"FU14*_АH`9Q]ԛ&3$5VtVZ#@2+|<Æ]: UyN:56PJ0-,. mN"MSӚg~vdxIC7ZhSx ɣn܅g+OiS<&RDW5To̵x4fOx=*!oe'{?IhAF S&^rP!UG4+>Cro O4JXiR@rUm+4qDEyא^x (j_ ,o +tLs(H$G|RGU"$4s㩭f>i}mU܁=ZZ0 Nw 9%`::AˊJP+L D1}ҎeaK SE!4'hƒ9ln\X-ȵ8N'r/дĉUŖIN)SC,w>o߫o) *x[El@y3F9["~dc~r;3fFp1~օmp<-2W , %ǁ̴&b &GZ"\|:5i֭IJ@CBSbd,I^?SZ>wO״(tە1I)"KY )?/&kg ѱ>rN4 .E|i /O AᎇvY8i,(GҌSMcUԙ !(LpHOFM>%o|;3Kڏ,XÍXb.V+єl;/N8[{Na^9eH EP˖!=EIo$cW1yזʈG ò.O.3ȑu}'kh?Lmǀ;+${ f-6_H<;xJKUnx; jkW*P?{041ˁ k_USXm[mQl+pRqiqV7g6{- O#4Z:ciYT@q|EI9zii t`Kxw/M{E9PRKGe.72 R;ggY؀G ( d VqmŘO+n &y5 nGZ4h?-7(,l^iYwQܰKZAGOi+{9JiTg m]_BgqxKU"y87{[Sdٔkʹ4gvyJ|4D$$n(Gs#>7@# W :C̓?unvmlG)gsQ aZpu꫻HYBDZ ,|Gw`hJ̄xgYZ7zXZִF! lJ&]ŗXi%.Mԋpul,{! T $ b=#]8ž/!7IVg_Lw*;!kK3ڍmvh$R> CyŹvEk]U7Jo v)Rji+~G#hK]-k&(f9>(<Tշ&Idqڬ.قHrFzaw-} sdg\Wkkȝ{^OH7E.?C0NG;e+f<,cÅ_a 9#~Pw!+-? 5ΏIwKM)g:ZGa'zدB=^?6 rAG?A_M 1Ղq VQ8' K49PX=k㳤7lEzh]7p?׈ҿt{z-cwNJx[f7`rۋ[%BMHf/^u.9MG D\%w+H :P29+v<{yRBobl%!ކe<0`ZJmkR[F.whYh`V:(?MXiۚ^2@viȅK ?%I.C;ED4:v|sC"&?Q<{6حhY;M1;ÞA 2[wxzi3RБKz尡ͷ yn%D8MfCK6YRD M$,a#!l9l/͝7&7yF [/:+Gdi' B ket}h4H!*'cΖ|Xz6d#[v`Tn. \ݸHI'N^88X[5?LjqFywW쬜?&7gÎ)\5 (-!avS_SIخl [[|m T*ܗ|I%Q^+xo"\gzdUSYH5.ϸGP7^PuŸdfiim\)IxەY3EbJ zYa3 c\Ky|k:qHlmpE%gp,U}#'Ҟw}YWf.wu>!VORnfZ B:IGb:c=WhЫg^0o.[)uTdbTabh6er%C* \+zSuϢCܚ-j񊹝KEE\ƘWr_wojG4g/|FŪ$v HagYZ4065d2aa3852da8346a8e9f08d4ee6bec36e5bbb 48898eb19b7b309c9f15050a07b005bb4abaa949 500cd027f56a73662d6c310098f0bbc412b98778 52fdd0533a1e8127c275526467ec1ca77bb32625 570c01a60cc546309be4c7b7d8b13577fede2b75 7e0839b7baa11f1327c6a71e15183112f5367054 85ccf0c30a622a6d4e6386ec4544b9a5eb44ee9d 8c245ab35dc7da7353f5d3e16d37288c705783a6 bec3626a0f107fd180d5aee975463ace813319e7 f370ed826c66d9202230b90abbe32ce8b424df71 fc21a0490abfedd12b945af7b576af211157aaa83b94e1300442e1a3f5f809d9b370cfc0bbbae59c 2f80d3f93a8e8908ea20a991b6190f7aaeac097c