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 ! $< ] HOL-Induct:threads=2elapsed=21.240cpu=39.908gc=6.876factor=1.887zXZִF! ]ŗXf1-q恈4?/*b#)gQq:#irnqIRG!U_͢BU`Iz9ʐY|-`h /[ޭX=W[ s#ϲӎBG+n[hcSVF>\}5l45N1ym$h uʮZg~ě#Wi̥APSe""vCxv~ Ң8:EWmnb@Gѣc[AL~%Wx>-OՏL?͔(I]d)/ԧȹ&JBٴg }1ʎU$4¸Eӛm$ =\ɪEhҟOK N J+ߚOqd KEtZX؋OIOč2v_U2p+2~[1vVׯtͬo&V@z_@:CAz] Y?y(cbk㈭Tϐ< *]9;wmzAb;UǴ =Z QQBP١لԺa9\] u "A2at)'` K>Ih;=eRc4&YJt-;|h@S'#'{Fb~QӆgG>e+ϯc9W \v^,j;  \/ {C!F.tة}T15B+Xe(*U"ob?=I0Ԓ2$Z,T:.E׾q/Ma&Kx䳾HerСPM.mЪ&Pv2BD؊R )%]oh}+Ta6ucuA+.|'>3 U H{viK"7!9_fr/HՍ,#D4ݐù`bfx k&< )#pic7߷8N*H6‚uD=v m)An_,IȾaz\mD9Co! gv\VI@&ͥO-r.sd`o)B<\#I˄E,"n\U75jȻK +|E|N^w512Uv`5عBMp@/A keB)2 |9PfqHJ;}Ǚn`T_1nD3vق>u >,{"$Z=lf쑑Q|yvLzoZ:%VBz,m 9BdfI>߲WH#!]|gTꏣ[tV _.0 Mlu2