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 ^^+ l % Secondary_Sylow:threads=2elapsed=5.072cpu=10.084gc=0.324factor=1.997zXZִF! Kqp]ŗXf1-/6vR[]\Rǁ- 1<4OȱCMgWMmdE_8f t3[W;d׃`دǿ#&_Er`` \~s49Ʊm p!'Ls[Kpxi &q1ڦ՟C -}{QSB%Fh3oe-|u 0vn;pT?)rl+!C*ܓ-yQ[gh]I#4c+EP0^2=* lnAӪ=td O$Zl3h1Tm| 5Hl 䗱b\O!Lo;t|27<%'{Rt{ʐ9lZΉ$L f.̅4A9bGgzCw>9 RvT{_^l8I_pL5g=o64p#tl5FTC~bWYO + Secondary_SylowFt돊`7r]+䲴 0r-OKѥo L*cS5/0f%?Í,^.^8.L:?sC n!,| P'؁AXrh*PHロZɹn%Iu+Tgrxx K&2Ua"kQ %Dd6RuIJ8V\-cXD_t y࿛[v,pG/0Ś9Sg4,Whv]94m|%-TUop ɼ%+b8 `#=w[9tgQrҴ!/@/ՄJ8PI?>,@_nfbdcڎAoa %uEσ1,:9 μ-T% SV%هRxy*HN:)+*3aՏu;!-l:  &=DZG߀][ &>E e XlexBYI|'3-*̺) "8eBƥi`(XdHC @z#^x%9O7bMq]>'ҫfgB/7{2l2EsN5|F R1(Eǻqr\دQf˜M@:%(sv7peu\2=a32"M1=)okK&Tݞ>#Up/mM?f\1rD _qd;r-&Gg#UprRj7UBvD3(QB @gYZ7zXZִF! #]ŗXi%m]qpȅvI*"+FCS+E@iA ).淓A您=c]prOMi'>4q1̎GnzCZA=0L:sy|$ݎVE+DC=#ƜE- =A|])$qe:.5iI} 8'S&YEk5.Oh~Mw.~ItaN:eWi|() T76/cѾ ':ҢsQubJ7zP B:˙ҪdsY~[A T@߂}O@ΉT$Kc $U񌕦D dɘ\*L@J U""X~@D%,/tEuQ= *%w zz2r D/[]f)yH~0[ސۘag-sMNo?׿fG O Gi}C@ft2b ٫ ڟλfd_pڬٽamkQppf=чF4@{=ʱfKsܢO=~HXqns5&=$@JȖd*(ѬW9r*P  n]7ϛ 8t3ߕϤH\g᠛FagYZ0d4ca91b60be9500c90aee83710a5c32b25701d8 707f7081877423ffbac6d7d75ee7625d5f888056 ae806480a02f4d76c632d61e674ba4be42ca4952 c6d33f696908642619028f80d5d7707602192bd8 cce72edfc02a20dd206a2409c7be50875c5f19f0b9c0e8f4a3ec48522e3484ee292a510c958aa05f 7e8b43cb6cf3df2a7c6640f5f367906a273b3e9d f23f98568b481cf01febd03c11cd3ba915ae94de