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 qA L ] Regex_Equivalence_Examples:threads=2elapsed=12.708cpu=24.688gc=0.880factor=1.947zXZִF! @]ŗXf1-/6vR[O y[.ѹ3XCMS=R]3E1@'θ0y E9,(5rجgeZ._v"]n:rJU'p*B Tm$xz%&9B| &4?;hL#5diď#@Pqu'b;1.7m aEt]n RiWCy~`Pmĺ~Y j}d|*d{" ٷyp1\jar57!;̱)/xAyJ @$(0J(\/ߩC_aȅW[fqҦSp-@zi8ިP2W:Ub1cw5z=cj˝nۍ2/hF=V>2<Ϯʫ|vVikRtQңKA5vY-ioU|Zqa%ٖA_R0<}?7}2Ӆ1%:zx-]qI6 6,<ψ‡H;BgXE[UGbrZTBͼ`#./dQS 1ZeLalI*џz :ٽSZ ^uߡBMI B"bմ2+TM#G+`%1ϲ)#Uo5q m`K"qFRg{Y|nT0D:>9na T<-Nk=xQ灀>!r k*i*E$՗ݺ០3܁g]>vLC!f`^3`c=$k3%gq'@(2x=ao/a.x@FB