SQLite format 3@ .  YYQ77Atableisabelle_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, "errors" 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 UU( T Y% RSAPSS:threads=2elapsed=24.842cpu=46.612gc=1.416factor=1.887zXZִF! ]ŗXf1-/6vR[Nk#\S\HId/X!(-*GTrhԃ莟Qx*0E$~ )w+6 ;g 5WH> ( A¼ ?>@88Y=2:|lq&jR_'Tz4%|tfT , |ZHhɦ1R>jw>i=6BD)uK>g]Sj4t /_WSwmLE,fL۔{ uljh";f f&拸PS p)#[`gbqϼ~)b+ ,Ѽ;gL[+{ x؅K ۺmF~B# 8df=V#z.Oux@[&g9$8 AuDdeu qy>KD&IG=e W+K- HLnZ5c~aoF˼;sR&b|ΞR4Yp0X2ؼ2EhdYӫSdr:P{O\M.c4͉"nYo3l$jdm!JlO uy SBABP]I$':2Y$Q#rIeKDK_9BQ $] 6BiC0JHpI P6o1FgYZ7zXZִF! .]ŗXi%6$겂-KFױ2r˾lI>{KP o{䫼Pݐށ|I1L]]/uv!|`g,:a-\h~uG?#? cGJP8Sgb2TfO\?q"rr8P K2b*0fsz#hu7$Sŀ:Wl[aaZ&kYcu;n‡e֍V;w;J6~Yֳ/5߰Y1K KPl7"+U%إ "# t7 em|c>tJ#zu<휮͸`Hι2O0.51U)TҔ=iPnMfwL[f11pMUH k$ȋsk8pVw^ڊH]aL#N3Kց`V[ sʟ< ׫mg*nw1bT4yJWX\MGJu* ik1 mO2ۮʴ0r/Veړ&wyTMj% xU rY>REᖷ71ȒqxNMD2v ړ^Tbrq*`=`H3(1@gm)8V78=`kbGswDZ n9!4/% !֛lBGShe $[O@yy,2ul9ܩPC2k-[Gl\Wm}ذGeM/JS~:-6C.q])F' rhF PϘ< x+D'D:GG1ytԺsW{ܗ&<&;h qPBwj9vN[n*·UZ?HZ,3JQnvhi;EkplzGˏe)8HTVRͮ0 hoDa8ua.y+wS-0mTR":13|ˈߓDudl5\ W4FztDLI`i\3ytSQЗHi9l]%P>“9#F3`!ss%+jXXxAԎ/.PpHFDWs!b̖'^3-r6^AZ#[wfo!/;o}AG-X8z=k"q] 2:feT"|La}H"Jx- (BAcd rLK-n^̗Mzpы[oFMtfSO+C6$)ՁsaL_DF^ |4jˤn] ʃJ$'c%\OzǵגDd(8dzfT=>ABwq`3e ilD\CB_+"1O 3ZgYZ01bfe85db9e8e3818dfe10ccbc0c99d937ff1fc1 1feb34bd84773d3cea7fda4820d6e1939dcb5480 28af2a2862bc29708ea9527d18fc3f1020b5ddd7 46dfa43cb6f20764d1a01d2996aa51a76ed494bf 4a5fee3afd1c7d3f6312954aa68ca5e73ed9cf81 4e0bec2234688dc8c2d3d96cd7f2c1b5d5f5a4fe 58f14861781d1d9b69c9140cfca2b2ec914b44f9 66ede1d431d0b97a9ecf949112be7410a0454d64 819f5f06ac7954145a9fa92abc0f031d2ff51f50 8c46c52188350969eee9f7b51c8f59d5e2cd53d6 8c8a7f58f485ada2581ef3542d0d5b85d2f3f3e4 8f9d4b77d3a909690e3c323eb9e45a06587dba10 ba08050e1822cd4e12bf78c2f2c32f5866d2cef1 ca039ebeff80492e3c6900e2b2f61d6aea027f4f fd5ab7abcf04621d380e0e3ef5e15189f11f15eae4688efe0911f3c4685119d2413b25847e9bdff2 e62d7733884c28c7fb0a292b7be70c4f22bfd1a3 e6f699f9602302a36e4385981d2a9148d31678b2 2ab50f6aa0036cbf2405e3e4b145ba8df0a9bb89 73cea1aec8f0656b48453216579bea7cd27afb33   RSAPSS