SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 [["# T ] Rewriting_Z:threads=2elapsed=27.523cpu=48.632gc=2.016factor=1.777zXZִF! u<]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^Nڔ 4sErN mhdA%(My%_64X" tBl3*mF<]W9Mՠ2!?B($7$B C@홾GΒ^Zf.x&wӶSQhlـo`ؒUU @jnr!5xg5'Y^'N/WwbdGu^ l Z4}0@v av|9=Q1ܕx>*qJ7 ~l@ݭwdy&HB`cn&r6 =kK7S` &=>mOn0c]7yhfQ'w4/[G~YO6`y;PF{v\k-QcZb^]eBQ .Ǵvumq OgBtGr3f4l(C= 3ǽLйHIX`2ǚ6gYZ7zXZִF! b]ŗXiɟ1J2oeTʹ̰KoYJT+u]Pꄀ{Y qѤk C,[$d mٟC*!0n2l5~3fo`/HvAINCHokޗe[cNJK=z!~rڢl'h0і'`x;Pack1}^uܦT{GOnjo4L.hڟd6K8uDl}'B>[ŭ*Oˏ2dAkJ%=a8!Cl7VG.85k|N(yUPgYZ7zXZִF! B]ŗXi%6\GQB]\\n#eCG7!Ak"U 1>vJOeʅd,UMU fSO׊_3Ef8xrftɇ; IϪr) LEe-%UM@>(F+eڲt4?+?71fo;P,}L u,$oDBU-E-pY=m~!M7`>.si.7z1_ F `ȍ!Lk4k>%32)帑 `uV/*CU$BkMH9f2;]a ⢼m+#IC1i<+O7ȮLX6xB`H,Rsw$4F6e^}~"LJ\$|c6t{iʾJKȔÓ+#"TUvc-^h8Ζ.d6b4G"Eer(ZOf-sk0U48k8Q}K+ZLN.v R޳*>GOC^pf6`jqD%G7pRfeF:u`te~X KCZ@@ 1rL+M0ik~Fq!v uaߥr4%tnVxY z?5Ќ>9~]މ+pJKU%Bj7cua)4]eIh|5?=NK#hjI<ͼY4>.-sIKjz°EX!Kz*Lby_W7G܇FuNqiv"RϻjN +h k r)Qgi[)> jPD ,3l Ƴf8a<ˇA;4U94ͻOzlܑSHuPc\q ڝ28Z 5Zf\6j՞!If%c5U90pˁ8d>%f}󚥷%*p3N짏#> K츣,[_#]bNhɛ}{fKSvB_)}Mhtty'uШ$n/y oϽDŽp"W4TQL߇fhb=ͬ2˥khwT#I.Fyf 7&ifѕCrAȄ39zLt?͏+.)1By^Bt b:*L.eY&(H@Pr4f/ j>aITZrtE 3y4;.k}쨺MN ʚ={9PQKWZ ӜaorIӦިU"ĩs@ xv⑏q1+wqB+)FhK0!H i:o>[ ֟s,L 6j&qdLU?iu=KW)_Jkz5* KI bOw_f0gYZ078dee2452438ff5a53087eddc27e947b0b36ee8e70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc ecb7e71baa903e0ff99ccefe30dc674e9207709b # Rewriting_Z