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 p% lL| ]S Posix-Lexing:threads=2elapsed=15.240cpu=27.764gc=1.764factor=1.827zXZִF! -]ŗXf1-/6vR[2u)qS?'CΠPhuM2bF|Oބ2\8~eRL1ƼVfnCIy+3%pZ!k]%B%~!{u2+a=U6cmo 6]U#dL柆<3g)]G-z`+5-;xJr?k&aZ΋u cc޴C$.P%]"g/XDo E^%z&6W+^keBVrBq p]Ig * gYZ7zXZִF! `]ŗXiɟˏ6t-utD>ь@z?HS(рrTu 樳,H'A)~p&I>1ۊ-|OYgYZ7zXZִF! T]ŗXi%92C*3\HyN)_P }H/{.7|i0+:XQ2fBط ZԣDx>Y{gok BvI:0|hp#;wFDxpcުtt?wgʘqI peVh&.j%副r T `n{zB kˀ;K$xߣƟ6QUj!m8h[=BǦc2j2weOD2KlSoT/8hlwoֈqZ8jhc=ҥQO\ ΃9zNk\)ѩ7彯XS]w>b&]Hzs%HD qYۿUEמו@aj)Z^q{5O]ri.{De6fP!n0 &yI{ hq7ǘ,($FZt6zDkYZWS|jrR Cm(b{g,| ȠD+cmKAn8ES?BВtڎsU7f` CNdjuDF%V"YjqB7ruW. ?#GS.MսpH:Flj ,^-nsao-& W7u]1^QģÒaWoݩ/VːqͧcfQ~MzN Ԧ3ilPpתMB-4@lZ¼ $( ${c>a==<a)yLNw?oM 6QC#[b cLmz;PŶ"VL_y֣T#Td9GX993~G yz\~JvYQTߍ#81 L|"v=e _[jJ 5( A8Zc1?ѾxN\MiZEl:!sK6^BHxv<\HDW4 G]gYZ5a89e527b0cf2f8f5aa59c20f57b47832c02f9c7f4bc8d73b6c64716a5747e042c7c9f50e33b4d9a a975b996cb0122f4bbc0d4d5892986a1c87209c0 daf773399df2d213d8f31040a17ff1b2e88164e2 de4a2dc81c67732c2df885126b32a12e6049e744 % Posix-Lexing