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 RR+- |<< ] HOL-SET_Protocol:threads=6elapsed=20.848cpu=84.644gc=2.380factor=4.067zXZִF! (y]ŗXf1-q恈%vA?'GAq,$L;׺N'nod9evE}2TAxaY~si3Wad&] X<9`?;0oBŶ7=cqլJߌ Uz/ G C&5ecobH=3βoj ,aIkJ Z\A5 @=oH+`{6`rdnX%ӸY ԭBM)\ұǩ %bgD|;k@>Fo0!06M=y/[{;8 CNuUe)%Gᔁ5ŗOZ ^H,4_] GKXǓ2与7K#%_W7#FV\K{)8PC" I*Vie`K}e6hO: ;[в@վщ{6 YA4NaZwWcgYS~]$z2mU=`td&R4trNZ\SZbL*CSyZ ^ P݋ TڒT<#ikqzXTPM8AYPqP!ٱOy]ӊaFXft>pm{!DVndtޝ0>JgpFGbw'W>. z$HPm䫱gYZ7zXZִF! G]ŗXiɟ1$߆tI)|yu|fxx@HwD/} ٶЧU Q1x 4l1- /dVq~T60!qy籾G,}aD'bV h0`FSklKEmСz̼TcˌY7sP?9Eo0}ި4B`T!GJ+gYZ7zXZִF! cPU]ŗXi%;!͚5\ʹqJ|2Ә0P $]f/Qװm#pݠ6fGND kit~ŧKN)IMCGoLF[#o]mH|ݏu#o53v.phqU`ΦYvk2@1v<( }j_[:-|Ɏ65$[nlTMS'c&Q$-d 6"j]29cAAzmngKu@DV3&ooסgz , '\*)E{fEe %߿{cTIwkAS0BnNx[BE]@$!Z$W2UTfD+|I܆Px6M spkjя[$iUh