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 b! ,t % SumSquares:threads=2elapsed=9.267cpu=16.732gc=0.300factor=1.817zXZִF! E]ŗXf1-/6vR[]৞B}vȣ5"i%޻x x] % zRC|įa0JnXck09[P=:u6XwwhJuG\@lZymCF0dGQkH:پ  + Œ9IG۬'2a׏\GRÝF`c )hhCH# SՍC1a!GH <.Z|䞲lx t]8^0Yٸ0)o i"ꔹZuLd[̚H.V1E̍"$]$bf'xj*#_Z(n@upMV&"{[4n2{dW3a/C^vr@9Y;6琯u3!r 7P/e$elK8?M-޻^t<jJd08e#Q~߶۔-CA6_d55ߴ,Yd4X\X ,h#=i缺VLɟ1&"1G^#XH}uؾf|Dz|?ڷBh!B)^sO'&9J  ! SumSquares TeR5Ș\U~ZSeB} {˯n98,JZO *Pϥ ~bE%p8 VK*pEÉW}ZפK7Wfʼn#.Ki35\ȱ6/c`'wWb18cnJ$ñ_ZYG:?f~Cl&$+S,ud08AÔmI|0ma5[ET(Y_fRn9 yw!2 J,ƶgti<AAxÉB^ByL 0ƪts6baq^rhwRrN$?\c;k\f> )й"$ ST)=IDQ3>Mَ:3L8}|J*{"Nfѻ.ITv:—i[Mz |pсY|T_cNΰDid(쁰h|xpԡ0"$J~4< ؈)nDI%$x$Sqz܍Kfa$-@sN|UAS Ԑ+Mj}:dhP!Z50,[IO)؀,/P@xI Ӡ`NZ+өpBBR3XPxv`҆ *gYZ7zXZִF! 5]ŗXi% cUH8N‰V:Bh4a'KױD|LvlT`q{.e\$Sñ3CU-a չ!ծND5xNJ혚7Lmӧ°_#l<_w9VqͩvJuX!L&+&sӑut-f J AlB6_?kq/@|rxqE4SNd"D4ω;'GYvtܯo}+ԘVMۚ?} lt`m^}ٵ 0k91Ñ2rH4u'Npgx9Q`ɞ_kT(6.ee?C*4DLzljq]3A&4p(uVtLcaxLBfH留6(ԃ,Su&.Sq?n_nTq)t:sѽ"Ep `5Y~9_5v5ocII.-ӃD$-X4pבi8kYSgYZ325d887dc28b72d94e4732a5bbeecfb0c3f5a00e 349b7b51fb3b595a40c187c8888da5bce4d6835c 8a3d41c3963e3d7b9d55014170ba399d2f4074b7 9f1458bc860499132e79988e26c9213701f91aaf d23451b2fc95e68df3aee5f50c02a2a8c976d8413b94e1300442e1a3f5f809d9b370cfc0bbbae59c 6e537c63d802c0bec001927b9eed65abb991ddcd 8f5b5cbb3f37dffa799ed7f5f90f7680f7222f70