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  O O. d4t ]/]ZF-Induct:threads=6elapsed=3.468cpu=12.344gc=0.444factor=3.567zXZִF! ]ŗXf1-W_X'g+غB?Z`Oyy s50)WKP[ ly.=3׮ XÃT) ;]F^$sב2)-rnic_%~% S>.y3~诵|9 0{C{74*+:-e}L"(BCu4s;"& `KgYZ7zXZִF! ]ŗXiɟ9\'BFd2KIەzN$a >}!!(/Vݛ#|ڤd[#W0پ|孷QTwPd#| T`@GbZ&O9ĉʂn4t))]Fꏱ5/mYQUP/;du/"=B}9tfH/~ Jg%]*ۭS?fXݛ0 ^f+#d@z4a:gYZ7zXZִF! G]ŗXi%G>Ɗ7% qfZJmf/ңCz%M`|q~,,")ľPRO=cie46y[".Ng1 2?Nc$8`{lKld=1L>Ą+MO_ _0a"pa8 Z+1xr'X%m|sAQ XK.2s;-}աzZմamn:3=βYv(b!Q?EVq0šhvw _nj? 4䡤f r&6KͅC5to#T[d=pfS`IS) >-c :g&T ^)SA=+55K$7Tf/Q4|+(lzGqL|D0Eq~TD,AURDS(6 h\.y