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 LL1! L$ ] HOL-Induct:threads=2elapsed=18.474cpu=35.060gc=5.872factor=1.907zXZִF! ]ŗXf1-q恈4?/*b#)gQq:#irnqIRG!U_͢BU`l&|_\\=o~n]>KHs:tR?ߪKo6Ccg즂5LXǣZ895WoZJol傍{iuo-J} ϩk~mghЎK cSOplin>*KTR W[X1!3[_6JK?fw޾ *%%;Eʤ? UQh cQ9zJF-mdo LVbW+.]~)m`}ȍ}Mԛ =7+=r{aΤDઌy1`&wĨ'3ɃXıgYZ7zXZִF! ^"]ŗXi%>gc #c(gEcHQ-a+*S[q+q}۔_ُ:,2bzoS;J fԟLT;Z+1wwue ^=iTd:@K?^IJo 7\^ ~E,(Y?RiOAa{cn`̲Bǐ5`9d2@M`F JBa4( Юz%hVR2pS+nOoU#Wm_F J)Xx݊FH0 ˇ(5 A;0f^^UW}iF@ ,_^ȗ1PVb߷0zuXh~GKZ|b5ʐa|P %X!,p(}Fi2lYfǹJ_hk[;nψ\5MMkOx?kO* J P_nGg1=b73sJs+mg`2SؓN ΦcehuY%fjm'Ab.ſèHoL]>aߕB9(uO׷kvPem|iihZUc2A@vCL?{'#Ih±7&}g$x<%MNvpK( x{n-8tz÷3$I=孟Ϊ AMJY|F)QUZ/7cc J;YDhq3U#= c$N SOU4CSK-$"y0Du k ަy(jtH\Gp'(^a¼8?oiRx[vxL~= p̓:x <>zSt i8xxk[G Gfa 0*0.>_A˄\55wCW|CiDޢf"MW`}rZvYN&I)HX[ȭ1ob nI3jLw n)㭖$'T