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 Q+ \< S/ Verified-Prover:threads=2elapsed=9.454cpu=12.540gc=0.368factor=1.337zXZִF! M+]ŗXf1-/6vR[w?q2F)4|*[X\>!~ X.h_ .GoT ʗyյui+x\)d7C c|ZފAH+_5i8f`9[>'PhѡOT=ө &`Y#f$6ٴ3Qx@5Ǽ-~c6C=V` ~,^CJA/,$8 1YŏE0zOǡO5_9I  !<7)R+ yuȦ=%-p[HE0*'7C6 >+2)R^ q]F˸Bz|3zs O~Z ~Qt[rɤ+\;v+zekcMU *'ɏZK,&RAC)dMaNeCR f@Q`/GLKK٭Җ#{kLJ + Verified-Prover0ѫTłgx tz7zI:'3/Tca<_!rH~4ٳ\yU7{`2V:y0܄{aˇY&Pjh -/k },;"i8GDBXFQ 1;jS_HV _װª}I4oZTyci -toOh+b $ RmG]G(SP>z098L2׹ゖsĴ_d.Ptuc{=\{BBBUd'ݥDPn֑-_k 9 UPN^̏VTߤu~EI/QljbCpJ;21Q`arr/s1ۼJIKv%;$P4\nn^\_&՗Jz50XwK/LynV6<#E :fppYͻɹ{z@Z?̛Ƃxo2'R5~x~>DH^ h0gYZ7zXZִF! 5]ŗXi%Vh!f)K;^ +{r@VYOqGG M,2SlLGA ?u$;~¦BEXkJx0z7аn C8iujӺLA^c:جUM([X (Ax]$a9@y~"gVNIGOpK@\6X+@BX#9RYᵦ._II[ӳ[Ԕ#?sgnU?d?| o'3XLg .hf.>C y|{nxb;?!b(|ߙc:6u;W`nyn]s]zNSi$vyX}F(7Q|ueYf$˨#tx~+m493'"y9_%.ƀz1v,}^IydA]J,Nkoyк$=lr+Lc2y;{| >Z.Ƨ Z:FUOkv""gYZ3e502dae8165fe3b7725713f0f4a35c31a9a4cd6 892bbe0189a23a2e6fd96fbc3ed4a7929b9205fb cfb4fd7da59a6788f5773633c4ad67b7c70e5d57 dbb51d4c6470972f27a73e1864c54a1b39ba98a080f4c0c8eb04f92fa9b72ba73b988fd158f20be0 ea130132a8ab1e832f061836cb5bf296dd9c641b