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  $ $Y# l  ]]HOL-Nominal:threads=2elapsed=6.566cpu=11.828gc=0.656factor=1.807zXZִF! ]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|˯+h KC< 9 Y>`1+-TK㞙;pR+4W\m}2._1Ei=rnk̦2ZDw+E'!:9W'yRaɢck=Xwcf/eL-(OoHP 8t'11D2`tGT C"XwgYZ7zXZִF! HD]ŗXiɟ1ʹv)̝gb_ ض%QAH7K5,M[%`I'{J}YZ7zXZִF! ]ŗXi%;dp*73F%g UO J;1wrW:n:=dZuؠqK?<ѡGV[)~.4kkn"*9Z#yvG2㗅8Sẋ q*!Π-#v@z"!_~Z琘ΛS,P+ЬPPԝ*c9Ζ8eKIC{s7M )${(T ۢ|}1ʳc 2s<+>C}bFH*^co' ˧n,HezVc$3 :99io,\,[h̞>ݰS2 3iy3^B1?9ʗ^Kk!, ؀ޱ\o-hhXNݓ Y$PjY(5@=6QX3ߣ6DdZ#^e6E?*-d`>l԰Khi yx Ɠ|pXIʶ,)լ#at h(k;o§qM =JwM,x2n<9e9y i™UPڊb07v"#$6,M6#_Dh>EPߣͭi"ڔo$#M!"!Yf}|]F6lO ,]}|Sc]{1)fRCA3w3gYZb99434e436b2f056120c27a61b5fc73b409e70ff634a34b0a78430c8365c904b4a02a2bae50a7baa da3f4711496f4ebba63bd289462f3fdd0cd836c3 c2c638f70ff654fe12265cfabc7c800e8eca4e9e813e471aaf9cd8e78c30715a88f2e9d9c0943f94 # HOL-Nominal