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 tt ]% Topology:threads=2elapsed=7.538cpu=14.372gc=1.164factor=1.917zXZִF! h1]ŗXf1-/6vR[k5Ksn J?=P#Q䦒[Udc$VqUR:#M9~.=EbUQ1+!'I#^s5/WTУRQGF]yb-O "-P%MXoɖ 3@NqWJo.Rggc<^#19'G^-`|맛+ͩޜMh|i2'|DCN2[N^(7QJ&bz4hbٝDFb"e]i ]گgYZ7zXZִF! ,;]ŗXi%9(OԤ_/Xr%9hC忷VX t~(j}2{; `-^ /[IJȘG5/L=@Z+Pn* w<A)"z`Rf\@{\M1Իa=[ 1= I '7ձΩRKqgQȵ,Œ-& 1#=t%"s!O;k)Py.cЉHx8w_yMl WA{׀zھv!i,z~)YFM؀!vj I\ZRIuB=͟KgmA#fuΈ3Oɚ! 2[Nnj^3Jq}pmux1|p `kI{җ ?< Lf;>_*>0q7pDM@ԛM'ꅰcbnv4a