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 - d, ] IOA:threads=6elapsed=8.611cpu=33.876gc=1.360factor=3.937zXZִF! 5)]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K)9Hz32^Ddƒ?t|(MIk0q- ju‡;fkm;bQy6f|3(H3HAbڱ0+ %.ճN&5bף3rcXuӖD)$ԳMw8T‰}CK|[)әZjcH! jyıRvw~^n\|4܇Nif4!}*X1+8[q<+1wASp]kkSQi^1zI]](gɟD'"-'ov Yzd@gU5w脦2ysGI:)vFh/įYy;3^ؙvkyv&Rӡ$p53X,U7,:DI(}u,3 bm 8n>o wgYZ7zXZִF! `z]ŗXiɟdN'LvH۹$QOds5?kHQNaTLo<7Pzȫ*I:XIqVo4ٝcb*c~ShZ0_4< X()JGghMe[=h|ۈM N_\H|ԁ'։@( cFw8꠷RNo )Hj᝖A/o*_nNa7C7V Y} 0ƵC_)-#җmerC1i7 8re2KZou%f|N*ڵ&|Y\Pl`̫K'K͛o*[Jc}ޯٖ=ZOlP ghֽ|1b^BS6'(zXS+vޕs>g v3(uO_k$6;PKx;6e6 20pS8. ʻ_krع t %܉55u! *r0T Btu+6@<&Q]wV|J<Ƭh!HoΧQeUz Z%&k[3j|l{/]*s'WřR]!4 kKAwLw[f?ZϛSE`y^ٕW NjH U6si#0 Rl&mR2;t&ID4.c)Ɲ$X㪦MAWRrr[G}< oC "FeZ0 h!!Am[0ZJ>y Gg+[ }jU /alPР,d!SaƐ]hoq繄1asNQ]ݯ O{ pу H.c6깊O_8]2zOXbOCB\nooWʆiNE2$ ,"/r:eނԛpS},"Çm4 t`w/7IFԠv升t2ĩ?DvӬXJ:9?ebPZ[<몂n~T}gYZf53aaefcf88ec73716d5f10d9c321311994fc1f8b3385753884b26aaa722d60ff4b4d3face84cc7b 02558fe24890e2aec0fd161c9c474ecab0a8f955 0b705244a79e92633d0a14567f73635b404189a2  IOA