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 0' t4\ ] Myhill-Nerode:threads=2elapsed=35.863cpu=57.652gc=2.472factor=1.617zXZִF! F]ŗXf1-/6vRZ\vW>_x͒f>,Z s*xǐ'`b388~zc-Xchȫp 0>!})Cpaw3-akgxI݈F`Qe\ d(TLn z>jycL!" ?W[<䑵1-kUi炜a,!/Ldb"- q+m7!+˙d"?yE-c'UhVFeiW1kn͸1bG)gq`Ծ(Oe0aod 6Vm9ԇp{]o@3bd`_gX-7ݞnH=21$-[ ' Myhill-Nerodely XG*3Ժ-(7TH 1.MY}V|Kd$K] B|T7 `:R Ǭ7!Ї/n#drC2dt #^/!A+*kFcy1R0f2JyP[\"Y5`Y-J#VrRH?(+;󍣆iHU^VHa3OT2%{!KU="ҝc)i;^8GKM\7^ % Io$W v9_C4n$r*ť$u;O^Pn8yщY2?8M[z8 )+Al X61;zF@O9UӝhEE.8{6%'״%ܜCEU"㣵[ ݒvu.B (RHۀYC*=;|{Otѩm|h{LhuWcUq8YWȌay Ӻ'Lb&!KK_4=[I/g3aOkQa+yDz+ 9H/xr?mk"Gqfb9͔!ΰz?DBe3p3I8TԛQO0]@pEb%6|ix~ Z%d|x9GgFƌ.YbXL( m<4SQM4/L4a2&2 pfQ4 %XoFu6gB_y:=s{*s Tp!E2d_X86}ȣP*9"d ZtMSQ;F),l5\4| FT0hbc:ȷAE".c L6zh\5^wL|^6;yuG@%Hʯ@ʄYd`f=cKl5NHWl[I}9_q&] L&;l`UlY#6pӫ3oLpT izsZ8T[M+& iTM0A~/ {=G?^]ZJֶ,nꮕ9@h|X Aƨ6IXu,~;/xyd@eTkiBrLr`\|h5H ' OvRӛ_;8&u3SJ}Д`%ofah2ˑ*%ϧoɳh%\`\-6E2j`TЧW+^OgT͟⾔ŝ6NHѹ ).dh+$ǪɃ=Gb\ro\T*hA$:ϑn{׸v;B!<3+ @}48-^{' Si!0GZ>(lv8 O*YOsŴ l37ZiQ2;vX˛baEѤ3K0cڃnJ,5kِs2ٌi|ӓdjqN߁J=+/ހr`"FMhN;}\*d%-;c"꾱S=1w>VuBm(hk)4'j#G<7$wۅ{xRns/ \E AeI7;c/ta*-a6!_kc JW r8%}rHB!^ڿZpBwU |tA;3ڙ{`2Ҡqn{Vܵ!kDj~i W:/ʴ#9@a"3M۔̱gYZ0fc2db14c8094147435e4f72cf9daa0844ed7d1cd6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e 168e61d6daf9a7158612b10229e94661664eac03