SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 [["1 \t\ ]c]Linear_Recurrences:threads=2elapsed=16.309cpu=30.756gc=1.280factor=1.897zXZִF! e]ŗXf1-/6vRZ̭|GVu>e5!!OZch/ޟ~BO`ϺS29Bo?)9pfm7&j)7 gO+ I|d(3ӏB\4-^ SzQװO=xh}JLœ n Ǧᘟ:dMx~V&ܓn)5l ì)Z<nj @nSː &tۯKW?oƣƟUG4GEϜ\X .Eh 6yO!'ٖyae7ȧ3D $cC]b&{Kʔer3yfo% RQmwj.A~^4/}kN < )*#ȣ{c[ ;kU$̣E:",$qhn=߅H1be-¶^dO*! BZ39p:! X-6O dv}hĹ\2RXP6&;6RQ/$`mca\~)1/K einPq`q:0'WgYZ7zXZִF! e!]ŗXi%>gI_U8Bg 2~]־#9@aw].'y F|wndF4xS(Pwa9 vp)J8N2JLT7X޼4\of)迈V;]oĸyt:r`ђܿ3!yyz}a=0P_gb/Vנ 4ְn/'