SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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+= dT ]S]HOL-Nonstandard_Analysis:threads=6elapsed=6.649cpu=29.064gc=1.068factor=4.377zXZִF! 8]ŗXf1-q恈1`VnȆf ס@wp  қ@\Y|I ] Ha`c< 5V tkɡM+"6,5Fƥcz#?1! hSc ;®p }%;|p>g9łfN 򗕼F}/VeB0} >Y{-0Xك_HLw,4Th}WRC}/0gD`SS[d0Lـidw,qA71h0m7N0<6h,m ÒeⓇXe2[mVj&O};-b!aΆ6 b3o̹arl< ˪2!Տ9 0BXJu`/03E[˨-zYbN}Nb`tWŵ3kgYZ7zXZִF! c]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>M/MhyG_A4m\eSur'PD!CcPYJaH](QjycW;մ^K'Hs'!ifGH(=rD<8E bql @PxȇV*b[)dm|t edma`Ąj@DեՏ)M ;wLdecUWsW+>w} ~`g*zZ,3f6iGY#3\''*^z +a++dY$33v ww*ڠ63&@w57m fDZgYZ7zXZִF! &>]ŗXi%B']_Ke$W񰉓>f [#`m uoTc~;N;q&\&5c|Ih_ϗ1olA2=!}XlX_L ץMtyZWb92?H[&xCՖZq#F72.يUPfx: cZ-JJ{H몁̙ XxT:~mBJfpnX;M XV|/HTIJ'^[X/qA6<i*3c0+0vܱ"OAN_l\uW^2e:7]R